randoop.test

Class InvalidValueCheck

java.lang.Object

randoop.test.InvalidValueCheck

All Implemented Interfaces:

Check

public class InvalidValueCheck
extends java.lang.Object
implements Check

Represents the occurrence of an invalid value for a ExecutableBooleanExpression of the TypedOperation in a Statement.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ExecutableSequence	eseq The sequence that creates the value to be checked.
(package private) int	index The index in the sequence of the statement that creates the value.

Constructor Summary

Constructors

Constructor and Description
InvalidValueCheck(ExecutableSequence eseq, int index) Create an InvalidValueCheck.

Method Summary

Modifier and Type	Method and Description
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

eseq

ExecutableSequence eseq

The sequence that creates the value to be checked.

index

int index

The index in the sequence of the statement that creates the value.

Constructor Detail

InvalidValueCheck

public InvalidValueCheck(ExecutableSequence eseq,
                         int index)

Create an InvalidValueCheck.

Parameters:

eseq - the sequence that creates the value to be checked

index - the index in the sequence of the statement that creates the value to be checked

Method Detail

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