Class MmuBinding
- java.lang.Object
-
- ru.ispras.microtesk.mmu.model.spec.MmuBinding
-
public final class MmuBinding extends java.lang.Object
MmuBinding
describes an assignment, i.e. a pair of the kindlhs = rhs
, wherelhs
is anNode
andrhs
is anNode
.The right-hand side of the assignment is allowed to be
null
. It means that the expression can be derived from the context.
-
-
Constructor Summary
Constructors Constructor Description MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.data.types.bitvector.BitVector rhs)
MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.data.Variable rhs)
MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.expression.Node rhs)
MmuBinding(ru.ispras.fortress.expression.Node lhs)
MmuBinding(ru.ispras.fortress.expression.Node lhs, ru.ispras.fortress.data.Variable rhs)
MmuBinding(ru.ispras.fortress.expression.Node lhs, ru.ispras.fortress.expression.Node rhs)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description MmuBinding
getInstance(java.lang.String lhsInstanceId, java.lang.String rhsInstanceId, MemoryAccessContext context)
ru.ispras.fortress.expression.Node
getLhs()
ru.ispras.fortress.expression.Node
getRhs()
java.lang.String
toString()
-
-
-
Constructor Detail
-
MmuBinding
public MmuBinding(ru.ispras.fortress.expression.Node lhs, ru.ispras.fortress.expression.Node rhs)
-
MmuBinding
public MmuBinding(ru.ispras.fortress.expression.Node lhs)
-
MmuBinding
public MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.expression.Node rhs)
-
MmuBinding
public MmuBinding(ru.ispras.fortress.expression.Node lhs, ru.ispras.fortress.data.Variable rhs)
-
MmuBinding
public MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.data.Variable rhs)
-
MmuBinding
public MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.data.types.bitvector.BitVector rhs)
-
-
Method Detail
-
getLhs
public ru.ispras.fortress.expression.Node getLhs()
-
getRhs
public ru.ispras.fortress.expression.Node getRhs()
-
getInstance
public MmuBinding getInstance(java.lang.String lhsInstanceId, java.lang.String rhsInstanceId, MemoryAccessContext context)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-