Class PreparatorReference


  • public final class PreparatorReference
    extends java.lang.Object
    The 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.
    • Constructor Detail

      • PreparatorReference

        protected PreparatorReference​(Primitive target,
                                      Value value,
                                      int valueBitSize,
                                      java.lang.String preparatorName,
                                      java.lang.String variantName)
    • Method Detail

      • 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 class java.lang.Object