| Class | Description |
|---|---|
| AbstractBooleanExpression |
Abstract class representing boolean expressions that occur in
SpecificationClause
objects. |
| Guard |
The representation of a boolean expression over the values of parameters and receiver object of
an operation (i.e., a method or constructor).
|
| Identifiers |
Contains the identifiers used in the guards and properties of the specifications in a
OperationSpecification. |
| OperationSignature |
Represents the signature of a method or constructor for an
OperationSpecification so that
the java.lang.reflect.AccessibleObject can be loaded, which is done by
SpecificationCollection.getAccessibleObject. |
| OperationSpecification |
A specification of a constructor or method, aka, an operation.
|
| Postcondition |
A
Postcondition is a specification clause of a contract on the outcome of the invocation
of an operation. |
| Precondition |
A
SpecificationClause for pre-conditions on the parameters and receiver of an operation. |
| Property |
The representation of a boolean expression over the values of parameters, receiver object, and
return value of a method.
|
| SpecificationClause |
Abstract class for representations of conditions that can be attached to methods and
constructors.
|
| ThrowsCondition |
A specification clause that an exception should be thrown.
|