class Ikra::Symbolic::ArrayZipCommand

Public Class Methods

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

    @input = [SingleInput.new(command: target.to_command, pattern: :tid)] + others.map do |other|
        SingleInput.new(command: other.to_command, pattern: :tid)
    end
end

Public Instance Methods

==(other) click to toggle source
Calls superclass method Ikra::Symbolic::ArrayCommand#==
# File lib/symbolic/symbolic.rb, line 494
def ==(other)
    return super(other) && size == other.size
end
accept(visitor) click to toggle source
# File lib/symbolic/visitor.rb, line 40
def accept(visitor)
    visitor.visit_array_zip_command(self)
end
block_parameter_names() click to toggle source
# File lib/symbolic/symbolic.rb, line 489
def block_parameter_names
    # Have to set block parameter names but names are never used
    return [:irrelevant] * @input.size
end
size() click to toggle source
# File lib/symbolic/symbolic.rb, line 485
def size
    return input.first.command.size
end