finproof 0.1.0

Deterministic financial programming language and verification engine.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84

#[derive(Debug, Clone, PartialEq)]
pub enum TokenKind {
    // Keywords
    Currency,
    Account,
    Transaction,
    Rule,

    Pay,
    Transfer,
    Debit,
    Credit,
    Receive,
    Hold,
    Release,
    Capture,
    Settle,
    Fee,
    Refund,
    Reverse,
    Authorize,

    From,
    To,

    Asset,
    Liability,
    Equity,
    Revenue,
    Expense,

    If,
    Module,
    Import,
    Export,

    // General tokens
    Identifier,
    Number,

    // Symbols
    LeftBrace,
    RightBrace,
    LeftParen,
    RightParen,
    Colon,
    Comma,
    Dot,

    Plus,
    Minus,
    Star,
    Slash,

    Equal,
    EqualEqual,
    NotEqual,
    Greater,
    GreaterEqual,
    Less,
    LessEqual,

    // Special
    Eof,
}

#[derive(Debug, Clone, PartialEq)]
pub struct Token {
    pub kind: TokenKind,
    pub lexeme: String,
    pub line: usize,
    pub column: usize,
}

impl Token {
    pub fn new(kind: TokenKind, lexeme: impl Into<String>, line: usize, column: usize) -> Self {
        Self {
            kind,
            lexeme: lexeme.into(),
            line,
            column,
        }
    }
}