GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EDC_NOT_CRITERION
+
Point of view
All features
ANY
All features
class EDC_NOT_CRITERION
Summary
top
Direct parents
Inherit list:
EDC_CRITERION
Class invariant
top
crit
/= Void
Overview
top
Creation features
{
EDC_CRITERION
}
make
(one:
EDC_CRITERION
)
Features
{
ANY
}
prefix "not"
:
EDC_CRITERION
{}
make
(one:
EDC_CRITERION
)
crit
:
EDC_CRITERION
{
ANY
}
infix "and"
(other:
EDC_CRITERION
):
EDC_CRITERION
infix "or"
(other:
EDC_CRITERION
):
EDC_CRITERION
prefix "not"
:
EDC_CRITERION
effective function
{
ANY
}
top
make
(one:
EDC_CRITERION
)
effective procedure
{}
top
require
one /= Void
ensure
crit
= one
crit
:
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