Class Agenda
- java.lang.Object
-
- org.eclipse.viatra.transformation.evm.api.Agenda
-
public class Agenda extends java.lang.ObjectSole purpose is the management all and ordering of enabled activations!
-
-
Constructor Summary
Constructors Constructor Description Agenda()Agenda(ConflictResolver conflictResolver)Agenda(ConflictResolver conflictResolver, IActivationNotificationListener activationListener)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description IActivationNotificationListenergetActivationListener()java.util.Map<ActivationState,java.util.Set<Activation<?>>>getActivations()java.util.Collection<Activation<?>>getActivations(ActivationState state)Returns the activations that are in the given statejava.util.Collection<Activation<?>>getAllActivations()ChangeableConflictSetgetConflictSet()protected ConflictSetUpdatergetConflictSetUpdater()protected org.apache.log4j.LoggergetLogger()voidsetActivationListener(IActivationNotificationListener activationListener)voidsetConflictResolver(ConflictResolver resolver)
-
-
-
Constructor Detail
-
Agenda
public Agenda()
-
Agenda
public Agenda(ConflictResolver conflictResolver)
-
Agenda
public Agenda(ConflictResolver conflictResolver, IActivationNotificationListener activationListener)
-
-
Method Detail
-
getActivations
public java.util.Map<ActivationState,java.util.Set<Activation<?>>> getActivations()
- Since:
- 2.0
-
getActivations
public java.util.Collection<Activation<?>> getActivations(ActivationState state)
Returns the activations that are in the given state- Parameters:
state-- Returns:
- the activations in the given state
-
getAllActivations
public java.util.Collection<Activation<?>> getAllActivations()
-
getActivationListener
public IActivationNotificationListener getActivationListener()
-
setConflictResolver
public void setConflictResolver(ConflictResolver resolver)
-
setActivationListener
public void setActivationListener(IActivationNotificationListener activationListener)
-
getConflictSet
public ChangeableConflictSet getConflictSet()
-
getLogger
protected org.apache.log4j.Logger getLogger()
-
getConflictSetUpdater
protected ConflictSetUpdater getConflictSetUpdater()
-
-