Package proguard.evaluation.value

Class ParticularValueFactory

java.lang.Object

proguard.evaluation.value.BasicValueFactory

proguard.evaluation.value.ParticularValueFactory

All Implemented Interfaces:

ValueFactory

Direct Known Subclasses:

BasicRangeValueFactory, IdentifiedValueFactory

public class ParticularValueFactory
extends BasicValueFactory
implements ValueFactory

This class provides methods to create and reuse Value instances that have particular values, whenever they are known.

Field Summary

Fields

Modifier and Type	Field	Description
protected ValueFactory	referenceValueFactory

Fields inherited from class proguard.evaluation.value.BasicValueFactory

DOUBLE_VALUE, FLOAT_VALUE, INTEGER_VALUE, LONG_VALUE, REFERENCE_VALUE, UNKNOWN_VALUE

Constructor Summary

Constructors

Constructor	Description
ParticularValueFactory()	Creates a new ParticularValueFactory which does not keep track of particular references.
ParticularValueFactory(ValueFactory referenceValueFactory)	Creates a new ParticularValueFactory, which uses the given valuefactory for both array and non-array reference construction.
ParticularValueFactory(ValueFactory arrayReferenceValueFactory, ValueFactory referenceValueFactory)	Creates a new ParticularValueFactory.

Method Summary

Modifier and Type	Method	Description
ReferenceValue	createArrayReferenceValue(java.lang.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.
ReferenceValue	createArrayReferenceValue(java.lang.String type, Clazz referencedClass, IntegerValue arrayLength, java.lang.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.
DoubleValue	createDoubleValue(double value)	Creates a new DoubleValue with a given particular value.
FloatValue	createFloatValue(float value)	Creates a new FloatValue with a given particular value.
IntegerValue	createIntegerValue(int value)	Creates a new IntegerValue with a given particular value.
LongValue	createLongValue(long value)	Creates a new LongValue with a given particular value.
ReferenceValue	createReferenceValue()	Creates a new ReferenceValue of an undefined type.
ReferenceValue	createReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull)	Creates a new ReferenceValue that represents the given type.
ReferenceValue	createReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, java.lang.Object value)	Deprecated.
ReferenceValue	createReferenceValue(java.lang.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.
ReferenceValue	createReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, Clazz creationClass, Method creationMethod, int creationOffset)	Deprecated.
ReferenceValue	createReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, Clazz creationClass, Method creationMethod, int creationOffset, java.lang.Object value)	Deprecated.
ReferenceValue	createReferenceValue(Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, @NotNull AnalyzedObject value)	Creates a new ReferenceValue that represents the given type.
ReferenceValue	createReferenceValue(Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, CodeLocation creationLocation, @NotNull AnalyzedObject value)	Creates a new ReferenceValue that represents the given type, created at the specified code location.
ReferenceValue	createReferenceValueForId(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, java.lang.Object id)	Creates a new ReferenceValue that represents the given type with a specified ID.
ReferenceValue	createReferenceValueForId(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, java.lang.Object id, java.lang.Object value)	Deprecated.
ReferenceValue	createReferenceValueForId(Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, java.lang.Object id, @NotNull AnalyzedObject value)	Creates a new ReferenceValue that represents the given type with a specified ID.
ReferenceValue	createReferenceValueNull()	Creates a new ReferenceValue that represents null.

Methods inherited from class proguard.evaluation.value.BasicValueFactory

checkCreationLocation, checkReferenceValue, createDoubleValue, createFloatValue, createIntegerValue, createIntegerValue, createLongValue, createValue

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface proguard.evaluation.value.ValueFactory

createDoubleValue, createFloatValue, createIntegerValue, createIntegerValue, createLongValue, createReferenceValue, createReferenceValue, createReferenceValue, createValue

Field Detail

referenceValueFactory

protected final ValueFactory referenceValueFactory

Constructor Detail

ParticularValueFactory

public ParticularValueFactory()

Creates a new ParticularValueFactory which does not keep track of particular references.

ParticularValueFactory

public ParticularValueFactory(ValueFactory referenceValueFactory)

Creates a new ParticularValueFactory, which uses the given valuefactory for both array and non-array reference construction.

ParticularValueFactory

public ParticularValueFactory(ValueFactory arrayReferenceValueFactory,
                              ValueFactory referenceValueFactory)

Creates a new ParticularValueFactory.

Parameters:

arrayReferenceValueFactory - the valuefactory to delegate new array references to.

referenceValueFactory - the valuefactory to delegate new references to.

Method Detail

createIntegerValue

public IntegerValue createIntegerValue(int value)

Description copied from interface: ValueFactory

Creates a new IntegerValue with a given particular value.

Specified by:

createIntegerValue in interface ValueFactory

Overrides:

createIntegerValue in class BasicValueFactory

createLongValue

public LongValue createLongValue(long value)

Description copied from interface: ValueFactory

Creates a new LongValue with a given particular value.

Specified by:

createLongValue in interface ValueFactory

Overrides:

createLongValue in class BasicValueFactory

createFloatValue

public FloatValue createFloatValue(float value)

Description copied from interface: ValueFactory

Creates a new FloatValue with a given particular value.

Specified by:

createFloatValue in interface ValueFactory

Overrides:

createFloatValue in class BasicValueFactory

