Package randoop.condition
package randoop.condition
-
ClassDescriptionA
ExecutableBooleanExpressionrepresents a boolean Java expression, and allows evaluation on argument values.The executable version of anOperationSpecification.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.Represents a pair of an executable guard and an executable property.Represents a pair of a an executable guard expression and an executable throws clause.Indicates a problem creatingExecutableBooleanExpression(usually a syntax error in the condition text) or an exception thrown when evaluating it.A collection ofOperationSpecificationobjects, indexed byAccessibleObjectreflection objects.MethodSpecificationTranslator.createExecutableSpecification(java.lang.reflect.Executable, randoop.condition.specification.OperationSpecification, randoop.compile.SequenceCompiler)translates anOperationSpecificationobject (which has preconditions, postconditions, and throws conditions) to its executable version,ExecutableSpecification.Represents an expected exception in a throws-condition.