public final class PreparatorReference
extends java.lang.Object
PreparatorReference
class describes an invocation of a preparator
with a lazy value. Such an object is associated with a call which is created
when one preparator refers to another. The call will be replaced with a
sequence of calls when the value is known and a specific preparator is chosen.Modifier | Constructor and Description |
---|---|
protected |
PreparatorReference(PreparatorReference other) |
protected |
PreparatorReference(Primitive target,
Value value,
int valueBitSize,
java.lang.String preparatorName,
java.lang.String variantName) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getPreparatorName() |
Primitive |
getTarget() |
ru.ispras.fortress.data.types.bitvector.BitVector |
getValue() |
java.lang.String |
getVariantName() |
java.lang.String |
toString() |
protected PreparatorReference(Primitive target, Value value, int valueBitSize, java.lang.String preparatorName, java.lang.String variantName)
protected PreparatorReference(PreparatorReference other)
public Primitive getTarget()
public ru.ispras.fortress.data.types.bitvector.BitVector getValue()
public java.lang.String getPreparatorName()
public java.lang.String getVariantName()
public java.lang.String toString()
toString
in class java.lang.Object