Class MmuGuard


  • public final class MmuGuard
    extends java.lang.Object
    MmuGuard represents a guard, i.e. a transition activation condition.
    • Constructor Detail

      • MmuGuard

        public MmuGuard​(MmuBufferAccess bufferAccess,
                        ru.ispras.fortress.expression.Node condition)
      • MmuGuard

        public MmuGuard​(ru.ispras.fortress.expression.Node condition)
      • MmuGuard

        public MmuGuard​(MemoryOperation operation,
                        ru.ispras.fortress.expression.Node condition)
      • MmuGuard

        public MmuGuard​(MmuSegment segment,
                        boolean hit)
    • Method Detail

      • getCondition

        public ru.ispras.fortress.expression.Node getCondition​(java.lang.String instanceId,
                                                               MemoryAccessContext context)
      • isHit

        public boolean isHit()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object