Class: KPeg::CompiledParser
- Inherits:
-
Object
- Object
- KPeg::CompiledParser
show all
- Includes:
- Position
- Defined in:
- lib/kpeg/compiled_parser.rb
Defined Under Namespace
Classes: MemoEntry, ParseError, RuleInfo
Instance Attribute Summary collapse
Class Method Summary
collapse
Instance Method Summary
collapse
Methods included from Position
#current_column, #current_line, #lines
Constructor Details
#initialize(str, debug = false) ⇒ CompiledParser
This is distinct from setup_parser so that a standalone parser can redefine #initialize and still have access to the proper parser setup code.
19
20
21
|
# File 'lib/kpeg/compiled_parser.rb', line 19
def initialize(str, debug=false)
setup_parser(str, debug)
end
|
Instance Attribute Details
#failed_rule ⇒ Object
Returns the value of attribute failed_rule.
140
141
142
|
# File 'lib/kpeg/compiled_parser.rb', line 140
def failed_rule
@failed_rule
end
|
#failing_rule_offset ⇒ Object
Returns the value of attribute failing_rule_offset.
40
41
42
|
# File 'lib/kpeg/compiled_parser.rb', line 40
def failing_rule_offset
@failing_rule_offset
end
|
#pos ⇒ Object
Returns the value of attribute pos.
41
42
43
|
# File 'lib/kpeg/compiled_parser.rb', line 41
def pos
@pos
end
|
#result ⇒ Object
Returns the value of attribute result.
41
42
43
|
# File 'lib/kpeg/compiled_parser.rb', line 41
def result
@result
end
|
#string ⇒ Object
Returns the value of attribute string.
39
40
41
|
# File 'lib/kpeg/compiled_parser.rb', line 39
def string
@string
end
|
Class Method Details
.rule_info(name, rendered) ⇒ Object
334
335
336
|
# File 'lib/kpeg/compiled_parser.rb', line 334
def self.rule_info(name, rendered)
RuleInfo.new(name, rendered)
end
|
Instance Method Details
#apply(rule) ⇒ Object
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
|
# File 'lib/kpeg/compiled_parser.rb', line 271
def apply(rule)
if m = @memoizations[rule][@pos]
@pos = m.pos
if !m.set
m.left_rec = true
return nil
end
@result = m.result
return m.ans
else
m = MemoEntry.new(nil, @pos)
@memoizations[rule][@pos] = m
start_pos = @pos
ans = __send__ rule
lr = m.left_rec
m.move! ans, @pos, @result
if ans and lr
return grow_lr(rule, nil, start_pos, m)
else
return ans
end
end
end
|
#apply_with_args(rule, *args) ⇒ Object
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
|
# File 'lib/kpeg/compiled_parser.rb', line 238
def apply_with_args(rule, *args)
memo_key = [rule, args]
if m = @memoizations[memo_key][@pos]
@pos = m.pos
if !m.set
m.left_rec = true
return nil
end
@result = m.result
return m.ans
else
m = MemoEntry.new(nil, @pos)
@memoizations[memo_key][@pos] = m
start_pos = @pos
ans = __send__ rule, *args
lr = m.left_rec
m.move! ans, @pos, @result
if ans and lr
return grow_lr(rule, args, start_pos, m)
else
return ans
end
end
end
|
#external_invoke(other, rule, *args) ⇒ Object
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
|
# File 'lib/kpeg/compiled_parser.rb', line 219
def external_invoke(other, rule, *args)
old_pos = @pos
old_string = @string
set_string other.string, other.pos
begin
if val = __send__(rule, *args)
other.pos = @pos
other.result = @result
else
other.set_failed_rule "#{self.class}##{rule}"
end
val
ensure
set_string old_string, old_pos
end
end
|
#failure_caret ⇒ Object
77
78
79
80
81
82
83
|
# File 'lib/kpeg/compiled_parser.rb', line 77
def failure_caret
l = current_line @failing_rule_offset
c = current_column @failing_rule_offset
line = lines[l-1]
"#{line}\n#{' ' * (c - 1)}^"
end
|
#failure_character ⇒ Object
85
86
87
88
89
|
# File 'lib/kpeg/compiled_parser.rb', line 85
def failure_character
l = current_line @failing_rule_offset
c = current_column @failing_rule_offset
lines[l-1][c-1, 1]
end
|
#failure_info ⇒ Object
65
66
67
68
69
70
71
72
73
74
75
|
# File 'lib/kpeg/compiled_parser.rb', line 65
def failure_info
l = current_line @failing_rule_offset
c = current_column @failing_rule_offset
if @failed_rule.kind_of? Symbol
info = self.class::Rules[@failed_rule]
"line #{l}, column #{c}: failed rule '#{info.name}' = '#{info.rendered}'"
else
"line #{l}, column #{c}: failed rule '#{@failed_rule}'"
end
end
|
#failure_oneline ⇒ Object
91
92
93
94
95
96
97
98
99
100
101
102
103
|
# File 'lib/kpeg/compiled_parser.rb', line 91
def failure_oneline
l = current_line @failing_rule_offset
c = current_column @failing_rule_offset
char = lines[l-1][c-1, 1]
if @failed_rule.kind_of? Symbol
info = self.class::Rules[@failed_rule]
"@#{l}:#{c} failed rule '#{info.name}', got '#{char}'"
else
"@#{l}:#{c} failed rule '#{@failed_rule}', got '#{char}'"
end
end
|
#get_byte ⇒ Object
163
164
165
166
167
168
169
170
171
|
# File 'lib/kpeg/compiled_parser.rb', line 163
def get_byte
if @pos >= @string_size
return nil
end
s = @string[@pos].ord
@pos += 1
s
end
|
#get_text(start) ⇒ Object
45
46
47
|
# File 'lib/kpeg/compiled_parser.rb', line 45
def get_text(start)
@string[start..@pos-1]
end
|
#grow_lr(rule, args, start_pos, m) ⇒ Object
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
|
# File 'lib/kpeg/compiled_parser.rb', line 303
def grow_lr(rule, args, start_pos, m)
while true
@pos = start_pos
@result = m.result
if args
ans = __send__ rule, *args
else
ans = __send__ rule
end
return nil unless ans
break if @pos <= m.pos
m.move! ans, @pos, @result
end
@result = m.result
@pos = m.pos
return m.ans
end
|
#match_string(str) ⇒ Object
142
143
144
145
146
147
148
149
150
|
# File 'lib/kpeg/compiled_parser.rb', line 142
def match_string(str)
len = str.size
if @string[pos,len] == str
@pos += len
return str
end
return nil
end
|
#parse(rule = nil) ⇒ Object
184
185
186
187
188
189
190
191
192
193
194
195
196
|
# File 'lib/kpeg/compiled_parser.rb', line 184
def parse(rule=nil)
if !rule
apply(:_root)
else
method = rule.gsub("-","_hyphen_")
apply :"_#{method}"
end
end
|
#raise_error ⇒ Object
108
109
110
|
# File 'lib/kpeg/compiled_parser.rb', line 108
def raise_error
raise ParseError, failure_oneline
end
|
#scan(reg) ⇒ Object
152
153
154
155
156
157
158
159
160
|
# File 'lib/kpeg/compiled_parser.rb', line 152
def scan(reg)
if m = reg.match(@string[@pos..-1])
width = m.end(0)
@pos += width
return true
end
return nil
end
|
#set_failed_rule(name) ⇒ Object
133
134
135
136
137
138
|
# File 'lib/kpeg/compiled_parser.rb', line 133
def set_failed_rule(name)
if @pos > @failing_rule_offset
@failed_rule = name
@failing_rule_offset = @pos
end
end
|
#set_string(string, pos) ⇒ Object
Sets the string and current parsing position for the parser.
50
51
52
53
54
|
# File 'lib/kpeg/compiled_parser.rb', line 50
def set_string string, pos
@string = string
@string_size = string ? string.size : 0
@pos = pos
end
|
#setup_foreign_grammar ⇒ Object
Must be outside the STANDALONE block because a standalone parser always injects it’s own version of this method.
8
9
|
# File 'lib/kpeg/compiled_parser.rb', line 8
def setup_foreign_grammar
end
|
#setup_parser(str, debug = false) ⇒ Object
Prepares for parsing str
. If you define a custom initialize you must call this method before #parse
29
30
31
32
33
34
35
36
37
|
# File 'lib/kpeg/compiled_parser.rb', line 29
def setup_parser(str, debug=false)
set_string str, 0
@memoizations = Hash.new { |h,k| h[k] = {} }
@result = nil
@failed_rule = nil
@failing_rule_offset = -1
setup_foreign_grammar
end
|
#show_error(io = STDOUT) ⇒ Object
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
|
# File 'lib/kpeg/compiled_parser.rb', line 112
def show_error(io=STDOUT)
error_pos = @failing_rule_offset
line_no = current_line(error_pos)
col_no = current_column(error_pos)
io.puts "On line #{line_no}, column #{col_no}:"
if @failed_rule.kind_of? Symbol
info = self.class::Rules[@failed_rule]
io.puts "Failed to match '#{info.rendered}' (rule '#{info.name}')"
else
io.puts "Failed to match rule '#{@failed_rule}'"
end
io.puts "Got: #{string[error_pos,1].inspect}"
line = lines[line_no-1]
io.puts "=> #{line}"
io.print(" " * (col_no + 3))
io.puts "^"
end
|
#show_pos ⇒ Object
56
57
58
59
60
61
62
63
|
# File 'lib/kpeg/compiled_parser.rb', line 56
def show_pos
width = 10
if @pos < width
"#{@pos} (\"#{@string[0,@pos]}\" @ \"#{@string[@pos,width]}\")"
else
"#{@pos} (\"... #{@string[@pos - width, width]}\" @ \"#{@string[@pos,width]}\")"
end
end
|