Package randoop.condition.specification

Class Summary

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.