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 voidcreatePhases()protected voidexecuteClassificationPhase(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:
createPhasesin classAbstractInterleavingPhaseManager
-
executeClassificationPhase
protected void executeClassificationPhase(Map<Combination,TestResult> errorConstraintExceptionCausingTestInputs)
Description copied from class:AbstractInterleavingPhaseManagerTemplate method implemented by error-constraint generating managers.- Specified by:
executeClassificationPhasein classAbstractInterleavingPhaseManager- Parameters:
errorConstraintExceptionCausingTestInputs- map containing all executedCombinations and the correspondingTestResults causing an exceptional-pass.
-
-