Package randoop.condition

Class Summary

Class	Description
ExecutableBooleanExpression	A ExecutableBooleanExpression represents a boolean Java expression, and allows evaluation on argument values.
ExecutableSpecification	The executable version of an OperationSpecification.
ExpectedOutcomeTable	An ExpectedOutcomeTable collects all the permitted outcomes for a set of methods (where the methods are all in an overriding relationship) and a set of prestate values.
GuardPropertyPair	Represents a pair of an executable guard and an executable property.
GuardThrowsPair	Represents a pair of a an executable guard expression and an executable throws clause.
SpecificationCollection	A collection of OperationSpecification objects, indexed by AccessibleObject reflection objects.
SpecificationTranslator	Method SpecificationTranslator.createExecutableSpecification(java.lang.reflect.Executable, randoop.condition.specification.OperationSpecification, randoop.compile.SequenceCompiler) translates an OperationSpecification object (which has preconditions, postconditions, and throws conditions) to its executable version, ExecutableSpecification.
ThrowsClause	Represents an expected exception in a throws-condition.

Error Summary

Error	Description
RandoopSpecificationError	Indicates a problem creating ExecutableBooleanExpression (usually a syntax error in the condition text) or an exception thrown when evaluating it.