Class ConflictSetUpdater
- java.lang.Object
-
- org.eclipse.viatra.transformation.evm.api.resolver.ConflictSetUpdater
-
- All Implemented Interfaces:
IActivationNotificationListener
public class ConflictSetUpdater extends java.lang.Object implements IActivationNotificationListener
-
-
Constructor Summary
Constructors Constructor Description ConflictSetUpdater(ChangeableConflictSet changeableConflictSet)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidactivationChanged(Activation<?> activation, ActivationState oldState, EventType event)This method is called byActivationNotificationProviderto relay changes to listeners.voidactivationCreated(Activation<?> activation, ActivationState inactiveState)voidactivationRemoved(Activation<?> activation, ActivationState oldState)
-
-
-
Constructor Detail
-
ConflictSetUpdater
public ConflictSetUpdater(ChangeableConflictSet changeableConflictSet)
- Parameters:
changeableConflictSet-
-
-
Method Detail
-
activationRemoved
public void activationRemoved(Activation<?> activation, ActivationState oldState)
- Specified by:
activationRemovedin interfaceIActivationNotificationListener
-
activationCreated
public void activationCreated(Activation<?> activation, ActivationState inactiveState)
- Specified by:
activationCreatedin interfaceIActivationNotificationListener
-
activationChanged
public void activationChanged(Activation<?> activation, ActivationState oldState, EventType event)
Description copied from interface:IActivationNotificationListenerThis method is called byActivationNotificationProviderto relay changes to listeners. Implementing classes can use the old state, the event, and the new state (available from the activation).- Specified by:
activationChangedin interfaceIActivationNotificationListener
-
-