public final class MmuGuard
extends java.lang.Object
MmuGuard
represents a guard, i.e. a transition activation condition.Constructor and Description |
---|
MmuGuard(MemoryOperation operation) |
MmuGuard(MemoryOperation operation,
MmuBufferAccess bufferAccess,
ru.ispras.fortress.expression.Node condition,
MmuSegment segment,
boolean isHit) |
MmuGuard(MemoryOperation operation,
ru.ispras.fortress.expression.Node condition) |
MmuGuard(MmuBufferAccess bufferAccess) |
MmuGuard(MmuBufferAccess bufferAccess,
ru.ispras.fortress.expression.Node condition) |
MmuGuard(MmuSegment segment,
boolean hit) |
MmuGuard(ru.ispras.fortress.expression.Node condition) |
Modifier and Type | Method and 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() |
public MmuGuard(MemoryOperation operation, MmuBufferAccess bufferAccess, ru.ispras.fortress.expression.Node condition, MmuSegment segment, boolean isHit)
public MmuGuard(MmuBufferAccess bufferAccess, ru.ispras.fortress.expression.Node condition)
public MmuGuard(MmuBufferAccess bufferAccess)
public MmuGuard(ru.ispras.fortress.expression.Node condition)
public MmuGuard(MemoryOperation operation, ru.ispras.fortress.expression.Node condition)
public MmuGuard(MemoryOperation operation)
public MmuGuard(MmuSegment segment, boolean hit)
public MmuBufferAccess getBufferAccess(MemoryAccessContext context)
public ru.ispras.fortress.expression.Node getCondition(java.lang.String instanceId, MemoryAccessContext context)
public MemoryOperation getOperation()
public MmuSegment getSegment()
public boolean isHit()
public java.lang.String toString()
toString
in class java.lang.Object