Class CallbackConflictResolver
- java.lang.Object
-
- org.eclipse.viatra.transformation.evm.specific.resolver.CallbackConflictResolver
-
- All Implemented Interfaces:
ConflictResolver
public class CallbackConflictResolver extends java.lang.Object implements ConflictResolver
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
CallbackConflictResolver.ActivationChoiceStrategy
-
Constructor Summary
Constructors Constructor Description CallbackConflictResolver(CallbackConflictResolver.ActivationChoiceStrategy chooser)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description org.eclipse.viatra.transformation.evm.specific.resolver.CallbackConflictResolver.ConflictSetImpl
createConflictSet()
CallbackConflictResolver.ActivationChoiceStrategy
getChooser()
protected void
setChooser(CallbackConflictResolver.ActivationChoiceStrategy chooser)
-
-
-
Constructor Detail
-
CallbackConflictResolver
public CallbackConflictResolver(CallbackConflictResolver.ActivationChoiceStrategy chooser)
-
-
Method Detail
-
getChooser
public CallbackConflictResolver.ActivationChoiceStrategy getChooser()
-
setChooser
protected void setChooser(CallbackConflictResolver.ActivationChoiceStrategy chooser)
-
createConflictSet
public org.eclipse.viatra.transformation.evm.specific.resolver.CallbackConflictResolver.ConflictSetImpl createConflictSet()
- Specified by:
createConflictSet
in interfaceConflictResolver
-
-