| 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.