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

use decode_derive::SExprDecode;

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L14>
#[derive(Debug, PartialEq)]
pub struct MixOp(Vec<String>);

impl decode::Decode for MixOp {
    fn decode<'a, I: Iterator<Item = &'a sexpr_parse::SExprItem>>(
        items: &mut std::iter::Peekable<I>,
    ) -> decode::Result<Self> {
        match items.next() {
            Some(sexpr_parse::SExprItem::Text(t)) => {
                Ok(MixOp(t.split('%').map(str::to_owned).collect()))
            }
            Some(item) => Err(decode::Error::cannot_decode_sexpr::<Self>(item)),
            None => Err(decode::Error::required_missing_sexpr::<Self>()),
        }
    }
}

/// <https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#19>
#[allow(unused)]
#[derive(SExprDecode, Debug, PartialEq)]
pub enum SpecTecNum {
    #[sexpr_node(name = "nat")]
    Nat(u64),
    #[sexpr_node(name = "int")]
    Int(i64),
    #[sexpr_node(name = "rat")]
    Rat(String),
    #[sexpr_node(name = "real")]
    Real(String),
}