cairo-lang-parser 2.18.0

Cairo parser.
Documentation 
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
85
86
87
88
89
90
91
92
93
94
95
96

//! > Test negative literal

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: false)

//! > cairo_code
fn f() -> u32 {
    -3 * 5
}

//! > top_level_kind
StatementExpr

//! > ignored_kinds

//! > expected_diagnostics

//! > expected_tree
└── Top level kind: StatementExpr
    ├── attributes (kind: AttributeList) []
    ├── expr (kind: ExprBinary)
    │   ├── lhs (kind: ExprUnary)
    │   │   ├── op (kind: TokenMinus): '-'
    │   │   └── expr (kind: TokenLiteralNumber): '3'
    │   ├── op (kind: TokenMul): '*'
    │   └── rhs (kind: TokenLiteralNumber): '5'
    └── semicolon (kind: OptionTerminalSemicolonEmpty) []

//! > ==========================================================================

//! > Test precedence between unary and binary operators

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: false)

//! > cairo_code
fn f() -> u32 {
    -a * 5
}

//! > top_level_kind
StatementExpr

//! > ignored_kinds

//! > expected_diagnostics

//! > expected_tree
└── Top level kind: StatementExpr
    ├── attributes (kind: AttributeList) []
    ├── expr (kind: ExprBinary)
    │   ├── lhs (kind: ExprUnary)
    │   │   ├── op (kind: TokenMinus): '-'
    │   │   └── expr (kind: ExprPath)
    │   │       ├── dollar (kind: OptionTerminalDollarEmpty) []
    │   │       └── segments (kind: ExprPathInner)
    │   │           └── item #0 (kind: PathSegmentSimple)
    │   │               └── ident (kind: TokenIdentifier): 'a'
    │   ├── op (kind: TokenMul): '*'
    │   └── rhs (kind: TokenLiteralNumber): '5'
    └── semicolon (kind: OptionTerminalSemicolonEmpty) []

//! > ==========================================================================

//! > Test consecutive comparison operators

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: true)

//! > cairo_code
fn f() -> bool {
    3 < 1    > 5
}

//! > top_level_kind
StatementExpr

//! > ignored_kinds

//! > expected_diagnostics
error[E1028]: Consecutive comparison operators are not allowed: '<' followed by '>'
 --> dummy_file.cairo:2:14
    3 < 1    > 5
             ^

//! > expected_tree
└── Top level kind: StatementExpr
    ├── attributes (kind: AttributeList) []
    ├── expr (kind: ExprBinary)
    │   ├── lhs (kind: ExprBinary)
    │   │   ├── lhs (kind: TokenLiteralNumber): '3'
    │   │   ├── op (kind: TokenLT): '<'
    │   │   └── rhs (kind: TokenLiteralNumber): '1'
    │   ├── op (kind: TokenGT): '>'
    │   └── rhs (kind: TokenLiteralNumber): '5'
    └── semicolon (kind: OptionTerminalSemicolonEmpty) []