Package de.rwth.swc.coffee4j.engine.process.report.sequential

Class LoggingSequentialExecutionReporterForGenerationJava

java.lang.Object

de.rwth.swc.coffee4j.engine.process.report.sequential.LoggingSequentialExecutionReporter

de.rwth.swc.coffee4j.engine.process.report.sequential.LoggingSequentialExecutionReporterForGeneration

de.rwth.swc.coffee4j.engine.process.report.sequential.LoggingSequentialExecutionReporterForGenerationJava

All Implemented Interfaces:

ExecutionReporter, SequentialExecutionReporter

public class LoggingSequentialExecutionReporterForGenerationJava
extends LoggingSequentialExecutionReporterForGeneration

Reporter transforming the found exception-inducing combinations into java-code that can be directly integrated into an IPM using a logger

Field Summary

Fields inherited from class de.rwth.swc.coffee4j.engine.process.report.sequential.LoggingSequentialExecutionReporterForGeneration

formatter

Fields inherited from class de.rwth.swc.coffee4j.engine.process.report.sequential.LoggingSequentialExecutionReporter

logger

Constructor Summary

Constructors

Constructor	Description
LoggingSequentialExecutionReporterForGenerationJava()	Creates a new LoggingSequentialExecutionReporter using a logger corresponding to this class

Method Summary

Methods inherited from class de.rwth.swc.coffee4j.engine.process.report.sequential.LoggingSequentialExecutionReporterForGeneration

faultCharacterizationStarted, faultCharacterizationTestInputsGenerated, printExceptionInducingCombinations, printWarning

Methods inherited from class de.rwth.swc.coffee4j.engine.process.report.sequential.LoggingSequentialExecutionReporter

faultCharacterizationFinished, report, testInputExecutionFinished, testInputExecutionStarted, testInputGroupFinished, testInputGroupGenerated

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.rwth.swc.coffee4j.engine.report.ExecutionReporter

getReportLevel, modelModified, report, testInputExecutionFinished, testInputExecutionStarted

Methods inherited from interface de.rwth.swc.coffee4j.engine.report.SequentialExecutionReporter

faultCharacterizationFinished, testInputGroupFinished, testInputGroupGenerated

Constructor Detail

LoggingSequentialExecutionReporterForGenerationJava

public LoggingSequentialExecutionReporterForGenerationJava()

Creates a new LoggingSequentialExecutionReporter using a logger corresponding to this class