io.rivulet.internal.server

Class ServerTaintTrackingTestListener

java.lang.Object

io.rivulet.fuzz.maven.surefire.junitcore.BaseTaintTrackingTestListener

io.rivulet.internal.server.ServerTaintTrackingTestListener

public class ServerTaintTrackingTestListener
extends BaseTaintTrackingTestListener

Field Summary

Fields inherited from class io.rivulet.fuzz.maven.surefire.junitcore.BaseTaintTrackingTestListener

criticalReproductionDirectory, currentReportFile, generatedRerunConfigs, rerunConfigsDirectory, rerunProgress, target, violationNumber, violationReport, violationReportsDirectory

Constructor Summary

Constructors

Constructor and Description
ServerTaintTrackingTestListener(Object target, String rerunConfigsPath, String violationReportsPath, String criticalReproductionPath, RerunProgress rerunProgress)

Method Summary

Modifier and Type	Method and Description
int	testError(String className, String methodName)
int	testFailed(String className, String methodName)
void	testSetEnded(String className)
void	testSetStarted(String className)
void	testStarted(String className, String methodName)
int	testSucceeded(String className, String methodName)

Methods inherited from class io.rivulet.fuzz.maven.surefire.junitcore.BaseTaintTrackingTestListener

addTaintInfo, ensureDirectoriesInitialized, getLowestNumberedFile, reportRerunResult, setReportFileInfo, writeCriticalViolationReproductionFiles, writeRequestsAsCurlCommands, writeToAppendingObjectStream

Methods inherited from class java.lang.Object

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

Constructor Detail

ServerTaintTrackingTestListener

public ServerTaintTrackingTestListener(Object target,
                                       String rerunConfigsPath,
                                       String violationReportsPath,
                                       String criticalReproductionPath,
                                       RerunProgress rerunProgress)

Method Detail

testSetStarted

public void testSetStarted(String className)

testSetEnded

public void testSetEnded(String className)

testStarted

public void testStarted(String className,
                        String methodName)

testError

public int testError(String className,
                     String methodName)

testFailed

public int testFailed(String className,
                      String methodName)

testSucceeded

public int testSucceeded(String className,
                         String methodName)