Interface | Description |
---|---|
IAssertion |
A
condition that asserts a condition on a single property. |
ICondition |
A condition that evaluates a set of test case properties.
|
IConditionVisitor |
Defines the Visitor pattern for
condition objects. |
IConjunct |
A
condition that defined by the conjunction (logical AND) of one or
more disjunctions . |
IDisjunct |
A
condition that defined by the disjunction (logical OR) of one or
more assertions . |
Class | Description |
---|---|
AbstractAssertion |
Base class for
assertions . |
AllOf |
A
condition that is satisfied if and only if all members of a given set
of conditions are satisfied. |
AnyOf |
A
condition that is satisfied if any member of a given set
of conditions is satisfied. |
Assert |
An
assertion that asserts the existence of a single property. |
AssertLess |
An
assertion that the number of instances of a property is less than a specified maximum. |
AssertMore |
An
assertion that the number of instances of a property exceeds a specified minimum. |
AssertNot |
An
assertion that asserts the non-existence of a single property. |
AssertNotLess |
An
assertion that the number of instances of a property is not less than a specified minimum. |
AssertNotMore |
An
assertion that the number of instances of a property does not exceed a specified maximum. |
Between |
A
condition that is satisfied if and only both its minimum and maximum
conditions are satisified. |
BoundedAssertion |
Base class for
assertions of a limit on the number of instances of a property |
Cnf |
Defines methods for handling conditions in conjunctive normal form.
|
Cnf.Converter |
Converts a
condition into conjunctive normal form. |
Conditions |
Defines methods for handling conditions.
|
ConditionSet |
Defines a set of
conditions . |
Conjunction |
A
condition in conjunctive normal form. |
ContainsAll |
A
condition that is satisfied by a PropertySet that contains
all members of a set of properties. |
ContainsAny |
A
condition that is satisfied by a PropertySet that contains
any member of a set of properties. |
Disjunction |
A
condition that defined by the disjunction (logical OR) of one or
more assertions . |
Equals |
A
condition that is satisfied if and only number of instances of a property equals a specified minimum. |
Not |
A
condition that is satisfied if and only if all members of a given set
of conditions are not satisfied. |
PropertyExpr |
Base class for
conditions that evaluate a predicate on a set of properties. |
Copyright © 2024 The Cornutum Project. All rights reserved.