GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_FIELD_CRITERION
+
Point of view
All features
ANY
All features
deferred class EDC_FIELD_CRITERION [E_]
Summary
top
Direct parents
Inherit list:
EDC_CRITERION
Known children
Inherit list:
EDC_CRITERION_IS_NULL
,
EDC_CRITERION_WITH_VALUE
Overview
top
Features
{
ANY
}
is_set
:
BOOLEAN
value
(e: E_): EDC_FIELD_CRITERION [E_]
field
(f: EDC_FIELD[E_]): EDC_FIELD_CRITERION [E_]
argument
: EDC_FIELD_CRITERION [E_]
{
ANY
}
infix "and"
(other:
EDC_CRITERION
):
EDC_CRITERION
infix "or"
(other:
EDC_CRITERION
):
EDC_CRITERION
prefix "not"
:
EDC_CRITERION
is_set
:
BOOLEAN
deferred function
{
ANY
}
top
value
(e: E_): EDC_FIELD_CRITERION [E_]
deferred function
{
ANY
}
top
require
not
is_set
ensure
is_set
Result = Current
field
(f: EDC_FIELD[E_]): EDC_FIELD_CRITERION [E_]
deferred function
{
ANY
}
top
require
not
is_set
ensure
is_set
Result = Current
argument
: EDC_FIELD_CRITERION [E_]
deferred function
{
ANY
}
top
require
not
is_set
ensure
is_set
Result = Current
infix "and"
(other:
EDC_CRITERION
):
EDC_CRITERION
effective function
{
ANY
}
top
require
other /= Void
infix "or"
(other:
EDC_CRITERION
):
EDC_CRITERION
effective function
{
ANY
}
top
require
other /= Void
prefix "not"
:
EDC_CRITERION
effective function
{
ANY
}
top