Package de.rwth.swc.coffee4j.engine.report
-
Interface Summary Interface Description ConflictDetectionReporter ExecutionReporter InterleavingExecutionReporter Interface each Execution Reporter for Interleaving CT must implement.SequentialExecutionReporter TheInputParameterModel
-based equivalent to aGenerationReporter
. -
Class Summary Class Description CombinationArgumentConverter DelegatingInterleavingExecutionReporter Delegating Reporter for interleaving testing and generation.DelegatingModelBasedArgumentConverter DelegatingSequentialExecutionReporter ModelBasedArgumentConverter SomeArgumentConverter
need aModelConverter
so that they can convert internal representations to external representations.ParameterArgumentConverter TupleListArgumentConverter ValueArgumentConverter