+
Point of view
ANY
class EDC_MANIFEST_VALUE [T_]
Summary
top
Overview
top
creation features
exported features
Expressions
Protect comparison functions with this trick.
item: T_
writable attribute
top
is_equal (other: EDC_MANIFEST_VALUE [T_]): BOOLEAN
effective function
top
Is other attached to an object considered equal to current object?
value (a_columns: TRAVERSABLE[EDC_COLUMN], a_data: TRAVERSABLE[EDC_DATUM]): EDC_TYPED_DATUM[T_]
effective function
top
datum: EDC_TYPED_DATUM[T_]
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
is_like (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
infix "~=" (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
less_than (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
lt (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
infix "<" (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
less_than_or_equal (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
le (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
infix "<=" (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
greater_than (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
gt (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
infix ">" (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
greater_than_or_equal (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
ge (a_value: EDC_TYPED_VALUE[T_]): EDC_EXPRESSION
effective function
top
infix ">=" (a_value: EDC_TYPED_VALUE[T_]): 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.
accept (visitor: ESE_VISITOR)
deferred procedure
top
Accept to be visited by the visitor.