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

//! > Test logical AND and OR

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: false)

//! > cairo_code
fn foo(a: bool, b: bool, c: bool, d: bool) {
    a && b || c && d
}

//! > top_level_kind
ExprBinary

//! > ignored_kinds

//! > expected_diagnostics

//! > expected_tree
└── Top level kind: ExprBinary
    ├── lhs (kind: ExprBinary)
    │   ├── lhs (kind: ExprPath)
    │   │   ├── dollar (kind: OptionTerminalDollarEmpty) []
    │   │   └── segments (kind: ExprPathInner)
    │   │       └── item #0 (kind: PathSegmentSimple)
    │   │           └── ident (kind: TokenIdentifier): 'a'
    │   ├── op (kind: TokenAndAnd): '&&'
    │   └── rhs (kind: ExprPath)
    │       ├── dollar (kind: OptionTerminalDollarEmpty) []
    │       └── segments (kind: ExprPathInner)
    │           └── item #0 (kind: PathSegmentSimple)
    │               └── ident (kind: TokenIdentifier): 'b'
    ├── op (kind: TokenOrOr): '||'
    └── rhs (kind: ExprBinary)
        ├── lhs (kind: ExprPath)
        │   ├── dollar (kind: OptionTerminalDollarEmpty) []
        │   └── segments (kind: ExprPathInner)
        │       └── item #0 (kind: PathSegmentSimple)
        │           └── ident (kind: TokenIdentifier): 'c'
        ├── op (kind: TokenAndAnd): '&&'
        └── rhs (kind: ExprPath)
            ├── dollar (kind: OptionTerminalDollarEmpty) []
            └── segments (kind: ExprPathInner)
                └── item #0 (kind: PathSegmentSimple)
                    └── ident (kind: TokenIdentifier): 'd'

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

//! > Test reference type param with bitwise AND expression

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: false)

//! > cairo_code
fn foo(a: &u32, b: u32) {
    a & &b
}

//! > top_level_kind
ExprBinary

//! > ignored_kinds

//! > expected_diagnostics

//! > expected_tree
└── Top level kind: ExprBinary
    ├── lhs (kind: ExprPath)
    │   ├── dollar (kind: OptionTerminalDollarEmpty) []
    │   └── segments (kind: ExprPathInner)
    │       └── item #0 (kind: PathSegmentSimple)
    │           └── ident (kind: TokenIdentifier): 'a'
    ├── op (kind: TokenAnd): '&'
    └── rhs (kind: ExprUnary)
        ├── op (kind: TokenAnd): '&'
        └── expr (kind: ExprPath)
            ├── dollar (kind: OptionTerminalDollarEmpty) []
            └── segments (kind: ExprPathInner)
                └── item #0 (kind: PathSegmentSimple)
                    └── ident (kind: TokenIdentifier): 'b'