+
Point of view
STRING
class EDC_STRING_COLUMN_VALUE
Summary
top
Class invariant
top
Overview
top
creation features
exported features
Expressions
Expressions
Expressions
Protect comparison functions with this trick.
accept (a_visitor: ESE_VISITOR)
effective procedure
top
Accept to be visited by the visitor.
is_like (a_value: EDC_TYPED_VALUE[STRING]): EDC_EXPRESSION
effective function
top
infix "~=" (a_value: EDC_TYPED_VALUE[STRING]): EDC_EXPRESSION
effective function
top
less_than (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
lt (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
infix "<" (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
less_than_or_equal (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
le (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
infix "<=" (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
greater_than (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
gt (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
infix ">" (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
greater_than_or_equal (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
ge (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
infix ">=" (a_value: EDC_TYPED_VALUE[C_]): EDC_EXPRESSION
effective function
top
column: EDC_TYPED_COLUMN[T_]
writable attribute
top
effective function
top
value (a_columns: TRAVERSABLE[EDC_COLUMN], a_data: TRAVERSABLE[EDC_DATUM]): EDC_TYPED_DATUM[T_]
effective function
top
datum: EDC_DATUM
effective function
top
is_null: EDC_EXPRESSION
effective function
top
equals (other: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
infix "==" (other: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
effective function
top
infix "~~" (set: EDC_SELECT): EDC_EXPRESSION
effective function
top
not_recursive: BOOLEAN
effective function
top
Be sure that at least one of both values (either left or right) is a column
ok_not_recursive: BOOLEAN
effective function
top
Called in the comparison functions' postcondition to reset the at-least-one-column test.