home
classes/clusters list
class information
+
Point of view
All features
ANY
All features
deferred class EDC_HASHABLE_COLUMN [H_ ->
HASHABLE
]
Summary
top
Direct parents
inherit list:
EDC_TYPED_COLUMN
Known children
insert list:
EDC_CHARACTER_COLUMN
,
EDC_INTEGER_COLUMN
Class invariant
top
name.count > 0
Overview
top
features
hash_code
(a_value:
EDC_DATUM
):
INTEGER_32
as_value
:
EDC_COLUMN_VALUE
[T_]
infix "@"
(a_data: T_):
EDC_MANIFEST_VALUE
[T_]
manifest
(a_data: T_):
EDC_MANIFEST_VALUE
[T_]
prefix "&"
:
EDC_PARAMETER
[T_]
parameter
:
EDC_PARAMETER
[T_]
Convenient shorthands
is_null
:
EDC_EXPRESSION
equals
(other:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
infix "=="
(other:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
in
(set:
EDC_SELECT
):
EDC_EXPRESSION
infix "~~"
(set:
EDC_SELECT
):
EDC_EXPRESSION
is_like
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
infix "~="
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
less_than
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
lt
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
infix "<"
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
less_than_or_equal
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
le
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
infix "<="
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
greter_than
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
gt
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
infix ">"
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
greater_than_or_equal
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
ge
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
infix ">="
(a_value:
EDC_TYPED_VALUE
[T_]):
EDC_EXPRESSION
as_datum
(datum: T_):
EDC_TYPED_DATUM
[T_]
item
(set:
EDC_RESULT_SET
):
EDC_TYPED_DATUM
[T_]
valid_value
(a_value:
EDC_DATUM
):
BOOLEAN
same_values
(v1:
EDC_DATUM
, v2:
EDC_DATUM
):
BOOLEAN
value
(a_value:
EDC_DATUM
): T_
make
(a_name:
STRING
)
datum_factory
:
EDC_DATUM_FACTORY
[T_]
table
:
EDC_TABLE
name
:
STRING
is_equal
(other:
EDC_COLUMN
):
BOOLEAN
Is
other
attached to an object considered equal to current object?
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
)
set_table
(a_table:
EDC_TABLE
)
unset_table
constraints
:
HASHED_SET
[
EDC_CONSTRAINT
]
Constants:
Fetch_forward
:
INTEGER_32
Fetch_backward
:
INTEGER_32
accept
(visitor:
ESE_VISITOR
)
Accept to be visited by the
visitor
.
hash_code
(a_value:
EDC_DATUM
):
INTEGER_32
effective function
top
require
valid_value(a_value)
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
make
(a_name:
STRING
)
effective procedure
top
require
a_name.count > 0
datum_factory
:
EDC_DATUM_FACTORY
[T_]
writable attribute
top
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)
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
set_table
(a_table:
EDC_TABLE
)
effective procedure
top
require
a_table /= Void
table
= Void
ensure
table
= a_table
unset_table
effective procedure
top
require
table
/= Void
ensure
table
= Void
constraints
:
HASHED_SET
[
EDC_CONSTRAINT
]
writable attribute
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