randoop.condition

Class GuardPropertyPair

java.lang.Object

randoop.condition.GuardPropertyPair

public class GuardPropertyPair
extends java.lang.Object

Represents a pair of an executable guard and an executable property.

Corresponds to a Postcondition.

Field Summary

Fields

Modifier and Type	Field and 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 and Description
GuardPropertyPair(ExecutableBooleanExpression guard, ExecutableBooleanExpression property) Creates a GuardPropertyPair object for the guard and property expressions.

Method Summary

Modifier and Type	Method and Description
java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object