Class MmuAction
- java.lang.Object
-
- ru.ispras.microtesk.mmu.model.spec.MmuAction
-
public final class MmuAction extends java.lang.Object
MmuAction
describes an action, i.e. a named set of assignments.
-
-
Constructor Summary
Constructors Constructor Description MmuAction(java.lang.String name)
MmuAction(java.lang.String name, boolean exception)
MmuAction(java.lang.String name, MmuBinding... assignments)
MmuAction(java.lang.String name, MmuBufferAccess bufferAccess, MmuBinding... assignments)
MmuAction(java.lang.String name, MmuBufferAccess bufferAccess, MmuStruct lhs, MmuStruct rhs)
MmuAction(java.lang.String name, MmuStruct lhs, MmuStruct rhs)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
addMark(java.lang.String mark)
boolean
equals(java.lang.Object o)
java.util.Map<ru.ispras.fortress.expression.Node,MmuBinding>
getAssignments(java.lang.String lhsInstanceId, java.lang.String rhsInstanceId, MemoryAccessContext context)
MmuBufferAccess
getBufferAccess(MemoryAccessContext context)
java.util.Set<java.lang.String>
getMarks()
java.lang.String
getName()
int
hashCode()
boolean
isException()
java.lang.String
toString()
-
-
-
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, MmuBufferAccess bufferAccess, MmuBinding... assignments)
-
MmuAction
public MmuAction(java.lang.String name, MmuBinding... assignments)
-
MmuAction
public MmuAction(java.lang.String name, MmuBufferAccess bufferAccess, MmuStruct lhs, MmuStruct rhs)
-
-
Method Detail
-
getName
public java.lang.String getName()
-
isException
public boolean isException()
-
getBufferAccess
public MmuBufferAccess getBufferAccess(MemoryAccessContext context)
-
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 classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-