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