public final class MmuProgram
extends java.lang.Object
MmuProgram
represents a system of transitions.Modifier and Type | Class and Description |
---|---|
static class |
MmuProgram.Builder |
Modifier and Type | Field and Description |
---|---|
static MmuProgram |
EMPTY |
Modifier and Type | Method and Description |
---|---|
static MmuProgram |
ATOMIC(MmuTransition transition) |
java.lang.Object |
getLabel() |
MmuAction |
getSource() |
java.util.List<java.util.Collection<MmuProgram>> |
getStatements() |
MmuAction |
getTarget() |
MmuTransition |
getTransition() |
java.util.Collection<MmuTransition> |
getTransitions() |
boolean |
isAtomic() |
void |
setLabel(java.lang.Object label) |
java.lang.String |
toString() |
public static final MmuProgram EMPTY
public static MmuProgram ATOMIC(MmuTransition transition)
public boolean isAtomic()
public MmuTransition getTransition()
public java.util.List<java.util.Collection<MmuProgram>> getStatements()
public java.util.Collection<MmuTransition> getTransitions()
public MmuAction getSource()
public MmuAction getTarget()
public java.lang.Object getLabel()
public void setLabel(java.lang.Object label)
public java.lang.String toString()
toString
in class java.lang.Object