class Ikra::Symbolic::ArrayCommand::ClassMethods::NormalCache

Public Class Methods

new() click to toggle source
# File lib/types/types/array_command_type.rb, line 53
def initialize
    @values = []
end

Public Instance Methods

add_value(value) click to toggle source
# File lib/types/types/array_command_type.rb, line 67
def add_value(value)
    @values.push(value)
end
get_value(value) click to toggle source
# File lib/types/types/array_command_type.rb, line 57
def get_value(value)
    for el in @values
        if el == value
            return el
        end
    end

    raise RuntimeError.new("Value not found")
end
include?(value) click to toggle source
# File lib/types/types/array_command_type.rb, line 71
def include?(value)
    return @values.include?(value)
end