home
classes/clusters list
class information
+
Point of view
ANY
ANY
All features
deferred class EDC_COMPARABLE_COLUMN [C_ ->
COMPARABLE
]
Summary
top
Direct parents
inherit list:
EDC_TYPED_COLUMN
Known children
inherit list:
EDC_CHARACTER_COLUMN
,
EDC_INCREMENT_COLUMN
,
EDC_INTEGER_COLUMN
Class invariant
top
name.count > 0
Overview
top
as_value
:
EDC_COLUMN_VALUE
[T_]
deferred function
top
infix "@"
(a_data: T_):
EDC_MANIFEST_VALUE
[T_]
effective function
top
manifest
(a_data: T_):
EDC_MANIFEST_VALUE
[T_]
effective function
top
prefix "&"
:
EDC_PARAMETER
[T_]
effective function
top
parameter
:
EDC_PARAMETER
[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
in
(set:
EDC_SELECT
):
EDC_EXPRESSION
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
greter_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
as_datum
(datum: T_):
EDC_TYPED_DATUM
[T_]
effective function
top
item
(set:
EDC_RESULT_SET
):
EDC_TYPED_DATUM
[T_]
effective function
top
require
not set.is_off
valid_value
(a_value:
EDC_DATUM
):
BOOLEAN
effective function
top
same_values
(v1:
EDC_DATUM
, v2:
EDC_DATUM
):
BOOLEAN
effective function
top
value
(a_value:
EDC_DATUM
): T_
effective function
top
require
a_value /= Void
table
:
EDC_TABLE
writable attribute
top
name
:
STRING
writable attribute
top
is_equal
(other:
EDC_COLUMN
):
BOOLEAN
effective function
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
hash_code
(a_value:
EDC_DATUM
):
INTEGER_32
deferred function
top
require
valid_value
(a_value)
count_constraint
:
INTEGER_32
effective function
top
lower_constraint
:
INTEGER_32
effective function
top
upper_constraint
:
INTEGER_32
effective function
top
item_constraint
(i:
INTEGER_32
):
EDC_CONSTRAINT
effective function
top
require
i.in_range(
lower_constraint
,
upper_constraint
)
set_constraint
(a_constraint:
EDC_CONSTRAINT
)
effective procedure
top
clear_constraint
(a_constraint:
EDC_CONSTRAINT
)
effective procedure
top
Fetch_forward
:
INTEGER_32
constant attribute
top
Fetch_backward
:
INTEGER_32
constant attribute
top
accept
(visitor:
ESE_VISITOR
)
deferred procedure
top
Accept to be visited by the
visitor
.
require
visitor /= Void