Class: Ibex::Runtime::RepairAdvance

Inherits:
Object
  • Object
show all
Defined in:
lib/ibex/runtime/repair.rb,
sig/ibex/runtime/repair.rbs

Overview

Internal result of simulating reductions followed by one table action.

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(status:, stack:) ⇒ RepairAdvance

Returns a new instance of RepairAdvance.

RBS:

  • (status: :shift | :accept, stack: Array[Integer]) -> void

Parameters:

  • status: (:shift, :accept)
  • stack: (Array[Integer]) 


150
151
152
153
154
 
# File 'lib/ibex/runtime/repair.rb', line 150

def initialize(status:, stack:)
  @status = status
  @stack = stack
  freeze
end

Instance Attribute Details

#stack ⇒ Array[Integer] (readonly)

Signature:

  • Array[Integer]

Returns:

  • (Array[Integer]) 


147
148
149
 
# File 'lib/ibex/runtime/repair.rb', line 147

def stack
  @stack
end

#status ⇒ :shift, :accept (readonly)

Signature:

  • :shift | :accept

Returns:

  • (:shift, :accept) 


146
147
148
 
# File 'lib/ibex/runtime/repair.rb', line 146

def status
  @status
end