Class DefaultGeneratingInterleavingPhaseManager
- java.lang.Object
-
- de.rwth.swc.coffee4j.engine.process.interleaving.AbstractInterleavingPhaseManager
-
- de.rwth.swc.coffee4j.engine.process.interleaving.DefaultGeneratingInterleavingPhaseManager
-
- All Implemented Interfaces:
PhaseManager
public class DefaultGeneratingInterleavingPhaseManager extends AbstractInterleavingPhaseManager
Default implementation managing the generation of error-constraints by extendingAbstractInterleavingPhaseManager
.
-
-
Field Summary
-
Fields inherited from class de.rwth.swc.coffee4j.engine.process.interleaving.AbstractInterleavingPhaseManager
cache, checkingPhase, configuration, executionContext, executionPhase, extensionExecutor, generationContext, generationPhase, identificationPhase
-
-
Constructor Summary
Constructors Constructor Description DefaultGeneratingInterleavingPhaseManager(InterleavingPhaseManagerConfiguration configuration)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
createPhases()
protected void
executeClassificationPhase(Map<Combination,TestResult> errorConstraintExceptionCausingTestInputs)
Template method implemented by error-constraint generating managers.-
Methods inherited from class de.rwth.swc.coffee4j.engine.process.interleaving.AbstractInterleavingPhaseManager
run, runTestInput
-
-
-
-
Constructor Detail
-
DefaultGeneratingInterleavingPhaseManager
public DefaultGeneratingInterleavingPhaseManager(InterleavingPhaseManagerConfiguration configuration)
-
-
Method Detail
-
createPhases
protected void createPhases()
- Overrides:
createPhases
in classAbstractInterleavingPhaseManager
-
executeClassificationPhase
protected void executeClassificationPhase(Map<Combination,TestResult> errorConstraintExceptionCausingTestInputs)
Description copied from class:AbstractInterleavingPhaseManager
Template method implemented by error-constraint generating managers.- Specified by:
executeClassificationPhase
in classAbstractInterleavingPhaseManager
- Parameters:
errorConstraintExceptionCausingTestInputs
- map containing all executedCombination
s and the correspondingTestResult
s causing an exceptional-pass.
-
-