Class MmuGuard
- java.lang.Object
-
- ru.ispras.microtesk.mmu.model.spec.MmuGuard
-
public final class MmuGuard extends java.lang.Object
MmuGuard
represents a guard, i.e. a transition activation condition.
-
-
Constructor Summary
Constructors Constructor Description MmuGuard(ru.ispras.fortress.expression.Node condition)
MmuGuard(MemoryOperation operation)
MmuGuard(MemoryOperation operation, ru.ispras.fortress.expression.Node condition)
MmuGuard(MemoryOperation operation, MmuBufferAccess bufferAccess, ru.ispras.fortress.expression.Node condition, MmuSegment segment, boolean isHit)
MmuGuard(MmuBufferAccess bufferAccess)
MmuGuard(MmuBufferAccess bufferAccess, ru.ispras.fortress.expression.Node condition)
MmuGuard(MmuSegment segment, boolean hit)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MmuBufferAccess
getBufferAccess(MemoryAccessContext context)
ru.ispras.fortress.expression.Node
getCondition(java.lang.String instanceId, MemoryAccessContext context)
MemoryOperation
getOperation()
MmuSegment
getSegment()
boolean
isHit()
java.lang.String
toString()
-
-
-
Constructor Detail
-
MmuGuard
public MmuGuard(MemoryOperation operation, MmuBufferAccess bufferAccess, ru.ispras.fortress.expression.Node condition, MmuSegment segment, boolean isHit)
-
MmuGuard
public MmuGuard(MmuBufferAccess bufferAccess, ru.ispras.fortress.expression.Node condition)
-
MmuGuard
public MmuGuard(MmuBufferAccess bufferAccess)
-
MmuGuard
public MmuGuard(ru.ispras.fortress.expression.Node condition)
-
MmuGuard
public MmuGuard(MemoryOperation operation, ru.ispras.fortress.expression.Node condition)
-
MmuGuard
public MmuGuard(MemoryOperation operation)
-
MmuGuard
public MmuGuard(MmuSegment segment, boolean hit)
-
-
Method Detail
-
getBufferAccess
public MmuBufferAccess getBufferAccess(MemoryAccessContext context)
-
getCondition
public ru.ispras.fortress.expression.Node getCondition(java.lang.String instanceId, MemoryAccessContext context)
-
getOperation
public MemoryOperation getOperation()
-
getSegment
public MmuSegment getSegment()
-
isHit
public boolean isHit()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-