aufbau 0.1.2

Generalized prefix parsing for a class of context-dependent languages
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

use crate::logic::grammar::Grammar;
use crate::logic::parse::{ParseArena, State};

use super::ast::FusionAST;

#[test]
fn empty_ast_reports_empty_view() {
    let ast = FusionAST::new(
        Grammar::new(),
        ParseArena::new(),
        Vec::new(),
        Vec::new(),
        String::new(),
    );

    assert!(ast.is_empty());
    assert_eq!(ast.len(), 0);
    assert_eq!(ast.text(), "");
    assert!(ast.first().is_none());
}

#[test]
fn state_display_exposes_root_and_frontier_size() {
    let state = State::default();
    let rendered = state.to_string();

    assert!(rendered.contains("root=0"));
    assert!(rendered.contains("frontier=0"));
}