cairo-lang-parser 2.9.3

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
97
98
99
100
101
102
103
104
105

//! > Test a FunctionSignature syntax tree

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: true)

//! > cairo_code
fn foo(a: int, mut b: felt252, ref c{}, mut ref d: felt252) -> felt252 implicits(RangeCheck, Hash) nopanic {
    return a;
}

fn bar() -> (felt252) {
    (1,)
}

//! > top_level_kind
FunctionSignature

//! > ignored_kinds

//! > expected_diagnostics
error: Unexpected token, expected ':' followed by a type.
 --> dummy_file.cairo:1:37
fn foo(a: int, mut b: felt252, ref c{}, mut ref d: felt252) -> felt252 implicits(RangeCheck, Hash) nopanic {
                                    ^

error: Missing token TokenComma.
 --> dummy_file.cairo:5:21
fn bar() -> (felt252) {
                    ^

//! > expected_tree
└── Top level kind: FunctionSignature
    ├── lparen (kind: TokenLParen): '('
    ├── parameters (kind: ParamList)
    │   ├── item #0 (kind: Param)
    │   │   ├── modifiers (kind: ModifierList) []
    │   │   ├── name (kind: TokenIdentifier): 'a'
    │   │   └── type_clause (kind: TypeClause)
    │   │       ├── colon (kind: TokenColon): ':'
    │   │       └── ty (kind: ExprPath)
    │   │           └── item #0 (kind: PathSegmentSimple)
    │   │               └── ident (kind: TokenIdentifier): 'int'
    │   ├── separator #0 (kind: TokenComma): ','
    │   ├── item #1 (kind: Param)
    │   │   ├── modifiers (kind: ModifierList)
    │   │   │   └── child #0 (kind: TokenMut): 'mut'
    │   │   ├── name (kind: TokenIdentifier): 'b'
    │   │   └── type_clause (kind: TypeClause)
    │   │       ├── colon (kind: TokenColon): ':'
    │   │       └── ty (kind: ExprPath)
    │   │           └── item #0 (kind: PathSegmentSimple)
    │   │               └── ident (kind: TokenIdentifier): 'felt252'
    │   ├── separator #1 (kind: TokenComma): ','
    │   ├── item #2 (kind: Param)
    │   │   ├── modifiers (kind: ModifierList)
    │   │   │   └── child #0 (kind: TokenRef): 'ref'
    │   │   ├── name (kind: TokenIdentifier): 'c'
    │   │   └── type_clause (kind: TypeClause)
    │   │       ├── colon: Missing
    │   │       └── ty: Missing []
    │   ├── separator #2 (kind: TokenComma): ','
    │   └── item #3 (kind: Param)
    │       ├── modifiers (kind: ModifierList)
    │       │   ├── child #0 (kind: TokenMut): 'mut'
    │       │   └── child #1 (kind: TokenRef): 'ref'
    │       ├── name (kind: TokenIdentifier): 'd'
    │       └── type_clause (kind: TypeClause)
    │           ├── colon (kind: TokenColon): ':'
    │           └── ty (kind: ExprPath)
    │               └── item #0 (kind: PathSegmentSimple)
    │                   └── ident (kind: TokenIdentifier): 'felt252'
    ├── rparen (kind: TokenRParen): ')'
    ├── ret_ty (kind: ReturnTypeClause)
    │   ├── arrow (kind: TokenArrow): '->'
    │   └── ty (kind: ExprPath)
    │       └── item #0 (kind: PathSegmentSimple)
    │           └── ident (kind: TokenIdentifier): 'felt252'
    ├── implicits_clause (kind: ImplicitsClause)
    │   ├── implicits_kw (kind: TokenImplicits): 'implicits'
    │   ├── lparen (kind: TokenLParen): '('
    │   ├── implicits (kind: ImplicitsList)
    │   │   ├── item #0 (kind: ExprPath)
    │   │   │   └── item #0 (kind: PathSegmentSimple)
    │   │   │       └── ident (kind: TokenIdentifier): 'RangeCheck'
    │   │   ├── separator #0 (kind: TokenComma): ','
    │   │   └── item #1 (kind: ExprPath)
    │   │       └── item #0 (kind: PathSegmentSimple)
    │   │           └── ident (kind: TokenIdentifier): 'Hash'
    │   └── rparen (kind: TokenRParen): ')'
    └── optional_no_panic (kind: TokenNoPanic): 'nopanic'
└── Top level kind: FunctionSignature
    ├── lparen (kind: TokenLParen): '('
    ├── parameters (kind: ParamList) []
    ├── rparen (kind: TokenRParen): ')'
    ├── ret_ty (kind: ReturnTypeClause)
    │   ├── arrow (kind: TokenArrow): '->'
    │   └── ty (kind: ExprListParenthesized)
    │       ├── lparen (kind: TokenLParen): '('
    │       ├── expressions (kind: ExprList)
    │       │   └── item #0 (kind: ExprPath)
    │       │       └── item #0 (kind: PathSegmentSimple)
    │       │           └── ident (kind: TokenIdentifier): 'felt252'
    │       └── rparen (kind: TokenRParen): ')'
    ├── implicits_clause (kind: OptionImplicitsClauseEmpty) []
    └── optional_no_panic (kind: OptionTerminalNoPanicEmpty) []