end
for p in gram.prods do
add "private fun goto_{p.cname}: Goto_{p.cname} do return once new Goto_{p.cname}"
+ for a in p.alts do
+ add "private fun reduce_{a.cname}(parser: Parser) do"
+ gen_reduce_to_nit(a)
+ add "end"
+ end
end
add "redef class NToken"
if s.reduces.length != 1 then
add "\t\tparser.parse_error"
else
- gen_reduce_to_nit(s.reduces.first)
+ add "\t\treduce_{s.reduces.first.cname}(parser)"
+ #gen_reduce_to_nit(s.reduces.first)
end
add "\tend"
end
if not s.need_guard then continue
if s.reduces.length <= 1 then continue
add "\tredef fun action_s{s.cname}(parser) do"
- gen_reduce_to_nit(s.guarded_reduce[t].first.alt)
+ add "\t\treduce_{s.guarded_reduce[t].first.alt.cname}(parser)"
+ #gen_reduce_to_nit(s.guarded_reduce[t].first.alt)
add "\tend"
end
add "\tredef fun node_name do return \"{t.name.escape_to_nit}\""
if s.need_guard then
add "\t\tparser.peek_token.action_s{s.cname}(parser)"
else if s.reduces.length == 1 then
- gen_reduce_to_nit(s.reduces.first)
+ add "\t\treduce_{s.reduces.first.cname}(parser)"
+ #gen_reduce_to_nit(s.reduces.first)
else
abort
end
if a.length > 1 then
print "REDUCE/REDUCE Conflict on state {self.number} {self.name} for token {t}:"
for i in a do print "\treduce: {i}"
- else if guarded_shift.has_key(t) then
+ end
+ if guarded_shift.has_key(t) then
var ri = a.first
var confs = new Array[Item]
var ress = new Array[String]
print "SHIFT/REDUCE Conflict on state {self.number} {self.name} for token {t}:"
print "\treduce: {ri}"
for i in guarded_shift[t] do print "\tshift: {i}"
+ removed_reduces.add t
end
end
end
for t in removed_reduces do
guarded_reduce.keys.remove(t)
+ t.reduces.remove(self)
end
end