Annotation Type EnableConflictDetection
-
@Documented @Target({ANNOTATION_TYPE,METHOD}) @Retention(RUNTIME) public @interface EnableConflictDetection
-
-
Optional Element Summary
Optional Elements Modifier and Type Optional Element Description Class<? extends ConflictDiagnostician>
conflictDiagnosisAlgorithm
Class<? extends ConflictExplainer>
conflictExplanationAlgorithm
boolean
diagnoseConflicts
boolean
explainConflicts
boolean
shouldAbort
Should the test process be aborted if conflicts are detected
-
-
-
-
conflictExplanationAlgorithm
Class<? extends ConflictExplainer> conflictExplanationAlgorithm
- Default:
- de.rwth.swc.coffee4j.algorithmic.conflict.explanation.QuickConflictExplainer.class
-
-
-
conflictDiagnosisAlgorithm
Class<? extends ConflictDiagnostician> conflictDiagnosisAlgorithm
- Default:
- de.rwth.swc.coffee4j.algorithmic.conflict.diagnosis.ExhaustiveConflictDiagnostician.class
-
-