home
classes/clusters list
class information
+
Point of view
STRING
ANY
STRING_RECYCLING_POOL
STRING_HANDLER
STRING
RECYCLING_POOL
TYPED_INTERNALS
INTERNALS_HANDLER
All features
class EDC_STRING_COLUMN
Summary
top
Direct parents
inherit list:
EDC_TYPED_COLUMN
Class invariant
top
name.count > 0
Overview
top
creation features
make
(a_name:
STRING
, a_size:
INTEGER_32
)
exported features
accept
(a_visitor:
ESE_VISITOR
)
Accept to be visited by the
visitor
.
hash_code
(a_value:
EDC_DATUM
):
INTEGER_32
size
:
INTEGER_32
valid_value
(a_value:
EDC_DATUM
):
BOOLEAN
as_value
:
EDC_STRING_COLUMN_VALUE
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_]
same_values
(v1:
EDC_DATUM
, v2:
EDC_DATUM
):
BOOLEAN
value
(a_value:
EDC_DATUM
): 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
)
Constants:
Fetch_forward
:
INTEGER_32
Fetch_backward
:
INTEGER_32
accept
(a_visitor:
ESE_VISITOR
)
effective procedure
top
Accept to be visited by the
visitor
.
require
a_visitor /= Void
hash_code
(a_value:
EDC_DATUM
):
INTEGER_32
effective function
top
require
valid_value(a_value)
size
:
INTEGER_32
writable attribute
top
valid_value
(a_value:
EDC_DATUM
):
BOOLEAN
effective function
top
as_value
:
EDC_STRING_COLUMN_VALUE
effective 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
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)
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