GuardPropertyPair (randoop 4.3.3 API)

java.lang.Object
- randoop.condition.GuardPropertyPair

```
public class GuardPropertyPair
extends Object
```
Represents a pair of an executable guard and an executable property.
Corresponds to a Postcondition.

Field Summary

Fields
Modifier and Type	Field	Description
`(package private) ExecutableBooleanExpression`	`guard`	The expression that must hold before the operation is called.
`(package private) ExecutableBooleanExpression`	`property`	The expression that must be true after the operation is called when the `guard` is true.

Constructor Summary

Constructors
Constructor	Description
`GuardPropertyPair(ExecutableBooleanExpression guard, ExecutableBooleanExpression property)`	Creates a `GuardPropertyPair` object for the guard and property expressions.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

String toString()
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - guard
```
final ExecutableBooleanExpression guard
```
    The expression that must hold before the operation is called.
  - property
```
final ExecutableBooleanExpression property
```
    The expression that must be true after the operation is called when the guard is true.
- Constructor Detail
  - GuardPropertyPair
```
GuardPropertyPair(ExecutableBooleanExpression guard,
                  ExecutableBooleanExpression property)
```
    Creates a GuardPropertyPair object for the guard and property expressions.
    
    Parameters:
    
    guard - the ExecutableBooleanExpression to be evaluated before the operation is called
    
    property - the ExecutableBooleanExpression to be evaluated after the operation is called
- Method Detail
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object