Package edu.berkeley.cs.jqf.junit5

Class Junit5ResultClassifier

java.lang.Object

edu.berkeley.cs.jqf.junit5.Junit5ResultClassifier

All Implemented Interfaces:

ResultClassifier

public final class Junit5ResultClassifier
extends Object
implements ResultClassifier

Classifies trial throwables for the JUnit 5 run path.

JUnit 5 signals an unmet assumption with TestAbortedException, raised by org.junit.jupiter.api.Assumptions. No translation is needed: the engine treats it as an invalid input.

Constructor Summary

Constructors

Constructor	Description
Junit5ResultClassifier()

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

Junit5ResultClassifier

public Junit5ResultClassifier()

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