Codestin Search App

java.lang.Object
- randoop.condition.ExecutableSpecification

```
public class ExecutableSpecification
extends java.lang.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 and Description
`private java.util.List<GuardPropertyPair>`	`guardPropertyPairs` The `GuardThrowsPair` objects for the `Postcondition`s of the operation.
`private java.util.List<GuardThrowsPair>`	`guardThrowsPairs` The `GuardThrowsPair` objects for the `ThrowsCondition`s of the operation.
`private java.util.List<ExecutableSpecification>`	`parentList` Mirrors the overrides/implements relation among methods.
`private java.util.List<ExecutableBooleanExpression>`	`preExpressions` The `ExecutableBooleanExpression` objects for the `Precondition`s of the operation.

Constructor Summary

Constructors
Constructor and Description
`ExecutableSpecification()` Creates an empty `ExecutableSpecification` object.
`ExecutableSpecification(java.util.List<ExecutableBooleanExpression> preExpressions, java.util.List<GuardPropertyPair> guardPropertyPairs, java.util.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

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`(package private) void`	`addParent(ExecutableSpecification parentExecSpec)` Add the parent `ExecutableSpecification` for this collection.
`private @Nullable ExecutableBooleanExpression`	`checkGuardPropertyPairs(java.lang.Object[] args)` Tests the given argument values against the guards of local postconditions, which are the `GuardPropertyPair` objects in this `ExecutableSpecification`.
`private java.util.List<ThrowsClause>`	`checkGuardThrowsPairs(java.lang.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(java.lang.Object[] args)` Tests the given argument values against the local preconditions, which are the `ExecutableBooleanExpression` objects in `preExpressions` in this `ExecutableSpecification`.
`ExpectedOutcomeTable`	`checkPrestate(java.lang.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(java.lang.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.
`static ExecutableSpecification`	`merge(ExecutableSpecification spec1, ExecutableSpecification spec2)` Merges two ExecutableSpecifications into a new one that contains the union of their components.
`java.lang.String`	`toString()`

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

- Field Detail
  - preExpressions
```
private final java.util.List<ExecutableBooleanExpression> preExpressions
```
    The ExecutableBooleanExpression objects for the Preconditions of the operation.
  - guardPropertyPairs
```
private final java.util.List<GuardPropertyPair> guardPropertyPairs
```
    The GuardThrowsPair objects for the Postconditions of the operation.
  - guardThrowsPairs
```
private final java.util.List<GuardThrowsPair> guardThrowsPairs
```
    The GuardThrowsPair objects for the ThrowsConditions of the operation.
  - parentList
```
private java.util.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 Detail
  - ExecutableSpecification
```
public ExecutableSpecification()
```
    Creates an empty ExecutableSpecification object.
  - ExecutableSpecification
```
public ExecutableSpecification(java.util.List<ExecutableBooleanExpression> preExpressions,
                               java.util.List<GuardPropertyPair> guardPropertyPairs,
                               java.util.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 Detail
  - checkPrestate
```
public ExpectedOutcomeTable checkPrestate(java.lang.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(java.lang.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:
    1. Whether the preExpressions fail or are satisfied. See checkPreExpressions(java.lang.Object[]).
    2. A set of ThrowsClause objects for expected exceptions. See checkGuardThrowsPairs(java.lang.Object[]).
    3. 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(java.lang.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 java.util.List<ThrowsClause> checkGuardThrowsPairs(java.lang.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 list of exceptions for which the guard expression evaluated to true
  - checkGuardPropertyPairs
```
private @Nullable ExecutableBooleanExpression checkGuardPropertyPairs(java.lang.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
  - merge
```
public static ExecutableSpecification merge(ExecutableSpecification spec1,
                                            ExecutableSpecification spec2)
```
    Merges two ExecutableSpecifications into a new one that contains the union of their components.
    
    Parameters:
    
    spec1 - the first ExecutableSpecification to merge
    
    spec2 - the second ExecutableSpecification to merge
    
    Returns:
    
    a new ExecutableSpecification that is the result of the merge
  - 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 java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object

Class ExecutableSpecification

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

preExpressions

guardPropertyPairs

guardThrowsPairs

parentList

Constructor Detail

ExecutableSpecification

ExecutableSpecification

Method Detail

checkPrestate

checkPrestate

checkPreExpressions

checkGuardThrowsPairs

checkGuardPropertyPairs

merge

addParent

isEmpty

toString