Class MmuOperation
- java.lang.Object
-
- ru.ispras.microtesk.mmu.model.spec.MmuOperation
-
public final class MmuOperation extends java.lang.Object
-
-
Constructor Summary
Constructors Constructor Description MmuOperation(java.lang.String name, MmuAddressInstance addressType, MmuBinding... assignments)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MmuAddressInstance
getAddressType()
java.util.Map<ru.ispras.fortress.expression.Node,MmuBinding>
getAssignments()
java.lang.String
getName()
java.lang.String
toString()
-
-
-
Constructor Detail
-
MmuOperation
public MmuOperation(java.lang.String name, MmuAddressInstance addressType, MmuBinding... assignments)
-
-
Method Detail
-
getName
public java.lang.String getName()
-
getAddressType
public MmuAddressInstance getAddressType()
-
getAssignments
public java.util.Map<ru.ispras.fortress.expression.Node,MmuBinding> getAssignments()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-