blob: 9948213146e550a0390370be4a0fa720a95bebf5 (
plain) (
blame)
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
|
require 'strscan'
module ActionDispatch
module Journey
module NFA
class MatchData
attr_reader :memos
def initialize memos
@memos = memos
end
end
class Simulator
attr_reader :tt
def initialize transition_table
@tt = transition_table
end
def simulate string
input = StringScanner.new string
state = tt.eclosure 0
until input.eos?
sym = input.scan(%r([/.?]|[^/.?]+))
# FIXME: tt.eclosure is not needed for the GTG
state = tt.eclosure tt.move(state, sym)
end
acceptance_states = state.find_all { |s|
tt.accepting? tt.eclosure(s).sort.last
}
return if acceptance_states.empty?
memos = acceptance_states.map { |x| tt.memo x }.flatten.compact
MatchData.new memos
end
alias :=~ :simulate
alias :match :simulate
end
end
end
end
|