GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_FIELD
+
Point of view
All features
ANY
EDC_ANY_TABLE
EDC_DESCRIPTOR
All features
deferred class EDC_FIELD [E_]
Summary
top
Direct parents
Inherit list:
EDC_ANY_FIELD
Known children
Inherit list:
EDC_TYPED_FIELD
Class invariant
top
table /= Void
not name.is_empty
Overview
top
Features
{
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_ANY_TABLE
{
EDC_ANY_TABLE
}
is_pk_compatible
:
BOOLEAN
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
table
:
EDC_ANY_TABLE
deferred function
{
ANY
}
top
is_pk_compatible
:
BOOLEAN
deferred function
{
EDC_ANY_TABLE
}
top