Class MmuAction


  • public final class MmuAction
    extends java.lang.Object
    MmuAction describes an action, i.e. a named set of assignments.
    • Constructor Detail

      • MmuAction

        public MmuAction​(java.lang.String name,
                         boolean exception)
      • MmuAction

        public MmuAction​(java.lang.String name)
      • MmuAction

        public MmuAction​(java.lang.String name,
                         MmuBinding... assignments)
    • Method Detail

      • getName

        public java.lang.String getName()
      • isException

        public boolean isException()
      • getAssignments

        public java.util.Map<ru.ispras.fortress.expression.Node,​MmuBinding> getAssignments​(java.lang.String lhsInstanceId,
                                                                                                 java.lang.String rhsInstanceId,
                                                                                                 MemoryAccessContext context)
      • addMark

        public void addMark​(java.lang.String mark)
      • getMarks

        public java.util.Set<java.lang.String> getMarks()
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

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