func TestDotFormat(t *testing.T) {
expect := gspec.Expect(t.FailNow)
expect(threeToken().dotFormat()).Equal(gspec.Unindent(`
digraph g {
rankdir=LR;
node [fontname="Ubuntu Mono"];
edge [fontname="Ubuntu Mono"];
node [fontsize=12, shape=circle, fixedsize=true, width=".25"];
edge [fontsize=12];
edge [arrowhead=lnormal];
ENTRY [shape=point, fixedsize=false, width=".05"];
ENTRY -> 0 [label="(input)"];
0 -> 1 [label="'0'"];
0 -> 2 [label="'1'-'9'"];
0 -> 3 [label="'A'-'Z'\n'a'-'z'"];
1 [shape=doublecircle, width=".18", xlabel="L1"];
1 -> 2 [label="'0'-'9'"];
1 -> 4 [label="'X'\n'x'"];
2 [shape=doublecircle, width=".18", xlabel="L1"];
2 -> 2 [label="'0'-'9'"];
3 [shape=doublecircle, width=".18", xlabel="L2"];
3 -> 3 [label="'0'-'9'\n'A'-'Z'\n'a'-'z'"];
4 -> 5 [label="'0'-'9'\n'A'-'F'\n'a'-'f'"];
5 [shape=doublecircle, width=".18", xlabel="L0"];
5 -> 5 [label="'0'-'9'\n'A'-'F'\n'a'-'f'"];
}`))
}
func TestExpr(t *testing.T) {
expect := gspec.Expect(t.FailNow)
for i, testcase := range []struct {
m *M
s string
}{
{
s(""), `
s0$`,
},
{
s("a"), `
s0
'a' s1
s1$`,
},
{
s("ab"), `
s0
'a' s1
s1
'b' s2
s2$`,
},
{
c("abc"), `
s0
'a'-'c' s1
s1$`,
},
{
b('a', 'c'),
c("abc").Minimize().dump(),
},
{
con(s("a"), s("b")),
s("ab").dump(),
},
{
or(s("a"), s("b")),
c("ab").Minimize().dump(),
},
{
s("a").Repeat(), `
s0$
'a' s0`,
},
{
s("ab").Repeat(), `
s0$
'a' s1
s1
'b' s0`,
},
{
s("ab").AtLeast(1), `
s0
'a' s1
s1
'b' s2
s2$
'a' s1`,
},
{
con(s(`a`), optional(s(`b`))), `
s0
'a' s1
s1$
'b' s2
s2$`,
},
{
con(s(`a`), s(`b`).Repeat()), `
s0
'a' s1
s1$
'b' s1`,
},
{
s(`a`).Repeat(3),
s(`aaa`).dump(),
},
{
threeToken(), `
s0
'0' s1
'1'-'9' s2
'A'-'Z' s3
'a'-'z' s3
s1$3
'0'-'9' s2
'X' s4
'x' s4
s2$3
'0'-'9' s2
s3$4
'0'-'9' s3
'A'-'Z' s3
'a'-'z' s3
s4
'0'-'9' s5
'A'-'F' s5
'a'-'f' s5
s5$2
'0'-'9' s5
'A'-'F' s5
'a'-'f' s5`,
},
{
b(0, '\U0010ffff'), `
s0
00-7f s1
c2-df s2
e0 s3
e1-ef s4
f0 s5
f1-f3 s6
f4 s7
s1$
s2
80-bf s1
s3
a0-bf s2
s4
80-bf s2
s5
90-bf s4
s6
80-bf s4
s7
80-8f s4`,
},
{
b(0x3bf, 0x3c0), `
s0
ce s1
cf s2
s1
bf s3
s2
80 s3
s3$`,
},
{
bsas(), `
s0$
'a' s1
'b' s0
s1
'a' s0
'b' s1`,
},
{
bsas().Complement(), `
s0
'a' s1
'b' s0
s1$
'a' s0
'b' s1`,
},
{
or(bsas(), asbs().Complement()), `
s0$
'a' s1
'b' s2
s1
'a' s0
'b' s3
s2$
'a' s3
'b' s0
s3$
'a' s2
'b' s1`,
},
{
and(bsas(), asbs().Complement()), `
s0
'a' s1
'b' s2
s1
'a' s0
'b' s3
s2$
'a' s3
'b' s0
s3
'a' s2
'b' s1`,
},
{
bsas().Exclude(asbs().Complement()), `
s0$
'a' s1
'b' s2
s1
'a' s0
'b' s3
s2
'a' s3
'b' s0
s3
'a' s2
'b' s1`,
},
{
c("ab").Exclude(c("a")), `
s0
'b' s1
s1$`,
},
{
con(b(0xFEFE, 0xFF00).Exclude("\uFEFF").AtLeast(1), "\uFEFF"), `
s0
ef s1
s1
bb s2
bc s3
s2
be s4
s3
80 s4
s4
ef s5
s5
bb s6
bc s3
s6
be s4
bf s7
s7$`,
},
} {
expect(fmt.Sprintf("dump of test case %d", i), testcase.m.Minimize().dump()).Equal(gspec.Unindent(testcase.s))
}
}