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
|
require 'strscan'
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(/[\/\.\?]|[^\/\.\?]+/)
# 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
|