class

Focus::ArrayExpression(T)

Inherits Focus::Expression / Reference / Object

Constructors

new(inner : Focus::Expression | Nil = nil)
Source

Class methods

new_array_func(func_name, *expressions : Focus::Expression) : Focus::ArrayExpression(T)
Source

Instance methods

array_append(rhs : T) : Focus::ArrayExpression(T)
Source
at(at : IntExpression(Int32)) : T
Source
concat(rhs : Focus::ArrayExpression(T)) : Focus::ArrayExpression(T)
Source
contains(rhs : Focus::ArrayExpression(T)) : BoolExpression
Source
eq(rhs : Focus::ArrayExpression(T)) : Focus::BoolExpression
Source
greater_than(rhs : Focus::ArrayExpression(T)) : Focus::BoolExpression
Source
greater_than_eq(rhs : Focus::ArrayExpression(T)) : Focus::BoolExpression
Source
inner
Source
is_contained_by(rhs : Focus::ArrayExpression(T)) : BoolExpression
Source
is_distinct_from(rhs : Focus::ArrayExpression(T)) : Focus::BoolExpression
Source
is_not_distinct_from(rhs : Focus::ArrayExpression(T)) : Focus::BoolExpression
Source
less_than(rhs : Focus::ArrayExpression(T)) : Focus::BoolExpression
Source
less_than_eq(rhs : Focus::ArrayExpression(T)) : Focus::BoolExpression
Source
not_eq(rhs : Focus::ArrayExpression(T)) : Focus::BoolExpression
Source
overlap(rhs : Focus::ArrayExpression(T)) : BoolExpression
Source