randoop.test.InvalidExceptionCheck

public class InvalidExceptionCheck extends ExceptionCheck

An InvalidExceptionCheck represents the occurrence of an exception tagged as an invalid behavior during Check generation.

Field Summary

Fields inherited from class randoop.test.ExceptionCheck
exception, statementIndex
Constructor Summary

Constructors

Constructor

Description

InvalidExceptionCheck(Throwable exception, int statementIndex, String catchClassName)
Method Summary

Modifier and Type

Method

Description

protected void

appendCatchBehavior(StringBuilder b)

Appends code for catch block behavior corresponding to expected exception.

protected void

appendTryBehavior(StringBuilder b)

Appends code to follow the statement throwing expected exception in try block.

Methods inherited from class randoop.test.ExceptionCheck
equals, getException, getExceptionName, hashCode, toCodeStringPostStatement, toCodeStringPreStatement, toString

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- InvalidExceptionCheck
  
  public InvalidExceptionCheck(Throwable exception, int statementIndex, String catchClassName)
Method Details
- appendCatchBehavior
  
  protected void appendCatchBehavior(StringBuilder b)
  
  Description copied from class: ExceptionCheck
  
  Appends code for catch block behavior corresponding to expected exception.
  
  Specified by:
  
  appendCatchBehavior in class ExceptionCheck
  
  Parameters:
  
  b - the string builder to which code text is to be added
- appendTryBehavior
  
  protected void appendTryBehavior(StringBuilder b)
  
  Description copied from class: ExceptionCheck
  
  Appends code to follow the statement throwing expected exception in try block.
  
  Specified by:
  
  appendTryBehavior in class ExceptionCheck
  
  Parameters:
  
  b - the string builder to which code text is added

Class InvalidExceptionCheck

Field Summary