Package randoop.test

Class InvalidValueCheck

java.lang.Object
randoop.test.InvalidValueCheck
All Implemented Interfaces:
Check
public class InvalidValueCheck extends Object implements Check
Represents the occurrence of an invalid value for a ExecutableBooleanExpression of the TypedOperation in a Statement.

  • Field Details

    • 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 Details

    • 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 Details

    • toCodeStringPreStatement

      public 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 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