createDoubleValue

public DoubleValue createDoubleValue(double value)

Description copied from interface: ValueFactory

Creates a new DoubleValue with a given particular value.

Specified by:

createDoubleValue in interface ValueFactory

Overrides:

createDoubleValue in class BasicValueFactory

createReferenceValue

public ReferenceValue createReferenceValue()

Description copied from interface: ValueFactory

Creates a new ReferenceValue of an undefined type.

Specified by:

createReferenceValue in interface ValueFactory

Overrides:

createReferenceValue in class BasicValueFactory

createReferenceValueNull

public ReferenceValue createReferenceValueNull()

Description copied from interface: ValueFactory

Creates a new ReferenceValue that represents null.

Specified by:

createReferenceValueNull in interface ValueFactory

Overrides:

createReferenceValueNull in class BasicValueFactory

createReferenceValue

public ReferenceValue createReferenceValue(java.lang.String type,
                                           Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull)

Description copied from interface: ValueFactory

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.

Specified by:

createReferenceValue in interface ValueFactory

Overrides:

createReferenceValue in class BasicValueFactory

createReferenceValue

@Deprecated
public ReferenceValue createReferenceValue(java.lang.String type,
                                           Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull,
                                           java.lang.Object value)

Deprecated.

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

Specified by:

createReferenceValue in interface ValueFactory

Overrides:

createReferenceValue in class BasicValueFactory

createReferenceValue

public ReferenceValue createReferenceValue(Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull,
                                           @NotNull
                                           @NotNull AnalyzedObject value)

Description copied from interface: ValueFactory

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.

Specified by:

createReferenceValue in interface ValueFactory

Overrides:

createReferenceValue in class BasicValueFactory

createReferenceValue

@Deprecated
public ReferenceValue createReferenceValue(java.lang.String type,
                                           Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull,
                                           Clazz creationClass,
                                           Method creationMethod,
                                           int creationOffset)

Deprecated.

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

Specified by:

createReferenceValue in interface ValueFactory

Overrides:

createReferenceValue in class BasicValueFactory

createReferenceValue

public ReferenceValue createReferenceValue(java.lang.String type,
                                           Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull,
                                           CodeLocation creationLocation)

Description copied from interface: ValueFactory

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.

Specified by:

createReferenceValue in interface ValueFactory

Overrides:

createReferenceValue in class BasicValueFactory

createReferenceValue

@Deprecated
public ReferenceValue createReferenceValue(java.lang.String type,
                                           Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull,
                                           Clazz creationClass,
                                           Method creationMethod,
                                           int creationOffset,
                                           java.lang.Object value)

Deprecated.

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

Specified by:

createReferenceValue in interface ValueFactory

Overrides:

createReferenceValue in class BasicValueFactory

createReferenceValue

public ReferenceValue createReferenceValue(Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull,
                                           CodeLocation creationLocation,
                                           @NotNull
                                           @NotNull AnalyzedObject value)

Description copied from interface: ValueFactory

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.

Specified by:

createReferenceValue in interface ValueFactory

Overrides:

createReferenceValue in class BasicValueFactory

createReferenceValueForId

@Deprecated
public ReferenceValue createReferenceValueForId(java.lang.String type,
                                                Clazz referencedClass,
                                                boolean mayBeExtension,
                                                boolean mayBeNull,
                                                java.lang.Object id,
                                                java.lang.Object value)

Deprecated.

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

Specified by:

createReferenceValueForId in interface ValueFactory

Overrides:

createReferenceValueForId in class BasicValueFactory

createReferenceValueForId

public ReferenceValue createReferenceValueForId(Clazz referencedClass,
                                                boolean mayBeExtension,
                                                boolean mayBeNull,
                                                java.lang.Object id,
                                                @NotNull
                                                @NotNull AnalyzedObject value)

Description copied from interface: ValueFactory

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.

Specified by:

createReferenceValueForId in interface ValueFactory

Overrides:

createReferenceValueForId in class BasicValueFactory

createReferenceValueForId

public ReferenceValue createReferenceValueForId(java.lang.String type,
                                                Clazz referencedClass,
                                                boolean mayBeExtension,
                                                boolean mayBeNull,
                                                java.lang.Object id)

Description copied from interface: ValueFactory

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.

Specified by:

createReferenceValueForId in interface ValueFactory

Overrides:

createReferenceValueForId in class BasicValueFactory

createArrayReferenceValue

public ReferenceValue createArrayReferenceValue(java.lang.String type,
                                                Clazz referencedClass,
                                                IntegerValue arrayLength)

Description copied from interface: ValueFactory

Creates a new ReferenceValue that represents a non-null array with elements of the given type, with the given length.

Specified by:

createArrayReferenceValue in interface ValueFactory

Overrides:

createArrayReferenceValue in class BasicValueFactory

createArrayReferenceValue

public ReferenceValue createArrayReferenceValue(java.lang.String type,
                                                Clazz referencedClass,
                                                IntegerValue arrayLength,
                                                java.lang.Object elementValues)

Description copied from interface: ValueFactory

Creates a new ReferenceValue that represents a non-null array with elements of the given type, with the given length and initial element values.

Specified by:

createArrayReferenceValue in interface ValueFactory

Overrides:

createArrayReferenceValue in class BasicValueFactory