public final class MmuGuard
extends java.lang.Object
MmuGuard
represents a guard, i.e. a transition activation condition.Constructor and Description |
---|
MmuGuard(java.util.Collection<java.lang.String> regions,
java.util.Collection<MmuSegment> segments) |
MmuGuard(MemoryOperation operation) |
MmuGuard(MemoryOperation operation,
MmuBufferAccess bufferAccess,
BufferAccessEvent event,
MmuCondition condition,
java.util.Collection<java.lang.String> regions,
java.util.Collection<MmuSegment> segments) |
MmuGuard(MemoryOperation operation,
MmuCondition condition) |
MmuGuard(MmuBufferAccess bufferAccess,
BufferAccessEvent event) |
MmuGuard(MmuBufferAccess bufferAccess,
BufferAccessEvent event,
MmuCondition condition) |
MmuGuard(MmuCondition condition) |
MmuGuard(MmuConditionAtom condition) |
Modifier and Type | Method and Description |
---|---|
MmuBufferAccess |
getBufferAccess() |
MmuCondition |
getCondition() |
BufferAccessEvent |
getEvent() |
MemoryOperation |
getOperation() |
java.util.Collection<java.lang.String> |
getRegions() |
java.util.Collection<MmuSegment> |
getSegments() |
java.lang.String |
toString() |
public MmuGuard(MemoryOperation operation, MmuBufferAccess bufferAccess, BufferAccessEvent event, MmuCondition condition, java.util.Collection<java.lang.String> regions, java.util.Collection<MmuSegment> segments)
public MmuGuard(MmuBufferAccess bufferAccess, BufferAccessEvent event, MmuCondition condition)
public MmuGuard(MmuBufferAccess bufferAccess, BufferAccessEvent event)
public MmuGuard(MmuCondition condition)
public MmuGuard(MmuConditionAtom condition)
public MmuGuard(MemoryOperation operation, MmuCondition condition)
public MmuGuard(MemoryOperation operation)
public MmuGuard(java.util.Collection<java.lang.String> regions, java.util.Collection<MmuSegment> segments)
public MmuBufferAccess getBufferAccess()
public MemoryOperation getOperation()
public BufferAccessEvent getEvent()
public MmuCondition getCondition()
public java.util.Collection<java.lang.String> getRegions()
public java.util.Collection<MmuSegment> getSegments()
public java.lang.String toString()
toString
in class java.lang.Object