proguard.analysis.cpa.jvm.domain.value

Class JvmCfaReferenceValueFactory

java.lang.Object

proguard.evaluation.value.BasicValueFactory

proguard.evaluation.value.TypedReferenceValueFactory

proguard.evaluation.ParticularReferenceValueFactory

proguard.analysis.cpa.jvm.domain.value.JvmCfaReferenceValueFactory

All Implemented Interfaces:

ValueFactory

public class JvmCfaReferenceValueFactory
extends ParticularReferenceValueFactory

This ParticularReferenceValueFactory creates IdentifiedReferenceValue and ParticularReferenceValues using the creation site as the unique identifier.

The identifier will be the JvmCfaNode of the specified creation site.

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
JvmCfaReferenceValueFactory(JvmCfa cfa)

Method Summary

Modifier and Type	Method and Description
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, Clazz creationClass, Method creationMethod, int creationOffset) Creates a new ReferenceValue that represents the given type, created at the specified code location.

Methods inherited from class proguard.evaluation.ParticularReferenceValueFactory

createReferenceValue, createReferenceValue, createReferenceValue, createReferenceValue, createReferenceValueForId, createReferenceValueForId, createReferenceValueForId

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

JvmCfaReferenceValueFactory

public JvmCfaReferenceValueFactory(JvmCfa cfa)

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 ParticularReferenceValueFactory

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 ParticularReferenceValueFactory