java.lang.Object

randoop.condition.ExecutableSpecification

public class ExecutableSpecification extends Object

The executable version of an OperationSpecification. It allows the underlying Boolean expressions to be evaluated.

It is represented as three collections: a collection of ExecutableBooleanExpression for the Precondition, a collection of GuardPropertyPair for the Postcondition, and a collection of GuardThrowsPair for the ThrowsCondition in a specification.

It includes specifications inherited from supertypes.

Field Summary

Fields

Modifier and Type

Field

Description

private final List<GuardPropertyPair>

guardPropertyPairs

The GuardThrowsPair objects for the Postconditions of the operation.

private final List<GuardThrowsPair>

guardThrowsPairs

The GuardThrowsPair objects for the ThrowsConditions of the operation.

private List<ExecutableSpecification>

parentList

Mirrors the overrides/implements relation among methods.

private final List<ExecutableBooleanExpression>

preExpressions

The ExecutableBooleanExpression objects for the Preconditions of the operation.
Constructor Summary

Constructors

Constructor

Description

ExecutableSpecification()

Creates an empty ExecutableSpecification object.

ExecutableSpecification(List<ExecutableBooleanExpression> preExpressions, List<GuardPropertyPair> guardPropertyPairs, List<GuardThrowsPair> guardThrowsPairs)

Creates an ExecutableSpecification object for the lists of guard expressions for pre-specifications, GuardPropertyPair objects for post-specifications, and GuardThrowsPair objects for throws-specifications.
Method Summary

Modifier and Type

Method

Description

(package private) void

addParent(ExecutableSpecification parentExecSpec)

Add the parent ExecutableSpecification for this collection.

private ExecutableBooleanExpression

checkGuardPropertyPairs(Object[] args)

Tests the given argument values against the guards of local postconditions, which are the GuardPropertyPair objects in this ExecutableSpecification.

private List<ThrowsClause>

checkGuardThrowsPairs(Object[] args)

Evaluate the guard of each local GuardThrowsPair, and for each one satisfied, add the ThrowsClause to the set of expected exceptions.

private boolean

checkPreExpressions(Object[] args)

Tests the given argument values against the local preconditions, which are the ExecutableBooleanExpression objects in preExpressions in this ExecutableSpecification.

ExpectedOutcomeTable

checkPrestate(Object[] args)

Check all guard expressions of the method's full specification, which includes this ExecutableSpecification and those of any overridden/implemented method.

private void

checkPrestate(Object[] args, ExpectedOutcomeTable table)

Modifies the given table, adding an ExpectedOutcomeTable entry for the guard expressions of this method's local specification recording the following: Whether the preExpressions fail or are satisfied.

boolean

isEmpty()

Indicates whether the full specification is empty: this ExecutableSpecification, and any member of the parent list, has no guard expresions, no property pairs, and no throws pairs.

String

toString()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details
- preExpressions
  
  private final List<ExecutableBooleanExpression> preExpressions
  
  The ExecutableBooleanExpression objects for the Preconditions of the operation.
- guardPropertyPairs
  
  private final List<GuardPropertyPair> guardPropertyPairs
  
  The GuardThrowsPair objects for the Postconditions of the operation.
- guardThrowsPairs
  
  private final List<GuardThrowsPair> guardThrowsPairs
  
  The GuardThrowsPair objects for the ThrowsConditions of the operation.
- parentList
  
  private List<ExecutableSpecification> parentList
  
  Mirrors the overrides/implements relation among methods. If this ExecutableSpecification is the local specification for method declaration m, the parentList contains one element for each method that m overrides or implements (and has specifications).
Constructor Details
- ExecutableSpecification
  
  public ExecutableSpecification()
  
  Creates an empty ExecutableSpecification object.
- ExecutableSpecification
  
  public ExecutableSpecification(List<ExecutableBooleanExpression> preExpressions, List<GuardPropertyPair> guardPropertyPairs, List<GuardThrowsPair> guardThrowsPairs)
  
  Creates an ExecutableSpecification object for the lists of guard expressions for pre-specifications, GuardPropertyPair objects for post-specifications, and GuardThrowsPair objects for throws-specifications.
  
  Parameters:
  
  preExpressions - the operation pre-specifications
  
  guardPropertyPairs - the operation post-specifications
  
  guardThrowsPairs - the operation throws-specifications
Method Details
- checkPrestate
  
  public ExpectedOutcomeTable checkPrestate(Object[] args)
  
  Check all guard expressions of the method's full specification, which includes this ExecutableSpecification and those of any overridden/implemented method.
  Parameters:
  
  args - the argument values to test the guard expressions; always includes a receiver (null for static methods)
  
  Returns:
  
  the table with entries for this operation
  
  See Also:
  
  checkPrestate(Object[], ExpectedOutcomeTable)
- checkPrestate
  
  private void checkPrestate(Object[] args, ExpectedOutcomeTable table)
  Modifies the given table, adding an ExpectedOutcomeTable entry for the guard expressions of this method's local specification recording the following:
  
  Whether the preExpressions fail or are satisfied. See checkPreExpressions(java.lang.Object[]).
  A set of ThrowsClause objects for expected exceptions. See checkGuardThrowsPairs(java.lang.Object[]).
  The expected ExecutableBooleanExpression, if any. See checkGuardPropertyPairs(java.lang.Object[]).
  Parameters:
  
  args - the argument values; always includes a receiver (null for static methods)
  
  table - the table to which the created entry is to be added
- checkPreExpressions
  
  private boolean checkPreExpressions(Object[] args)
  
  Tests the given argument values against the local preconditions, which are the ExecutableBooleanExpression objects in preExpressions in this ExecutableSpecification.
  
  Parameters:
  
  args - the argument values
  
  Returns:
  
  false if any local precondition fails on the argument values, true if all succeed
- checkGuardThrowsPairs
  
  private List<ThrowsClause> checkGuardThrowsPairs(Object[] args)
  
  Evaluate the guard of each local GuardThrowsPair, and for each one satisfied, add the ThrowsClause to the set of expected exceptions.
  
  Parameters:
  
  args - the argument values
  
  Returns:
  
  the set of exceptions for which the guard expression evaluated to true
- checkGuardPropertyPairs
  
  private ExecutableBooleanExpression checkGuardPropertyPairs(Object[] args)
  
  Tests the given argument values against the guards of local postconditions, which are the GuardPropertyPair objects in this ExecutableSpecification. Returns the ExecutableBooleanExpression from the first pair whose guard expression evaluated to true.
  
  Parameters:
  
  args - the argument values
  
  Returns:
  
  the property for the first GuardPropertyPair for which the guard expression evaluates to true; null if there is none
- addParent
  
  void addParent(ExecutableSpecification parentExecSpec)
  
  Add the parent ExecutableSpecification for this collection.
  
  Parameters:
  
  parentExecSpec - the ExecutableSpecification to which to link
- isEmpty
  
  public boolean isEmpty()
  
  Indicates whether the full specification is empty: this ExecutableSpecification, and any member of the parent list, has no guard expresions, no property pairs, and no throws pairs.
  
  Returns:
  
  true if there are no guard expressions, or property or throws pairs in this or the parent list, false otherwise
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object

Class ExecutableSpecification

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Details

preExpressions

guardPropertyPairs

guardThrowsPairs

parentList

Constructor Details

ExecutableSpecification

ExecutableSpecification

Method Details

checkPrestate

checkPrestate

checkPreExpressions

checkGuardThrowsPairs

checkGuardPropertyPairs

addParent

isEmpty

toString