home
classes/clusters list
class information
+
Point of view
ANY
ANY
EDC_TABLE
TYPED_INTERNALS
INTERNALS_HANDLER
All features
deferred class EDC_COLUMN
Summary
top
Untyped - see also its unique child
EDC_TYPED_COLUMN
Direct parents
insert list:
EDC_CONSTANTS
,
ESE_VISITABLE
Known children
inherit list:
EDC_TYPED_COLUMN
Class invariant
top
name
.count > 0
Overview
top
exported features
table
:
EDC_TABLE
name
:
STRING
is_equal
(other: EDC_COLUMN):
BOOLEAN
Is
other
attached to an object considered equal to current object?
valid_value
(a_value:
EDC_DATUM
):
BOOLEAN
same_values
(v1:
EDC_DATUM
, v2:
EDC_DATUM
):
BOOLEAN
hash_code
(a_value:
EDC_DATUM
):
INTEGER_32
count_constraint
:
INTEGER_32
lower_constraint
:
INTEGER_32
upper_constraint
:
INTEGER_32
item_constraint
(i:
INTEGER_32
):
EDC_CONSTRAINT
set_constraint
(a_constraint:
EDC_CONSTRAINT
)
clear_constraint
(a_constraint:
EDC_CONSTRAINT
)
item
(set:
EDC_RESULT_SET
):
EDC_DATUM
Constants:
Fetch_forward
:
INTEGER_32
Fetch_backward
:
INTEGER_32
accept
(visitor:
ESE_VISITOR
)
Accept to be visited by the
visitor
.
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)
valid_value
(a_value:
EDC_DATUM
):
BOOLEAN
deferred function
top
same_values
(v1:
EDC_DATUM
, v2:
EDC_DATUM
):
BOOLEAN
deferred function
top
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
item
(set:
EDC_RESULT_SET
):
EDC_DATUM
deferred function
top
require
not set.is_off
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