Package de.rwth.swc.coffee4j.engine.conflict

Class ConflictDetectionConfiguration

java.lang.Object

de.rwth.swc.coffee4j.engine.conflict.ConflictDetectionConfiguration

public class ConflictDetectionConfiguration
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
ConflictDetectionConfiguration(boolean conflictDetectionEnabled, boolean shouldAbort, boolean conflictExplanationEnabled, java.lang.Class<? extends ConflictExplainer> conflictExplainerClass, boolean conflictDiagnosisEnabled, java.lang.Class<? extends ConflictDiagnostician> conflictDiagnosticianClass)

Method Summary

Modifier and Type	Method	Description
ConflictDiagnostician	createConflictDiagnostician()
ConflictExplainer	createConflictExplainer()
de.rwth.swc.coffee4j.engine.conflict.TestModelExpander	createTestModelExpander(TestModel testModel)
static ConflictDetectionConfiguration	disable()
boolean	equals(java.lang.Object o)
java.lang.Class<? extends ConflictDiagnostician>	getConflictDiagnosticianClass()
java.lang.Class<? extends ConflictExplainer>	getConflictExplainerClass()
int	hashCode()
boolean	isConflictDetectionEnabled()
boolean	isConflictDiagnosisEnabled()
boolean	isConflictExplanationEnabled()
boolean	shouldAbort()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ConflictDetectionConfiguration

public ConflictDetectionConfiguration(boolean conflictDetectionEnabled,
                                      boolean shouldAbort,
                                      boolean conflictExplanationEnabled,
                                      java.lang.Class<? extends ConflictExplainer> conflictExplainerClass,
                                      boolean conflictDiagnosisEnabled,
                                      java.lang.Class<? extends ConflictDiagnostician> conflictDiagnosticianClass)

Method Detail

disable

public static ConflictDetectionConfiguration disable()

isConflictDetectionEnabled

public boolean isConflictDetectionEnabled()

shouldAbort

public boolean shouldAbort()

isConflictExplanationEnabled

public boolean isConflictExplanationEnabled()

getConflictExplainerClass

public java.lang.Class<? extends ConflictExplainer> getConflictExplainerClass()

isConflictDiagnosisEnabled

public boolean isConflictDiagnosisEnabled()

getConflictDiagnosticianClass

public java.lang.Class<? extends ConflictDiagnostician> getConflictDiagnosticianClass()

createConflictExplainer

public ConflictExplainer createConflictExplainer()

createConflictDiagnostician

public ConflictDiagnostician createConflictDiagnostician()

createTestModelExpander

public de.rwth.swc.coffee4j.engine.conflict.TestModelExpander createTestModelExpander(TestModel testModel)

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object