public final class MmuOperation
extends java.lang.Object
Constructor and Description |
---|
MmuOperation(java.lang.String name,
MmuAddressInstance addressType,
MmuBinding... assignments) |
Modifier and Type | Method and Description |
---|---|
MmuAddressInstance |
getAddressType() |
java.util.Map<ru.ispras.fortress.expression.Node,MmuBinding> |
getAssignments() |
java.lang.String |
getName() |
java.lang.String |
toString() |
public MmuOperation(java.lang.String name, MmuAddressInstance addressType, MmuBinding... assignments)
public java.lang.String getName()
public MmuAddressInstance getAddressType()
public java.util.Map<ru.ispras.fortress.expression.Node,MmuBinding> getAssignments()
public java.lang.String toString()
toString
in class java.lang.Object