Package edu.berkeley.cs.jqf.fuzz.difffuzz

Class DiffFuzzReproGuidance

java.lang.Object

edu.berkeley.cs.jqf.fuzz.repro.ReproGuidance

edu.berkeley.cs.jqf.fuzz.difffuzz.DiffFuzzReproGuidance

All Implemented Interfaces:

DiffFuzzGuidance, Guidance

public class DiffFuzzReproGuidance
extends ReproGuidance
implements DiffFuzzGuidance

Field Summary

Fields

Modifier and Type	Field	Description
protected List<Outcome>	cmpTo
static final List<Outcome>	recentOutcomes

Constructor Summary

Constructors

Constructor	Description
DiffFuzzReproGuidance(File[] inputFile, File traceDir)
DiffFuzzReproGuidance(File[] inputFile, File traceDir, List<Outcome> cmpRes)
DiffFuzzReproGuidance(File inputFile, File traceDir)
DiffFuzzReproGuidance(File inputFile, File traceDir, List<Outcome> cmpRes)

Method Summary

Modifier and Type	Method	Description
void	acceptOutcome(Outcome out)	Accepts the outcome of one trial captured by DiffTrialExecutor.
void	setCompare(Method m)

Methods inherited from class edu.berkeley.cs.jqf.fuzz.repro.ReproGuidance

generateCallBack, getBranchesCovered, getCoverage, getInput, handleResult, hasInput, jacocoCheckpoint, observeGeneratedArgs, observeGuidance, setStopOnFailure

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.guidance.Guidance

beforeRun, generateCallBack, getInput, handleResult, hasInput, observeGeneratedArgs, observeGuidance

Field Details

cmpTo

protected List<Outcome> cmpTo

recentOutcomes

public static final List<Outcome> recentOutcomes

Constructor Details

DiffFuzzReproGuidance

public DiffFuzzReproGuidance(File[] inputFile,
 File traceDir)
                      throws IOException

Throws:

IOException

DiffFuzzReproGuidance

public DiffFuzzReproGuidance(File[] inputFile,
 File traceDir,
 List<Outcome> cmpRes)
                      throws IOException

Throws:

IOException

DiffFuzzReproGuidance

public DiffFuzzReproGuidance(File inputFile,
 File traceDir)
                      throws IOException

Throws:

IOException

DiffFuzzReproGuidance

public DiffFuzzReproGuidance(File inputFile,
 File traceDir,
 List<Outcome> cmpRes)
                      throws IOException

Throws:

IOException

Method Details

setCompare

public void setCompare(Method m)

Specified by:

setCompare in interface DiffFuzzGuidance

acceptOutcome

public void acceptOutcome(Outcome out)
                   throws Throwable

Description copied from interface: DiffFuzzGuidance

Accepts the outcome of one trial captured by DiffTrialExecutor.

The default rethrows whatever the trial threw, so an exception counts as a failure. DiffFuzzReproGuidance overrides this to compare the outcome against a reference run instead.

Specified by:

acceptOutcome in interface DiffFuzzGuidance

Parameters:

out - the captured return value or thrown error

Throws:

Throwable - to fail the trial: a rethrown error or a DiffException