l1-dfa 0.1.1

Deterministic Finite-State Automata Library for Rust, written in L1
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

use l1_dfa::{try_parse};

#[test]
fn re_abc() {
   let r = try_parse("abc").unwrap();

   assert!( !r.accepts("") );
   assert!( !r.accepts("a") );
   assert!( !r.accepts("ab") );
   assert!( r.accepts("abc") );
   assert!( !r.accepts("abcd") );
}

#[test]
fn re_ab_or_cd() {
   let r = try_parse("ab|cd").unwrap();

   assert!( !r.accepts("") );
   assert!( !r.accepts("a") );
   assert!( r.accepts("ab") );
   assert!( !r.accepts("abc") );
   assert!( !r.accepts("abcd") );
   assert!( !r.accepts("") );
   assert!( !r.accepts("c") );
   assert!( r.accepts("cd") );
}

#[test]
fn re_abc_or_bcd() {
   let r = try_parse("abc|bcd").unwrap();

   assert!( !r.accepts("") );
   assert!( !r.accepts("a") );
   assert!( !r.accepts("ab") );
   assert!( r.accepts("abc") );
   assert!( !r.accepts("abcd") );
   assert!( !r.accepts("") );
   assert!( !r.accepts("b") );
   assert!( !r.accepts("bc") );
   assert!( r.accepts("bcd") );
   assert!( !r.accepts("abb") );
}