Package proguard.evaluation.value

Interface ValueFactory

All Known Implementing Classes:
ArrayReferenceValueFactory, BasicRangeValueFactory, BasicValueFactory, DetailedArrayValueFactory, IdentifiedValueFactory, JvmCfaReferenceValueFactory, MultiTypedReferenceValueFactory, ParticularReferenceValueFactory, ParticularValueFactory, PrimitiveTypedReferenceValueFactory, RangeValueFactory, ReferenceTracingValueFactory, TypedReferenceValueFactory
public interface ValueFactory
This interface provides methods to create Value instances.

  • Method Details

    • createValue

      Value createValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull)
      Creates a new Value of the given type. The type must be a fully specified internal type for primitives, classes, or arrays.

    • createIntegerValue

      IntegerValue createIntegerValue()
      Creates a new IntegerValue with an undefined value.

    • createIntegerValue

      IntegerValue createIntegerValue(int value)
      Creates a new IntegerValue with a given particular value.

    • createIntegerValue

      IntegerValue createIntegerValue(int min, int max)
      Creates a new IntegerValue with a given possible range.

    • createLongValue

      LongValue createLongValue()
      Creates a new LongValue with an undefined value.

    • createLongValue

      LongValue createLongValue(long value)
      Creates a new LongValue with a given particular value.

    • createFloatValue

      FloatValue createFloatValue()
      Creates a new FloatValue with an undefined value.

    • createFloatValue

      FloatValue createFloatValue(float value)
      Creates a new FloatValue with a given particular value.

    • createDoubleValue

      DoubleValue createDoubleValue()
      Creates a new DoubleValue with an undefined value.

    • createDoubleValue

      DoubleValue createDoubleValue(double value)
      Creates a new DoubleValue with a given particular value.

    • createReferenceValue

      ReferenceValue createReferenceValue()
      Creates a new ReferenceValue of an undefined type.

    • createReferenceValueNull

      ReferenceValue createReferenceValueNull()
      Creates a new ReferenceValue that represents null.

    • createReferenceValue

      default ReferenceValue createReferenceValue(Clazz clazz)

    • createReferenceValue

      @Deprecated default ReferenceValue createReferenceValue(Clazz clazz, Object value)
      Deprecated.
      Deprecated, use createReferenceValue(Clazz, AnalyzedObject).

    • createReferenceValue

      default ReferenceValue createReferenceValue(Clazz clazz, @NotNull @NotNull AnalyzedObject value)

    • createReferenceValue

      ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull)
      Creates a new ReferenceValue that represents the given type. The type must be an internal class name or an array type. If the type is null, the ReferenceValue represents null.

    • createReferenceValue

      @Deprecated ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, Object value)
      Deprecated.
      Creates a new ReferenceValue that represents the given type. The type must be an internal class name or an array type. If the type is null, the ReferenceValue represents null. The object is the actual value of the reference during execution (can be null).

      Deprecated, use createReferenceValue(Clazz, boolean, boolean, AnalyzedObject).

    • createReferenceValue

      default ReferenceValue createReferenceValue(Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, @NotNull @NotNull AnalyzedObject value)
      Creates a new ReferenceValue that represents the given type. The type must be an internal class name or an array type. If the type is null, the ReferenceValue represents null.

      The object wrapped by AnalyzedObject is either the value of the reference during execution or a Model of it.

    • createReferenceValue

      @Deprecated ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, Clazz creationClass, Method creationMethod, int creationOffset)
      Deprecated.
      Creates a new ReferenceValue that represents the given type, created at the specified code location. The type must be an internal class name or an array type. If the type is null , the ReferenceValue represents null.

      Deprecated, use createReferenceValue(String, Clazz, boolean, boolean, CodeLocation)

    • createReferenceValue

      ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, CodeLocation creationLocation)
      Creates a new ReferenceValue that represents the given type, created at the specified code location. The type must be an internal class name or an array type. If the type is null , the ReferenceValue represents null.

    • createReferenceValue

      @Deprecated ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, Clazz creationClass, Method creationMethod, int creationOffset, Object value)
      Deprecated.
      Creates a new ReferenceValue that represents the given type, created at the specified code location. The type must be an internal class name or an array type. If the type is null , the ReferenceValue represents null. The object is the actual value of the reference during execution (can be null).

      Deprecated, use createReferenceValue(Clazz, boolean, boolean, CodeLocation, AnalyzedObject)

    • createReferenceValue

      default ReferenceValue createReferenceValue(Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, CodeLocation creationLocation, @NotNull @NotNull AnalyzedObject value)
      Creates a new ReferenceValue that represents the given type, created at the specified code location. The type must be an internal class name or an array type. If the type is null , the ReferenceValue represents null.

      The object wrapped by AnalyzedObject is either the value of the reference during execution or a Model of it.

    • createReferenceValueForId

      ReferenceValue createReferenceValueForId(String type, Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, Object id)
      Creates a new ReferenceValue that represents the given type with a specified ID. The type must be an internal class name or an array type. If the type is null, the ReferenceValue represents null.

    • createReferenceValueForId

      @Deprecated ReferenceValue createReferenceValueForId(String type, Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, Object id, Object value)
      Deprecated.
      Creates a new ReferenceValue that represents the given type with a specified ID. The type must be an internal class name or an array type. If the type is null, the ReferenceValue represents null. The object is the actual value of the reference during execution (can be null).

      Deprecated, use createReferenceValueForId(Clazz, boolean, boolean, Object, AnalyzedObject).

    • createReferenceValueForId

      default ReferenceValue createReferenceValueForId(Clazz referencedClass, boolean mayBeExtension, boolean maybeNull, Object id, @NotNull @NotNull AnalyzedObject value)
      Creates a new ReferenceValue that represents the given type with a specified ID. The type must be an internal class name or an array type. If the type is null, the ReferenceValue represents null.

      The object wrapped by AnalyzedObject is either the value of the reference during execution or a Model of it.

    • createArrayReferenceValue

      ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength)
      Creates a new ReferenceValue that represents a non-null array with elements of the given type, with the given length.

    • createArrayReferenceValue

      ReferenceValue createArrayReferenceValue(String type, Clazz referencedClass, IntegerValue arrayLength, Object elementValues)
      Creates a new ReferenceValue that represents a non-null array with elements of the given type, with the given length and initial element values.