示例#1
0
文件: dump_test.go 项目: h12w/dfa
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'"];
		}`))
}
示例#2
0
文件: expr_test.go 项目: h12w/dfa
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))
	}
}