GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_TYPED_FIELD
+
Point of view
All features
ANY
EDC_ANY_TABLE
EDC_RECORD
All features
deferred class EDC_TYPED_FIELD [R_ ->
EDC_RECORD
, E_]
Summary
top
Direct parents
Inherit list:
EDC_FIELD
Known children
Inherit list:
EDC_BASIC_FIELD
,
EDC_REFERENCE_FIELD
Class invariant
top
table /= Void
not name.is_empty
Overview
top
Features
{
ANY
}
table
: EDC_TABLE[R_]
{
EDC_ANY_TABLE
}
is_pk_compatible
:
BOOLEAN
Do not redefine if you don't know what you are doing!
{
EDC_RECORD
}
item
(r: R_): E_
set
(r: R_, i: E_)
{
ANY
}
default
: E_
Default value of the field
is_null
: EDC_FIELD_CRITERION[E_]
is_not_null
: EDC_FIELD_CRITERION[E_]
ge
: EDC_FIELD_CRITERION[E_]
gt
: EDC_FIELD_CRITERION[E_]
le
: EDC_FIELD_CRITERION[E_]
lt
: EDC_FIELD_CRITERION[E_]
eq
: EDC_FIELD_CRITERION[E_]
ne
: EDC_FIELD_CRITERION[E_]
infix "<="
(value: E_): EDC_FIELD_CRITERION[E_]
infix "<"
(value: E_): EDC_FIELD_CRITERION[E_]
infix ">="
(value: E_): EDC_FIELD_CRITERION[E_]
infix ">"
(value: E_): EDC_FIELD_CRITERION[E_]
infix "=="
(value: E_): EDC_FIELD_CRITERION[E_]
infix "=/="
(value: E_): EDC_FIELD_CRITERION[E_]
{
EDC_DESCRIPTOR
}
add_validator
(a_validator:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]])
{}
validators
: FAST_ARRAY[
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]]
{
ANY
}
options
:
EDC_FIELD_OPTION
name
:
FIXED_STRING
table
: EDC_TABLE[R_]
writable attribute
{
ANY
}
top
is_pk_compatible
:
BOOLEAN
is False
constant attribute
{
EDC_ANY_TABLE
}
top
Do not redefine if you don't know what you are doing!
item
(r: R_): E_
deferred function
{
EDC_RECORD
}
top
require
added:
r.session /= Void
set
(r: R_, i: E_)
deferred procedure
{
EDC_RECORD
}
top
require
added:
r.session /= Void
ensure
i = Void implies
item
(r) = Void
i /= Void implies
item
(r).is_equal(i)
default
: E_
effective function
{
ANY
}
top
Default value of the field
is_null
: EDC_FIELD_CRITERION[E_]
deferred function
{
ANY
}
top
require
default
= Void
ensure
Result /= Void
is_not_null
: EDC_FIELD_CRITERION[E_]
deferred function
{
ANY
}
top
require
default
= Void
ensure
Result /= Void
ge
: EDC_FIELD_CRITERION[E_]
deferred function
{
ANY
}
top
ensure
Result /= Void
gt
: EDC_FIELD_CRITERION[E_]
deferred function
{
ANY
}
top
ensure
Result /= Void
le
: EDC_FIELD_CRITERION[E_]
deferred function
{
ANY
}
top
ensure
Result /= Void
lt
: EDC_FIELD_CRITERION[E_]
deferred function
{
ANY
}
top
ensure
Result /= Void
eq
: EDC_FIELD_CRITERION[E_]
deferred function
{
ANY
}
top
ensure
Result /= Void
ne
: EDC_FIELD_CRITERION[E_]
deferred function
{
ANY
}
top
ensure
Result /= Void
infix "<="
(value: E_): EDC_FIELD_CRITERION[E_]
effective function
{
ANY
}
top
require
value /= Void
ensure
Result /= Void
infix "<"
(value: E_): EDC_FIELD_CRITERION[E_]
effective function
{
ANY
}
top
require
value /= Void
ensure
Result /= Void
infix ">="
(value: E_): EDC_FIELD_CRITERION[E_]
effective function
{
ANY
}
top
require
value /= Void
ensure
Result /= Void
infix ">"
(value: E_): EDC_FIELD_CRITERION[E_]
effective function
{
ANY
}
top
require
value /= Void
ensure
Result /= Void
infix "=="
(value: E_): EDC_FIELD_CRITERION[E_]
effective function
{
ANY
}
top
require
value /= Void
ensure
Result /= Void
infix "=/="
(value: E_): EDC_FIELD_CRITERION[E_]
effective function
{
ANY
}
top
require
value /= Void
ensure
Result /= Void
add_validator
(a_validator:
FUNCTION
[
TUPLE
[TUPLE 1[E_]]])
effective procedure
{
EDC_DESCRIPTOR
}
top
validators
: FAST_ARRAY[
FUNCTION
[
TUPLE
[TUPLE 1[E_]]]]
writable attribute
{}
top
options
:
EDC_FIELD_OPTION
writable attribute
{
ANY
}
top
name
:
FIXED_STRING
writable attribute
{
ANY
}
top