Class MmuProgram
- java.lang.Object
-
- ru.ispras.microtesk.mmu.model.spec.MmuProgram
-
public final class MmuProgram extends java.lang.Object
MmuProgram
represents a system of transitions.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
MmuProgram.Builder
-
Field Summary
Fields Modifier and Type Field Description static MmuProgram
EMPTY
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method 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()
-
-
-
Field Detail
-
EMPTY
public static final MmuProgram EMPTY
-
-
Method Detail
-
ATOMIC
public static MmuProgram ATOMIC(MmuTransition transition)
-
isAtomic
public boolean isAtomic()
-
getTransition
public MmuTransition getTransition()
-
getStatements
public java.util.List<java.util.Collection<MmuProgram>> getStatements()
-
getTransitions
public java.util.Collection<MmuTransition> getTransitions()
-
getSource
public MmuAction getSource()
-
getTarget
public MmuAction getTarget()
-
getLabel
public java.lang.Object getLabel()
-
setLabel
public void setLabel(java.lang.Object label)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-