class Ikra::Symbolic::FixedSizeArrayInHostSectionCommand

Attributes

base_type[RW]
dimensions[RW]
target[RW]

Public Class Methods

new(target, base_type, dimensions, block_size: DEFAULT_BLOCK_SIZE) click to toggle source
Calls superclass method Ikra::Symbolic::ArrayCommand::new
# File lib/symbolic/host_section.rb, line 96
def initialize(target, base_type, dimensions, block_size: DEFAULT_BLOCK_SIZE)
    super(target, base_type, block_size: block_size)

    @dimensions = dimensions
end

Public Instance Methods

==(other) click to toggle source
Calls superclass method Ikra::Symbolic::ArrayCommand#==
# File lib/symbolic/host_section.rb, line 106
def ==(other)
    return super(other) && dimensions == other.dimensions
end
accept(visitor) click to toggle source
# File lib/symbolic/visitor.rb, line 58
def accept(visitor)
    visitor.visit_fixed_size_array_in_host_section_command(self)
end
size() click to toggle source
# File lib/symbolic/host_section.rb, line 102
def size
    return dimensions.reduce(:*)
end