Class FuzzReporter

java.lang.Object

org.ek9lang.compiler.fuzz.FuzzReporter

public final class FuzzReporter
extends Object

Handles periodic status output and final report formatting for the fuzz generator. Also saves crash files for reproducibility.

Constructor Summary

Constructors

Constructor	Description
FuzzReporter()

Method Summary

Modifier and Type	Method	Description
void	printFinalReport(FuzzReport report)	Print the comprehensive final report.
void	printStatusLine(FuzzReport report)	Print a one-line status update to stdout.
void	printTerseSummary(FuzzReport report)	Print a single terse summary line for CI pass/fail gating.
void	saveCrashFile(Path crashDir, String source, Throwable exception, String prefix)	Save a crash-triggering source file and its stack trace for reproduction.

Methods inherited from class Object

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

Constructor Details

FuzzReporter

public FuzzReporter()

Method Details

printTerseSummary

public void printTerseSummary(FuzzReport report)

Print a single terse summary line for CI pass/fail gating.

printStatusLine

public void printStatusLine(FuzzReport report)

Print a one-line status update to stdout.

printFinalReport

public void printFinalReport(FuzzReport report)

Print the comprehensive final report.

saveCrashFile

public void saveCrashFile(Path crashDir,
 String source,
 Throwable exception,
 String prefix)

Save a crash-triggering source file and its stack trace for reproduction.