randoop.test

Class MissingExceptionCheck

java.lang.Object

randoop.test.MissingExceptionCheck

All Implemented Interfaces:

Check

public class MissingExceptionCheck
extends java.lang.Object
implements Check

Represents the fact that a statement should throw an exception, but did not. It is used in an error-revealing test to indicate that normal execution of the statement violates the stated throws-condition of the method/constructor.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<java.util.List<ThrowsClause>>	expected The list of lists of throws clauses for which the guard expression was satisfied.
private int	index The index of the statement where the exception should be thrown.

Constructor Summary

Constructors

Constructor and Description
MissingExceptionCheck(java.util.List<java.util.List<ThrowsClause>> expected, int index) Creates a MissingExceptionCheck object for the expected exception type at the given statement.

Method Summary

Modifier and Type	Method and Description
boolean	equals(@Nullable java.lang.Object obj)
int	hashCode()
java.lang.String	toCodeStringPostStatement() Returns a string of Java source code to be emitted after a statement containing this check.
java.lang.String	toCodeStringPreStatement() Returns a string of Java source code to be emitted before a statement containing this check.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

expected

private final java.util.List<java.util.List<ThrowsClause>> expected

The list of lists of throws clauses for which the guard expression was satisfied. Each list of throwsclauses represents one specification, and each such list must be satisfied.

index

private final int index

The index of the statement where the exception should be thrown.

Constructor Detail

MissingExceptionCheck

MissingExceptionCheck(java.util.List<java.util.List<ThrowsClause>> expected,
                      int index)

Creates a MissingExceptionCheck object for the expected exception type at the given statement.

Parameters:

expected - the expected exceptions

index - the statement index

Method Detail

equals

public boolean equals(@Nullable java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toCodeStringPreStatement

public java.lang.String toCodeStringPreStatement()

Description copied from interface: Check

Returns a string of Java source code to be emitted before a statement containing this check.

Specified by:

toCodeStringPreStatement in interface Check

Returns:

the string to be included before the statement

toCodeStringPostStatement

public java.lang.String toCodeStringPostStatement()

Description copied from interface: Check

Returns a string of Java source code to be emitted after a statement containing this check.

Specified by:

toCodeStringPostStatement in interface Check

Returns:

the string to be included following the statement