proguard.evaluation

Class ParticularReferenceValueFactory

java.lang.Object

proguard.evaluation.value.BasicValueFactory

proguard.evaluation.value.TypedReferenceValueFactory

proguard.evaluation.ParticularReferenceValueFactory

All Implemented Interfaces:

ValueFactory

Direct Known Subclasses:

JvmCfaReferenceValueFactory

public class ParticularReferenceValueFactory
extends TypedReferenceValueFactory

This TypedReferenceValueFactory creates reference values that also represent their content.

Like IdentifiedValueFactory, it tracks IdentifiedReferenceValues with a unique integer ID.

Calling a `createReferenceValue` method will increment the internal referencedID counter and return an object representing that Value with that new referenceID.

Calling a `createReferenceForId` method will return an object representing that Value with the specified ID.

Field Summary

Fields inherited from class proguard.evaluation.value.BasicValueFactory

DOUBLE_VALUE, FLOAT_VALUE, INTEGER_VALUE, LONG_VALUE, REFERENCE_VALUE, UNKNOWN_VALUE

Constructor Summary

Constructors

Constructor and Description
ParticularReferenceValueFactory()

Method Summary

Modifier and Type	Method and Description
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	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, Clazz creationClass, Method creationMethod, int creationOffset) 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, java.lang.Object value) Deprecated.
ReferenceValue	createReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, 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	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.

Methods inherited from class proguard.evaluation.value.TypedReferenceValueFactory

createArrayReferenceValue, createArrayReferenceValue, createReferenceValueNull

Methods inherited from class proguard.evaluation.value.BasicValueFactory

checkCreationLocation, checkReferenceValue, createDoubleValue, createDoubleValue, createFloatValue, createFloatValue, createIntegerValue, createIntegerValue, createIntegerValue, createLongValue, createLongValue, createReferenceValue, 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

createReferenceValue, createReferenceValue, createReferenceValue

Constructor Detail

ParticularReferenceValueFactory

public ParticularReferenceValueFactory()

Method Detail

createReferenceValue

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

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

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 TypedReferenceValueFactory

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

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

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