public final class MmuBinding
extends java.lang.Object
MmuBinding
describes an assignment, i.e. a pair of the kind lhs = rhs
,
where lhs
is an Node
and rhs
is an Node
.
The right-hand side of the assignment is allowed to be null
. It means that the
expression can be derived from the context.
Constructor and Description |
---|
MmuBinding(ru.ispras.fortress.expression.Node lhs) |
MmuBinding(ru.ispras.fortress.expression.Node lhs,
ru.ispras.fortress.expression.Node rhs) |
MmuBinding(ru.ispras.fortress.expression.Node lhs,
ru.ispras.fortress.data.Variable rhs) |
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.expression.Node rhs) |
MmuBinding(ru.ispras.fortress.data.Variable lhs,
ru.ispras.fortress.data.Variable rhs) |
Modifier and Type | Method and 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() |
public MmuBinding(ru.ispras.fortress.expression.Node lhs, ru.ispras.fortress.expression.Node rhs)
public MmuBinding(ru.ispras.fortress.expression.Node lhs)
public MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.expression.Node rhs)
public MmuBinding(ru.ispras.fortress.expression.Node lhs, ru.ispras.fortress.data.Variable rhs)
public MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.data.Variable rhs)
public MmuBinding(ru.ispras.fortress.data.Variable lhs, ru.ispras.fortress.data.types.bitvector.BitVector rhs)
public ru.ispras.fortress.expression.Node getLhs()
public ru.ispras.fortress.expression.Node getRhs()
public MmuBinding getInstance(java.lang.String lhsInstanceId, java.lang.String rhsInstanceId, MemoryAccessContext context)
public java.lang.String toString()
toString
in class java.lang.Object