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
65
66
67
68
69
70
|
require 'helper'
module Journey
module NFA
class TestTransitionTable < MiniTest::Unit::TestCase
def setup
@parser = Journey::Parser.new
end
def test_eclosure
table = tt '/'
assert_equal [0], table.eclosure(0)
table = tt ':a|:b'
assert_equal 3, table.eclosure(0).length
table = tt '(:a|:b)'
assert_equal 5, table.eclosure(0).length
assert_equal 5, table.eclosure([0]).length
end
def test_following_states_one
table = tt '/'
assert_equal [1], table.following_states(0, '/')
assert_equal [1], table.following_states([0], '/')
end
def test_following_states_group
table = tt 'a|b'
states = table.eclosure 0
assert_equal 1, table.following_states(states, 'a').length
assert_equal 1, table.following_states(states, 'b').length
end
def test_following_states_multi
table = tt 'a|a'
states = table.eclosure 0
assert_equal 2, table.following_states(states, 'a').length
assert_equal 0, table.following_states(states, 'b').length
end
def test_following_states_regexp
table = tt 'a|:a'
states = table.eclosure 0
assert_equal 1, table.following_states(states, 'a').length
assert_equal 1, table.following_states(states, /[^\.\/\?]+/).length
assert_equal 0, table.following_states(states, 'b').length
end
def test_alphabet
table = tt 'a|:a'
assert_equal [/[^\.\/\?]+/, 'a'], table.alphabet
table = tt 'a|a'
assert_equal ['a'], table.alphabet
end
private
def tt string
ast = @parser.parse string
builder = Builder.new ast
builder.transition_table
end
end
end
end
|
