Class ActivationLifeCycle.Transition
- java.lang.Object
-
- org.eclipse.viatra.transformation.evm.api.ActivationLifeCycle.Transition
-
- Enclosing class:
- ActivationLifeCycle
public static class ActivationLifeCycle.Transition extends java.lang.Object
- Since:
- 2.0
-
-
Constructor Summary
Constructors Constructor Description Transition(ActivationState from, EventType event, ActivationState to)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
EventType
getEvent()
ActivationState
getFrom()
ActivationState
getTo()
int
hashCode()
java.lang.String
toString()
-
-
-
Constructor Detail
-
Transition
public Transition(ActivationState from, EventType event, ActivationState to)
-
-
Method Detail
-
getFrom
public ActivationState getFrom()
-
getEvent
public EventType getEvent()
-
getTo
public ActivationState getTo()
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-