proguard.evaluation.value

Class BasicValueFactory

java.lang.Object

proguard.evaluation.value.BasicValueFactory

All Implemented Interfaces:

ValueFactory

Direct Known Subclasses:

ParticularValueFactory, PrimitiveTypedReferenceValueFactory, TypedReferenceValueFactory

public class BasicValueFactory
extends java.lang.Object
implements ValueFactory

This class provides methods to create and reuse Value instances.

Field Summary

Fields

Modifier and Type	Field and Description
static DoubleValue	DOUBLE_VALUE
static FloatValue	FLOAT_VALUE
static IntegerValue	INTEGER_VALUE
static LongValue	LONG_VALUE
static ReferenceValue	REFERENCE_VALUE
static UnknownValue	UNKNOWN_VALUE

Constructor Summary

Constructors

Constructor and Description
BasicValueFactory()

Method Summary

Modifier and Type	Method and 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, Value elementValue) 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() Creates a new DoubleValue with an undefined value.
DoubleValue	createDoubleValue(double value) Creates a new DoubleValue with a given particular value.
FloatValue	createFloatValue() Creates a new FloatValue with an undefined value.
FloatValue	createFloatValue(float value) Creates a new FloatValue with a given particular value.
IntegerValue	createIntegerValue() Creates a new IntegerValue with an undefined value.
IntegerValue	createIntegerValue(int value) Creates a new IntegerValue with a given particular value.
IntegerValue	createIntegerValue(int min, int max) Creates a new IntegerValue with a given possible range.
LongValue	createLongValue() Creates a new LongValue with an undefined 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, 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) 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, java.lang.Object value) Creates a new ReferenceValue that represents the given type.
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) Creates a new ReferenceValue that represents the given type with a specified ID.
ReferenceValue	createReferenceValueNull() Creates a new ReferenceValue that represents null.
Value	createValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull) Creates a new Value of the given type.

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

Field Detail

UNKNOWN_VALUE

public static final UnknownValue UNKNOWN_VALUE

INTEGER_VALUE

public static final IntegerValue INTEGER_VALUE

LONG_VALUE

public static final LongValue LONG_VALUE

FLOAT_VALUE

public static final FloatValue FLOAT_VALUE

DOUBLE_VALUE

public static final DoubleValue DOUBLE_VALUE

REFERENCE_VALUE

public static final ReferenceValue REFERENCE_VALUE

Constructor Detail

BasicValueFactory

public BasicValueFactory()

Method Detail

createValue

public Value createValue(java.lang.String type,
                         Clazz referencedClass,
                         boolean mayBeExtension,
                         boolean mayBeNull)

Description copied from interface: ValueFactory

Creates a new Value of the given type. The type must be a fully specified internal type for primitives, classes, or arrays.

Specified by:

createValue in interface ValueFactory

createIntegerValue

public IntegerValue createIntegerValue()

Description copied from interface: ValueFactory

Creates a new IntegerValue with an undefined value.

Specified by:

createIntegerValue in interface ValueFactory

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

createIntegerValue

public IntegerValue createIntegerValue(int min,
                                       int max)

Description copied from interface: ValueFactory

Creates a new IntegerValue with a given possible range.

Specified by:

createIntegerValue in interface ValueFactory

createLongValue

public LongValue createLongValue()

Description copied from interface: ValueFactory

Creates a new LongValue with an undefined value.

Specified by:

createLongValue in interface ValueFactory

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

createFloatValue

public FloatValue createFloatValue()

Description copied from interface: ValueFactory

Creates a new FloatValue with an undefined value.

Specified by:

createFloatValue in interface ValueFactory

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

createDoubleValue

public DoubleValue createDoubleValue()

Description copied from interface: ValueFactory

Creates a new DoubleValue with an undefined value.

Specified by:

createDoubleValue in interface ValueFactory

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

createReferenceValue

public ReferenceValue createReferenceValue()

Description copied from interface: ValueFactory

Creates a new ReferenceValue of an undefined type.

Specified by:

createReferenceValue in interface ValueFactory

createReferenceValueNull

public ReferenceValue createReferenceValueNull()

Description copied from interface: ValueFactory

Creates a new ReferenceValue that represents null.

Specified by:

createReferenceValueNull in interface ValueFactory

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

createReferenceValue

public ReferenceValue createReferenceValue(java.lang.String type,
                                           Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull,
                                           java.lang.Object 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 is the actual value of the reference during execution (can be null).

Specified by:

createReferenceValue in interface ValueFactory

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. The object is the actual value of the reference during execution (can be null).

Specified by:

createReferenceValue in interface ValueFactory

createReferenceValue

public ReferenceValue createReferenceValue(java.lang.String type,
                                           Clazz referencedClass,
                                           boolean mayBeExtension,
                                           boolean mayBeNull,
                                           Clazz creationClass,
                                           Method creationMethod,
                                           int creationOffset,
                                           java.lang.Object 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 is the actual value of the reference during execution (can be null).

Specified by:

createReferenceValue in interface ValueFactory

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

createReferenceValueForId

public ReferenceValue createReferenceValueForId(java.lang.String type,
                                                Clazz referencedClass,
                                                boolean mayBeExtension,
                                                boolean mayBeNull,
                                                java.lang.Object id,
                                                java.lang.Object 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 is the actual value of the reference during execution (can be null).

Specified by:

createReferenceValueForId in interface ValueFactory

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

createArrayReferenceValue

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

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