Class: Ibex::IR::AutomatonItem

Inherits:
Object
  • Object
show all
Defined in:
lib/ibex/ir/automaton_ir.rb

Overview

A merged LALR item with its lookahead token ids.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(production:, dot:, lookaheads:) ⇒ AutomatonItem

Returns a new instance of AutomatonItem.



14
15
16
17
18
19
 
# File 'lib/ibex/ir/automaton_ir.rb', line 14

def initialize(production:, dot:, lookaheads:)
  @production = production
  @dot = dot
  @lookaheads = lookaheads.sort.dup.freeze
  freeze
end

Instance Attribute Details

#dot ⇒ Object (readonly)

: Integer



10
11
12
 
# File 'lib/ibex/ir/automaton_ir.rb', line 10

def dot
  @dot
end

#lookaheads ⇒ Object (readonly)

: Array



11
12
13
 
# File 'lib/ibex/ir/automaton_ir.rb', line 11

def lookaheads
  @lookaheads
end

#production ⇒ Object (readonly)

: Integer



9
10
11
 
# File 'lib/ibex/ir/automaton_ir.rb', line 9

def production
  @production
end

Instance Method Details

#to_h(grammar) ⇒ Object 



22
23
24
25
26
27
28
 
# File 'lib/ibex/ir/automaton_ir.rb', line 22

def to_h(grammar)
  { production: @production, dot: @dot,
    lookaheads: @lookaheads.map do |id|
      symbol = grammar.symbol_by_id(id) || raise(Ibex::Error, "missing grammar symbol id #{id}")
      symbol.name
    end }
end