wasm_spec_ast 1.0.0

The WebAssembly spec as a SpecTec AST
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

#![deny(
    clippy::arithmetic_side_effects,
    clippy::unwrap_used,
    clippy::expect_used,
    clippy::panic,
    clippy::pedantic
)]
#![allow(clippy::doc_markdown, clippy::missing_errors_doc)]

const WASM_AST_STR: &str = include_str!("./wasm-3.0.spectec-ast");

/// Returns the WASM SpecTec AST
#[must_use]
#[allow(clippy::missing_panics_doc)]
pub fn get_wasm_spectec_ast() -> Vec<spectec_ast::SpecTecDef> {
    // SAFETY: The included WASM SpecTec AST is known to be valid.
    #[allow(clippy::panic)]
    match spectec_ast::parse_spectec_stream(WASM_AST_STR) {
        Ok(ast) => ast,
        Err(err) => panic!("Failed to parse known valid WASM SpecTec AST: {err}"),
    }
}

#[cfg(test)]
mod test {
    #[test]
    fn test_get_wasm_spectec_ast() {
        let ast = super::get_wasm_spectec_ast();
        assert!(!ast.is_empty());
    }
}