yog-script-analyze 0.2.2

Yog Script (.ys, .yns) analyzed: its lexer, parser and syntax tree, names resolved, the class index model — what the build and the editors read a source with.
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

//! Patterns (`ys-grammar.md` §3.3) and types (§4).

use super::{BinOp, Expr, Name};
use crate::source::token::Span;

#[derive(Debug, Clone, PartialEq)]
pub enum Pattern {
    Wild(Span),
    /// A literal or a path to a value or a case (`0`, `Mode.Idle`); a
    /// lone path may be a type too: the resolver and the checker tell.
    Value(Expr),
    /// `let e`.
    Let(Name),
    /// `Monster m`, `Monster`.
    Type {
        ty: Type,
        bind: Option<Name>,
    },
    /// `Mode.Charging(let rate)`.
    Variant {
        path: Vec<Name>,
        args: Vec<Pattern>,
    },
    /// `< 5`.
    Relational {
        op: BinOp,
        value: Expr,
    },
    Range {
        from: Expr,
        to: Expr,
    },
    Tuple(Vec<Pattern>),
    /// `{ Health: < 5 }`, `Monster { Health: < 5 }`.
    Property {
        ty: Option<Type>,
        fields: Vec<(Name, Pattern)>,
    },
    Or(Box<Pattern>, Box<Pattern>),
    And(Box<Pattern>, Box<Pattern>),
    Not(Box<Pattern>),
}

#[derive(Debug, Clone, PartialEq)]
pub struct Type {
    pub kind: TypeKind,
    pub span: Span,
}

#[derive(Debug, Clone, PartialEq)]
pub enum TypeKind {
    /// `i32`, `List<T>`, `Mode.Charging`.
    Path {
        path: Vec<Name>,
        args: Vec<Type>,
    },
    /// `(i32 X, i32 Y)`.
    Tuple(Vec<(Type, Option<Name>)>),
    Nullable(Box<Type>),
    /// `Charge & Owned`.
    Both(Vec<Type>),
    /// `in 'a T`, `ref 'a T`: a borrow (Rust's `&'a T`, `&'a mut T`).
    Borrow {
        mutable: bool,
        lifetime: Option<Name>,
        ty: Box<Type>,
    },
    /// `'a` among a type's arguments (`Cursor<'a>`).
    Lifetime(Name),
}