spectec_ast 1.0.0

Parser for SpecTec ASTs in S-expression format
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
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143

use crate::{MixOp, SpecTecDefTyp, SpecTecExp, SpecTecPrem, SpecTecSym, SpecTecTyp};
use decode_derive::SExprDecode;

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L175>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecArg {
    #[sexpr_node(name = "exp")]
    Exp { e: SpecTecExp },
    #[sexpr_node(name = "typ")]
    Typ { t: SpecTecTyp },
    #[sexpr_node(name = "def")]
    Def { x: String },
    #[sexpr_node(name = "gram")]
    Gram { g: SpecTecSym },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L182>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecBind {
    #[sexpr_node(name = "exp")]
    Exp { x: String, t: SpecTecTyp },
    #[sexpr_node(name = "typ")]
    Typ { x: String },
    #[sexpr_node(name = "def")]
    Def {
        x: String,
        ps: Vec<SpecTecParam>,
        t: SpecTecTyp,
    },
    #[sexpr_node(name = "gram")]
    Gram {
        x: String,
        ps: Vec<SpecTecParam>,
        t: SpecTecTyp,
    },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L189>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecParam {
    #[sexpr_node(name = "exp")]
    Exp { x: String, t: SpecTecTyp },
    #[sexpr_node(name = "typ")]
    Typ { x: String },
    #[sexpr_node(name = "def")]
    Def {
        x: String,
        ps: Vec<SpecTecParam>,
        t: SpecTecTyp,
    },
    #[sexpr_node(name = "gram")]
    Gram { x: String, t: SpecTecTyp },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L196>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecInst {
    #[sexpr_node(name = "inst")]
    Inst {
        bs: Vec<SpecTecBind>,
        as_: Vec<SpecTecArg>,
        dt: SpecTecDefTyp,
    },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L201>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecRule {
    #[sexpr_node(name = "rule")]
    Rule {
        x: String,
        bs: Vec<SpecTecBind>,
        op: MixOp,
        e: SpecTecExp,
        prs: Vec<SpecTecPrem>,
    },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L206>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecClause {
    #[sexpr_node(name = "clause")]
    Clause {
        bs: Vec<SpecTecBind>,
        as_: Vec<SpecTecArg>,
        e: SpecTecExp,
        prs: Vec<SpecTecPrem>,
    },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L211>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecProd {
    #[sexpr_node(name = "prod")]
    Prod {
        bs: Vec<SpecTecBind>,
        g: SpecTecSym,
        e: SpecTecExp,
        prs: Vec<SpecTecPrem>,
    },
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L216>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecDef {
    #[sexpr_node(name = "typ")]
    Typ {
        x: String,
        ps: Vec<SpecTecParam>,
        insts: Vec<SpecTecInst>,
    },
    #[sexpr_node(name = "rel")]
    Rel {
        x: String,
        op: MixOp,
        t: SpecTecTyp,
        rules: Vec<SpecTecRule>,
    },
    #[sexpr_node(name = "def")]
    Dec {
        x: String,
        ps: Vec<SpecTecParam>,
        t: SpecTecTyp,
        clauses: Vec<SpecTecClause>,
    },
    #[sexpr_node(name = "gram")]
    Gram {
        x: String,
        ps: Vec<SpecTecParam>,
        t: SpecTecTyp,
        prods: Vec<SpecTecProd>,
    },
    #[sexpr_node(name = "rec")]
    Rec { ds: Vec<SpecTecDef> },
}