Class PreparatorReference
- java.lang.Object
-
- ru.ispras.microtesk.test.template.PreparatorReference
-
public final class PreparatorReference extends java.lang.Object
ThePreparatorReference
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.
-
-
Constructor Summary
Constructors Modifier Constructor Description protected
PreparatorReference(PreparatorReference other)
protected
PreparatorReference(Primitive target, Value value, int valueBitSize, java.lang.String preparatorName, java.lang.String variantName)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getPreparatorName()
Primitive
getTarget()
ru.ispras.fortress.data.types.bitvector.BitVector
getValue()
java.lang.String
getVariantName()
java.lang.String
toString()
-
-
-
Constructor Detail
-
PreparatorReference
protected PreparatorReference(Primitive target, Value value, int valueBitSize, java.lang.String preparatorName, java.lang.String variantName)
-
PreparatorReference
protected PreparatorReference(PreparatorReference other)
-
-
Method Detail
-
getTarget
public Primitive getTarget()
-
getValue
public ru.ispras.fortress.data.types.bitvector.BitVector getValue()
-
getPreparatorName
public java.lang.String getPreparatorName()
-
getVariantName
public java.lang.String getVariantName()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-