Package edu.berkeley.cs.jqf.fuzz.junit

Class Junit4ResultClassifier

java.lang.Object

edu.berkeley.cs.jqf.fuzz.junit.Junit4ResultClassifier

All Implemented Interfaces:

ResultClassifier

public final class Junit4ResultClassifier
extends Object
implements ResultClassifier

Classifies trial throwables for the JUnit 4 run path.

JUnit 4 signals an unmet assumption with AssumptionViolatedException, raised by org.junit.Assume.

Constructor Summary

Constructors

Constructor	Description
Junit4ResultClassifier()

Method Summary

Modifier and Type	Method	Description
boolean	isAssumptionViolation(Throwable t)	Reports whether the throwable signals an unmet assumption.

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.berkeley.cs.jqf.fuzz.spi.ResultClassifier

isTimeout

Constructor Details

Junit4ResultClassifier

public Junit4ResultClassifier()

Method Details

isAssumptionViolation

public boolean isAssumptionViolation(Throwable t)

Description copied from interface: ResultClassifier

Reports whether the throwable signals an unmet assumption.

An unmet assumption means the generated input did not satisfy the test's preconditions, so the engine discards it as invalid rather than recording a failure.

Specified by:

isAssumptionViolation in interface ResultClassifier

Parameters:

t - a throwable raised by a trial

Returns:

true if the input should be treated as invalid