Class MmuTransition
- java.lang.Object
-
- ru.ispras.microtesk.mmu.model.spec.MmuTransition
-
public final class MmuTransition extends java.lang.Object
MmuTransition
represents a transition, which is a link between twoMmuAction
.The description includes the source and the target actions as well as the guard condition that activates the transition.
-
-
Constructor Summary
Constructors Constructor Description MmuTransition(MmuAction source, MmuAction target)
MmuTransition(MmuAction source, MmuAction target, MmuGuard guard)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.Collection<MmuBufferAccess>
getBufferAccesses(MemoryAccessContext context)
MmuGuard
getGuard()
MmuAction
getSource()
MmuAction
getTarget()
java.lang.String
toString()
-
-
-
Method Detail
-
getSource
public MmuAction getSource()
-
getTarget
public MmuAction getTarget()
-
getGuard
public MmuGuard getGuard()
-
getBufferAccesses
public java.util.Collection<MmuBufferAccess> getBufferAccesses(MemoryAccessContext context)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-