vize_l2 0.483.0

L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into
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

//! Structural evidence from the existing original-Program expression walk.

/// Original AST variants and arena values, without a framework transform.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum SyntaxKind<'a> {
    Expression,
    IdentifierExpression(&'a str),
    /// The original numeric literal's IEEE-754 bits, not reparsed source text.
    NumberExpression(u64),
    StringExpression(&'a str),
    BooleanExpression(bool),
    NullExpression,
    Element,
    Fragment,
    FragmentOpening,
    FragmentClosing,
    Opening {
        self_closing: bool,
    },
    Closing,
    Intrinsic(&'a str),
    Component(&'a str),
    Member,
    Property(&'a str),
    Attribute(&'a str),
    AttributeName(&'a str),
    AttributeString(&'a str),
    SpreadAttribute,
    Container,
    Empty,
    Text(&'a str),
    SpreadChild,
}

impl SyntaxKind<'_> {
    #[must_use]
    pub const fn is_expression(self) -> bool {
        matches!(
            self,
            Self::Expression
                | Self::IdentifierExpression(_)
                | Self::NumberExpression(_)
                | Self::StringExpression(_)
                | Self::BooleanExpression(_)
                | Self::NullExpression
        )
    }
}

/// Balanced events are diagnostic evidence; callers cannot mint a body owner.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum SyntaxEdge {
    Enter,
    Leave,
    Leaf,
}