Package randoop.condition
Class GuardThrowsPair
- java.lang.Object
-
- randoop.condition.GuardThrowsPair
-
class GuardThrowsPair extends 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 Description (package private) ExecutableBooleanExpression
guard
The expression that should be true before the operation is called.(package private) ThrowsClause
throwsClause
TheThrowsClause
representing an exception that is expected to be thrown by the operation if theguard
is true.
-
Constructor Summary
Constructors Constructor Description GuardThrowsPair(ExecutableBooleanExpression guard, ThrowsClause throwsClause)
Creates aGuardThrowsPair
object for the guard expression and throws-clause.
-
-
-
Field Detail
-
guard
final ExecutableBooleanExpression guard
The expression that should be true before the operation is called.
-
throwsClause
final ThrowsClause throwsClause
TheThrowsClause
representing an exception that is expected to be thrown by the operation if theguard
is true.
-
-
Constructor Detail
-
GuardThrowsPair
GuardThrowsPair(ExecutableBooleanExpression guard, ThrowsClause throwsClause)
Creates aGuardThrowsPair
object for the guard expression and throws-clause.- Parameters:
guard
- theExecutableBooleanExpression
to be evaluated before the operation is calledthrowsClause
- theThrowsClause
to be evaluated after the operation is called
-
-