cairo-lang-parser 2.18.0

//! > Test loops

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: false)

//! > cairo_code
fn f() {
    while true {
        1;
    }
}

//! > top_level_kind
ExprWhile

//! > ignored_kinds

//! > expected_diagnostics

//! > expected_tree
└── Top level kind: ExprWhile
    ├── while_kw (kind: TokenWhile): 'while'
    ├── conditions (kind: ConditionListAnd)
    │   └── item #0 (kind: ConditionExpr)
    │       └── expr (kind: TokenTrue): 'true'
    └── body (kind: ExprBlock)
        ├── lbrace (kind: TokenLBrace): '{'
        ├── statements (kind: StatementList)
        │   └── child #0 (kind: StatementExpr)
        │       ├── attributes (kind: AttributeList) []
        │       ├── expr (kind: TokenLiteralNumber): '1'
        │       └── semicolon (kind: TokenSemicolon): ';'
        └── rbrace (kind: TokenRBrace): '}'

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

//! > Test while-let

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: false)

//! > cairo_code
fn f() {
    while let Some(x) = 2 {
        break 5;
    }
}

//! > top_level_kind
ExprWhile

//! > ignored_kinds
ExprBlock

//! > expected_diagnostics

//! > expected_tree
└── Top level kind: ExprWhile
    ├── while_kw (kind: TokenWhile): 'while'
    ├── conditions (kind: ConditionListAnd)
    │   └── item #0 (kind: ConditionLet)
    │       ├── let_kw (kind: TokenLet): 'let'
    │       ├── patterns (kind: PatternListOr)
    │       │   └── item #0 (kind: PatternEnum)
    │       │       ├── path (kind: ExprPath)
    │       │       │   ├── dollar (kind: OptionTerminalDollarEmpty) []
    │       │       │   └── segments (kind: ExprPathInner)
    │       │       │       └── item #0 (kind: PathSegmentSimple)
    │       │       │           └── ident (kind: TokenIdentifier): 'Some'
    │       │       └── pattern (kind: PatternEnumInnerPattern)
    │       │           ├── lparen (kind: TokenLParen): '('
    │       │           ├── pattern (kind: ExprPath)
    │       │           │   ├── dollar (kind: OptionTerminalDollarEmpty) []
    │       │           │   └── segments (kind: ExprPathInner)
    │       │           │       └── item #0 (kind: PathSegmentSimple)
    │       │           │           └── ident (kind: TokenIdentifier): 'x'
    │       │           └── rparen (kind: TokenRParen): ')'
    │       ├── eq (kind: TokenEq): '='
    │       └── expr (kind: TokenLiteralNumber): '2'
    └── body (kind: ExprBlock) <ignored>

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

//! > Test while-let with multiple conditions

//! > test_runner_name
test_partial_parser_tree(expect_diagnostics: false)

//! > cairo_code
fn f() {
    while let Some(x) = 2 && false {
        break 5;
    }
}

//! > top_level_kind
ExprWhile

//! > ignored_kinds
ExprBlock

//! > expected_diagnostics

//! > expected_tree
└── Top level kind: ExprWhile
    ├── while_kw (kind: TokenWhile): 'while'
    ├── conditions (kind: ConditionListAnd)
    │   ├── item #0 (kind: ConditionLet)
    │   │   ├── let_kw (kind: TokenLet): 'let'
    │   │   ├── patterns (kind: PatternListOr)
    │   │   │   └── item #0 (kind: PatternEnum)
    │   │   │       ├── path (kind: ExprPath)
    │   │   │       │   ├── dollar (kind: OptionTerminalDollarEmpty) []
    │   │   │       │   └── segments (kind: ExprPathInner)
    │   │   │       │       └── item #0 (kind: PathSegmentSimple)
    │   │   │       │           └── ident (kind: TokenIdentifier): 'Some'
    │   │   │       └── pattern (kind: PatternEnumInnerPattern)
    │   │   │           ├── lparen (kind: TokenLParen): '('
    │   │   │           ├── pattern (kind: ExprPath)
    │   │   │           │   ├── dollar (kind: OptionTerminalDollarEmpty) []
    │   │   │           │   └── segments (kind: ExprPathInner)
    │   │   │           │       └── item #0 (kind: PathSegmentSimple)
    │   │   │           │           └── ident (kind: TokenIdentifier): 'x'
    │   │   │           └── rparen (kind: TokenRParen): ')'
    │   │   ├── eq (kind: TokenEq): '='
    │   │   └── expr (kind: TokenLiteralNumber): '2'
    │   ├── separator #0 (kind: TokenAndAnd): '&&'
    │   └── item #1 (kind: ConditionExpr)
    │       └── expr (kind: TokenFalse): 'false'
    └── body (kind: ExprBlock) <ignored>