deterministic_automata 0.1.2

A framework for implementing deterministic automata with arbitrary state complexity
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

use deterministic_automata::*;
use deterministic_automata::counter_automaton_example::CounterAutomatonBlueprint;

#[test]
fn deterministic_automaton_creation_and_state_queries() -> Result<(), String> {
    let blueprint = CounterAutomatonBlueprint::new('a', 'b');
    let mut automaton = DeterministicAutomaton::new(&blueprint);
    
    assert_eq!(automaton.current_state_sort()?, BasicStateSort::Accept);
    
    assert_eq!(automaton.update_state(&'a')?, BasicStateSort::Reject);
    assert_eq!(automaton.current_state_sort()?, BasicStateSort::Reject);
    
    assert_eq!(automaton.update_state(&'b')?, BasicStateSort::Accept);
    assert_eq!(automaton.current_state_sort()?, BasicStateSort::Accept);
    
    Ok(())
}

#[test]
fn deterministic_automaton_step_by_step_processing() -> Result<(), String> {
    let blueprint = CounterAutomatonBlueprint::new('x', 'y');
    let mut automaton = DeterministicAutomaton::new(&blueprint);
    
    assert_eq!(automaton.current_state_sort()?, BasicStateSort::Accept);
    
    automaton.update_state(&'x')?;
    assert_eq!(automaton.current_state_sort()?, BasicStateSort::Reject);
    
    automaton.update_state(&'x')?;
    assert_eq!(automaton.current_state_sort()?, BasicStateSort::Reject);
    
    automaton.update_state(&'y')?;
    assert_eq!(automaton.current_state_sort()?, BasicStateSort::Reject);
    
    automaton.update_state(&'y')?; 
    assert_eq!(automaton.current_state_sort()?, BasicStateSort::Accept);
    
    Ok(())
}

#[test]
fn basic_state_sort_equality() {
    assert_eq!(BasicStateSort::Accept, BasicStateSort::Accept);
    assert_eq!(BasicStateSort::Reject, BasicStateSort::Reject);
    assert_ne!(BasicStateSort::Accept, BasicStateSort::Reject);
    assert_ne!(BasicStateSort::Reject, BasicStateSort::Accept);
}

#[test]
fn basic_state_sort_debug_format() {
    assert_eq!(format!("{:?}", BasicStateSort::Accept), "Accept");
    assert_eq!(format!("{:?}", BasicStateSort::Reject), "Reject");
}

#[test]
fn basic_state_sort_clone_copy() {
    let accept = BasicStateSort::Accept;
    let accept_clone = accept.clone();
    let accept_copy = accept;
    
    assert_eq!(accept_clone, BasicStateSort::Accept);
    assert_eq!(accept_copy, BasicStateSort::Accept);
}