class Ikra::Symbolic::ArraySelectCommand

Public Class Methods

new(target, block) click to toggle source
Calls superclass method Ikra::Symbolic::ArrayCommand::new
# File lib/symbolic/symbolic.rb, line 784
def initialize(target, block)
    super()

    @block = block

    # One element per thread
    @input = [SingleInput.new(command: target.to_command, pattern: :tid)]
end

Public Instance Methods

accept(visitor) click to toggle source
# File lib/symbolic/visitor.rb, line 28
def accept(visitor)
    visitor.visit_array_select_command(self)
end