Class: Racc::State

Inherits:
Object show all
Defined in:
lib/racc/state.rb

Overview

A LALR state.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(ident, core) ⇒ State

Returns a new instance of State.



608
609
610
611
612
613
614
615
616
617
618
619
620
621
 
# File 'lib/racc/state.rb', line 608

def initialize(ident, core)
  @ident = ident
  @core = core
  @goto_table = {}
  @gotos = {}
  @stokens = nil
  @ritems = nil
  @action = {}
  @defact = nil
  @rrconf = nil
  @srconf = nil

  @closure = make_closure(@core)
end

Instance Attribute Details

#action ⇒ Object (readonly)

Returns the value of attribute action.



637
638
639
 
# File 'lib/racc/state.rb', line 637

def action
  @action
end

#closure ⇒ Object (readonly)

Returns the value of attribute closure.



628
629
630
 
# File 'lib/racc/state.rb', line 628

def closure
  @closure
end

#core ⇒ Object (readonly)

Returns the value of attribute core.



627
628
629
 
# File 'lib/racc/state.rb', line 627

def core
  @core
end

#defact ⇒ Object

default action



638
639
640
 
# File 'lib/racc/state.rb', line 638

def defact
  @defact
end

#goto_table ⇒ Object (readonly)

Returns the value of attribute goto_table.



630
631
632
 
# File 'lib/racc/state.rb', line 630

def goto_table
  @goto_table
end

#gotos ⇒ Object (readonly)

Returns the value of attribute gotos.



631
632
633
 
# File 'lib/racc/state.rb', line 631

def gotos
  @gotos
end

#ident ⇒ Object (readonly) Also known as: stateid, hash

Returns the value of attribute ident.



623
624
625
 
# File 'lib/racc/state.rb', line 623

def ident
  @ident
end

#ritems ⇒ Object (readonly)

Returns the value of attribute ritems.



634
635
636
 
# File 'lib/racc/state.rb', line 634

def ritems
  @ritems
end

#rrconf ⇒ Object (readonly)

Returns the value of attribute rrconf.



640
641
642
 
# File 'lib/racc/state.rb', line 640

def rrconf
  @rrconf
end

#rrules ⇒ Object (readonly)

Returns the value of attribute rrules.



635
636
637
 
# File 'lib/racc/state.rb', line 635

def rrules
  @rrules
end

#srconf ⇒ Object (readonly)

Returns the value of attribute srconf.



641
642
643
 
# File 'lib/racc/state.rb', line 641

def srconf
  @srconf
end

#stokens ⇒ Object (readonly)

Returns the value of attribute stokens.



633
634
635
 
# File 'lib/racc/state.rb', line 633

def stokens
  @stokens
end

Instance Method Details

#==(oth) ⇒ Object Also known as: eql? 



649
650
651
 
# File 'lib/racc/state.rb', line 649

def ==(oth)
  @ident == oth.ident
end

#check_la(la_rules) ⇒ Object 



666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
 
# File 'lib/racc/state.rb', line 666

def check_la(la_rules)
  @conflict = false
  s = []
  r = []
  @closure.each do |ptr|
    if t = ptr.dereference
      if t.terminal?
        s[t.ident] = t
        if t.ident == 1    # $error
          @conflict = true
        end
      end
    else
      r.push ptr.rule
    end
  end
  unless r.empty?
    if not s.empty? or r.size > 1
      @conflict = true
    end
  end
  s.compact!
  @stokens  = s
  @rrules = r

  if @conflict
    @la_rules_i = la_rules.size
    @la_rules = r.map {|i| i.ident }
    la_rules.concat r
  else
    @la_rules_i = @la_rules = nil
  end
end

#conflict? ⇒ Boolean

Returns:

  • (Boolean) 


700
701
702
 
# File 'lib/racc/state.rb', line 700

def conflict?
  @conflict
end

#inspect ⇒ Object Also known as: to_s 



643
644
645
 
# File 'lib/racc/state.rb', line 643

def inspect
  "<state #{@ident}>"
end

#la=(la) ⇒ Object 



717
718
719
720
721
722
723
724
725
 
# File 'lib/racc/state.rb', line 717

def la=(la)
  return unless @conflict
  i = @la_rules_i
  @ritems = r = []
  @rrules.each do |rule|
    r.push Item.new(rule, la[i])
    i += 1
  end
end

#make_closure(core) ⇒ Object 



655
656
657
658
659
660
661
662
663
664
 
# File 'lib/racc/state.rb', line 655

def make_closure(core)
  set = ISet.new
  core.each do |ptr|
    set.add ptr
    if t = ptr.dereference and t.nonterminal?
      set.update_a t.expand
    end
  end
  set.to_a
end

#n_rrconflicts ⇒ Object 



753
754
755
 
# File 'lib/racc/state.rb', line 753

def n_rrconflicts
  @rrconf ? @rrconf.size : 0
end

#n_srconflicts ⇒ Object 



749
750
751
 
# File 'lib/racc/state.rb', line 749

def n_srconflicts
  @srconf ? @srconf.size : 0
end

#rr_conflict(high, low, ctok) ⇒ Object 



727
728
729
730
731
732
733
734
735
736
 
# File 'lib/racc/state.rb', line 727

def rr_conflict(high, low, ctok)
  c = RRconflict.new(@ident, high, low, ctok)

  @rrconf ||= {}
  if a = @rrconf[ctok]
    a.push c
  else
    @rrconf[ctok] = [c]
  end
end

#rruleid(rule) ⇒ Object 



704
705
706
707
708
709
710
711
712
713
714
715
 
# File 'lib/racc/state.rb', line 704

def rruleid(rule)
  if i = @la_rules.index(rule.ident)
    @la_rules_i + i
  else
    puts '/// rruleid'
    p self
    p rule
    p @rrules
    p @la_rules_i
    raise 'racc: fatal: cannot get reduce rule id'
  end
end

#sr_conflict(shift, reduce) ⇒ Object 



738
739
740
741
742
743
744
745
746
747
 
# File 'lib/racc/state.rb', line 738

def sr_conflict(shift, reduce)
  c = SRconflict.new(@ident, shift, reduce)

  @srconf ||= {}
  if a = @srconf[shift]
    a.push c
  else
    @srconf[shift] = [c]
  end
end