randoop.condition

Class GuardThrowsPair

java.lang.Object

randoop.condition.GuardThrowsPair

class GuardThrowsPair
extends java.lang.Object

Represents a pair of a an executable guard expression and an executable throws clause.

Corresponds to a ThrowsCondition.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ExecutableBooleanExpression	guard The expression that should be true before the operation is called.
(package private) ThrowsClause	throwsClause The ThrowsClause representing an exception that is expected to be thrown by the operation if the guard is true.

Constructor Summary

Constructors

Constructor and Description
GuardThrowsPair(ExecutableBooleanExpression guard, ThrowsClause throwsClause) Creates a GuardThrowsPair object for the guard expression and throws-clause.

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 should be true before the operation is called.

throwsClause

final ThrowsClause throwsClause

The ThrowsClause representing an exception that is expected to be thrown by the operation if the guard is true.

Constructor Detail

GuardThrowsPair

GuardThrowsPair(ExecutableBooleanExpression guard,
                ThrowsClause throwsClause)

Creates a GuardThrowsPair object for the guard expression and throws-clause.

Parameters:

guard - the ExecutableBooleanExpression to be evaluated before the operation is called

throwsClause - the ThrowsClause to be evaluated after the operation is called

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object