GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_BINARY_CRITERION
+
Point of view
All features
ANY
All features
class EDC_BINARY_CRITERION
Summary
top
Direct parents
Inherit list:
EDC_CRITERION
Known children
Inherit list:
EDC_AND_CRITERION
,
EDC_OR_CRITERION
Class invariant
top
list
.count > 1
Overview
top
Features
{}
make
(one:
EDC_CRITERION
, two:
EDC_CRITERION
)
list
:
FAST_ARRAY
[
EDC_CRITERION
]
{
ANY
}
infix "and"
(other:
EDC_CRITERION
):
EDC_CRITERION
infix "or"
(other:
EDC_CRITERION
):
EDC_CRITERION
prefix "not"
:
EDC_CRITERION
make
(one:
EDC_CRITERION
, two:
EDC_CRITERION
)
effective procedure
{}
top
require
one /= Void
two /= Void
one /= two
ensure
list
.count = 2
list
.first = one
list
.last = two
list
:
FAST_ARRAY
[
EDC_CRITERION
]
writable attribute
{}
top
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