EventAtom
- the type of the pattern matchpublic class Activation<EventAtom>
extends java.lang.Object
Activation
is a created for a RuleInstance
when the preconditions (LHS) are fully satisfied with
some domain model elements and the instance becomes eligible for execution.
An Activation holds a state, a pattern match, the corresponding instance 5nstance. The state of the Activation can be either Inactive, Appeared, Disappeared, Upgraded or Fired, while its actual state will be managed by the life-cycle of its instance.
Modifier | Constructor and Description |
---|---|
protected |
Activation(RuleInstance<EventAtom> instance,
EventAtom atom,
ActivationState initState) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
void |
fire(Context context)
The activation will be fired; the appropriate job of the instance will be executed based on the activation state.
|
EventAtom |
getAtom() |
RuleInstance<EventAtom> |
getInstance() |
ActivationState |
getState() |
int |
hashCode() |
boolean |
isEnabled()
An activation is enabled, if the there are jobs corresponding
to the state of the activation.
|
protected void |
setState(ActivationState state)
|
java.lang.String |
toString() |
protected Activation(RuleInstance<EventAtom> instance, EventAtom atom, ActivationState initState)
public EventAtom getAtom()
public ActivationState getState()
public boolean isEnabled()
public RuleInstance<EventAtom> getInstance()
protected void setState(ActivationState state)
RuleInstance.activationStateTransition(org.eclipse.viatra.transformation.evm.api.Activation<EventAtom>, org.eclipse.viatra.transformation.evm.api.event.EventType)
state
- public void fire(Context context)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object