GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_REFERENCE_FIELD
+
Point of view
All features
ANY
EDC_RECORD
All features
class EDC_REFERENCE_FIELD [R_ ->
EDC_RECORD
, REF_ ->
EDC_RECORD
]
Summary
top
Direct parents
Inherit list:
EDC_TYPED_FIELD
Class invariant
top
table /= Void
not name.is_empty
Overview
top
Creation features
{
EDC_DESCRIPTOR
}
make
(a_table:
EDC_TABLE
[
EDC_RECORD
], a_ref_table: EDC_TABLE[REF_], a_name:
ABSTRACT_STRING
)
with_options
(a_table:
EDC_TABLE
[
EDC_RECORD
], a_ref_table: EDC_TABLE[REF_], a_name:
ABSTRACT_STRING
, a_options:
EDC_FIELD_OPTION
)
Features
{
ANY
}
is_null
: EDC_FIELD_CRITERION[REF_]
is_not_null
: EDC_FIELD_CRITERION[REF_]
ge
: EDC_FIELD_CRITERION[REF_]
gt
: EDC_FIELD_CRITERION[REF_]
le
: EDC_FIELD_CRITERION[REF_]
lt
: EDC_FIELD_CRITERION[REF_]
eq
: EDC_FIELD_CRITERION[REF_]
ne
: EDC_FIELD_CRITERION[REF_]
{
EDC_RECORD
}
item
(r: R_): REF_
set
(r: R_, i: REF_)
{}
make
(a_table:
EDC_TABLE
[
EDC_RECORD
], a_ref_table: EDC_TABLE[REF_], a_name:
ABSTRACT_STRING
)
with_options
(a_table:
EDC_TABLE
[
EDC_RECORD
], a_ref_table: EDC_TABLE[REF_], a_name:
ABSTRACT_STRING
, a_options:
EDC_FIELD_OPTION
)
ref_table
: EDC_TABLE[REF_]
{
ANY
}
table
: EDC_TABLE[R_]
{
EDC_ANY_TABLE
}
is_pk_compatible
:
BOOLEAN
Do not redefine if you don't know what you are doing!
{
ANY
}
default
: E_
Default value of the field
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
is_null
: EDC_FIELD_CRITERION[REF_]
effective function
{
ANY
}
top
require
default = Void
ensure
Result /= Void
is_not_null
: EDC_FIELD_CRITERION[REF_]
effective function
{
ANY
}
top
require
default = Void
ensure
Result /= Void
ge
: EDC_FIELD_CRITERION[REF_]
effective function
{
ANY
}
top
ensure
Result /= Void
gt
: EDC_FIELD_CRITERION[REF_]
effective function
{
ANY
}
top
ensure
Result /= Void
le
: EDC_FIELD_CRITERION[REF_]
effective function
{
ANY
}
top
ensure
Result /= Void
lt
: EDC_FIELD_CRITERION[REF_]
effective function
{
ANY
}
top
ensure
Result /= Void
eq
: EDC_FIELD_CRITERION[REF_]
effective function
{
ANY
}
top
ensure
Result /= Void
ne
: EDC_FIELD_CRITERION[REF_]
effective function
{
ANY
}
top
ensure
Result /= Void
item
(r: R_): REF_
effective function
{
EDC_RECORD
}
top
require
added:
r.session /= Void
set
(r: R_, i: REF_)
effective procedure
{
EDC_RECORD
}
top
require
added:
r.session /= Void
ensure
i = Void implies item(r) = Void
i /= Void implies item(r).is_equal(i)
make
(a_table:
EDC_TABLE
[
EDC_RECORD
], a_ref_table: EDC_TABLE[REF_], a_name:
ABSTRACT_STRING
)
effective procedure
{}
top
with_options
(a_table:
EDC_TABLE
[
EDC_RECORD
], a_ref_table: EDC_TABLE[REF_], a_name:
ABSTRACT_STRING
, a_options:
EDC_FIELD_OPTION
)
effective procedure
{}
top
require
a_table /= Void
a_ref_table /= Void
not a_name.is_empty
ensure
table
= a_table
ref_table
= a_ref_table
name
= a_name.intern
options
= a_options
ref_table
: EDC_TABLE[REF_]
writable attribute
{}
top
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!
default
: E_
effective function
{
ANY
}
top
Default value of the field
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