Class: KPeg::CompiledParser

Inherits:
Object
  • Object
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_character, #current_column, #current_line, #current_pos_info, #get_line, #lines, #position_line_offsets

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 (readonly)

Returns the value of attribute failed_rule.



132
133
134
 
# File 'lib/kpeg/compiled_parser.rb', line 132

def failed_rule
  @failed_rule
end

#failing_rule_offset ⇒ Object (readonly)

Returns the value of attribute failing_rule_offset.



41
42
43
 
# File 'lib/kpeg/compiled_parser.rb', line 41

def failing_rule_offset
  @failing_rule_offset
end

#pos ⇒ Object

Returns the value of attribute pos.



42
43
44
 
# File 'lib/kpeg/compiled_parser.rb', line 42

def pos
  @pos
end

#result ⇒ Object

Returns the value of attribute result.



42
43
44
 
# File 'lib/kpeg/compiled_parser.rb', line 42

def result
  @result
end

#string ⇒ Object (readonly)

Returns the value of attribute string.



40
41
42
 
# File 'lib/kpeg/compiled_parser.rb', line 40

def string
  @string
end

Class Method Details

.rule_info(name, rendered) ⇒ Object 



327
328
329
 
# File 'lib/kpeg/compiled_parser.rb', line 327

def self.rule_info(name, rendered)
  RuleInfo.new(name, rendered)
end

Instance Method Details

#apply(rule) ⇒ Object 



263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
 
# File 'lib/kpeg/compiled_parser.rb', line 263

def apply(rule)
  @result = nil
  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

    # Don't bother trying to grow the left recursion
    # if it's failing straight away (thus there is no seed)
    if ans and lr
      return grow_lr(rule, nil, start_pos, m)
    else
      return ans
    end
  end
end

#apply_with_args(rule, *args) ⇒ Object 



229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
 
# File 'lib/kpeg/compiled_parser.rb', line 229

def apply_with_args(rule, *args)
  @result = nil
  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

    # Don't bother trying to grow the left recursion
    # if it's failing straight away (thus there is no seed)
    if ans and lr
      return grow_lr(rule, args, start_pos, m)
    else
      return ans
    end
  end
end

#external_invoke(other, rule, *args) ⇒ Object 



210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
 
# File 'lib/kpeg/compiled_parser.rb', line 210

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 



79
80
81
82
 
# File 'lib/kpeg/compiled_parser.rb', line 79

def failure_caret
  p = current_pos_info @failing_rule_offset
  "#{p.line.chomp}\n#{' ' * (p.col - 1)}^"
end

#failure_character ⇒ Object 



84
85
86
 
# File 'lib/kpeg/compiled_parser.rb', line 84

def failure_character
  current_character @failing_rule_offset
end

#failure_info ⇒ Object 



67
68
69
70
71
72
73
74
75
76
77
 
# File 'lib/kpeg/compiled_parser.rb', line 67

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 



88
89
90
91
92
93
94
95
96
97
 
# File 'lib/kpeg/compiled_parser.rb', line 88

def failure_oneline
  p = current_pos_info @failing_rule_offset

  if @failed_rule.kind_of? Symbol
    info = self.class::Rules[@failed_rule]
    "@#{p.lno}:#{p.col} failed rule '#{info.name}', got '#{p.char}'"
  else
    "@#{p.lno}:#{p.col} failed rule '#{@failed_rule}', got '#{p.char}'"
  end
end

#get_byte ⇒ Object 



154
155
156
157
158
159
160
161
162
 
# File 'lib/kpeg/compiled_parser.rb', line 154

def get_byte
  if @pos >= @string_size
    return nil
  end

  s = @string[@pos].ord
  @pos += 1
  s
end

#get_text(start) ⇒ Object 



46
47
48
 
# File 'lib/kpeg/compiled_parser.rb', line 46

def get_text(start)
  @string[start..@pos-1]
end

#grow_lr(rule, args, start_pos, m) ⇒ Object 



296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
 
# File 'lib/kpeg/compiled_parser.rb', line 296

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 



134
135
136
137
138
139
140
141
142
 
# File 'lib/kpeg/compiled_parser.rb', line 134

def match_string(str)
  len = str.size
  if @string[pos,len] == str
    @pos += len
    return str
  end

  return nil
end

#parse(rule = nil) ⇒ Object 



175
176
177
178
179
180
181
182
183
184
185
186
187
 
# File 'lib/kpeg/compiled_parser.rb', line 175

def parse(rule=nil)
  # We invoke the rules indirectly via apply
  # instead of by just calling them as methods because
  # if the rules use left recursion, apply needs to
  # manage that.

  if !rule
    apply(:_root)
  else
    method = rule.gsub("-","_hyphen_")
    apply :"_#{method}"
  end
end

#raise_error ⇒ Object

Raises:



102
103
104
 
# File 'lib/kpeg/compiled_parser.rb', line 102

def raise_error
  raise ParseError, failure_oneline
end

#scan(reg) ⇒ Object 



144
145
146
147
148
149
150
151
 
# File 'lib/kpeg/compiled_parser.rb', line 144

def scan(reg)
  if m = reg.match(@string, @pos)
    @pos = m.end(0)
    return true
  end

  return nil
end

#set_failed_rule(name) ⇒ Object 



125
126
127
128
129
130
 
# File 'lib/kpeg/compiled_parser.rb', line 125

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.



51
52
53
54
55
56
 
# File 'lib/kpeg/compiled_parser.rb', line 51

def set_string string, pos
  @string = string
  @string_size = string ? string.size : 0
  @pos = pos
  @position_line_offsets = nil
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
38
 
# 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
  @line_offsets = nil

  setup_foreign_grammar
end

#show_error(io = STDOUT) ⇒ Object 



106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
 
# File 'lib/kpeg/compiled_parser.rb', line 106

def show_error(io=STDOUT)
  error_pos = @failing_rule_offset
  p = current_pos_info(error_pos)

  io.puts "On line #{p.lno}, column #{p.col}:"

  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: #{p.char.inspect}"
  io.puts "=> #{p.line}"
  io.print(" " * (p.col + 2))
  io.puts "^"
end

#show_pos ⇒ Object 



58
59
60
61
62
63
64
65
 
# File 'lib/kpeg/compiled_parser.rb', line 58

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