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