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
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 -
Method Summary
Modifier and TypeMethodDescriptioncreateReferenceValue(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.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.Methods inherited from class proguard.evaluation.ParticularReferenceValueFactory
createReferenceValue, createReferenceValue, createReferenceValue, createReferenceValue, createReferenceValue, createReferenceValueForId, createReferenceValueForId, createReferenceValueForIdMethods inherited from class proguard.evaluation.value.TypedReferenceValueFactory
createArrayReferenceValue, createArrayReferenceValue, createReferenceValueNullMethods inherited from class proguard.evaluation.value.BasicValueFactory
checkCreationLocation, checkReferenceValue, createDoubleValue, createDoubleValue, createFloatValue, createFloatValue, createIntegerValue, createIntegerValue, createIntegerValue, createLongValue, createLongValue, createReferenceValue, createValueMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface proguard.evaluation.value.ValueFactory
createReferenceValue, createReferenceValue, createReferenceValue
-
Constructor Details
-
JvmCfaReferenceValueFactory
-
-
Method Details
-
createReferenceValue
public ReferenceValue createReferenceValue(String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, CodeLocation creationLocation) Description copied from interface:ValueFactoryCreates 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 isnull, the ReferenceValue representsnull.- Specified by:
createReferenceValuein interfaceValueFactory- Overrides:
createReferenceValuein classParticularReferenceValueFactory
-
createReferenceValue
public ReferenceValue createReferenceValue(Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, CodeLocation creationLocation, @NotNull @NotNull AnalyzedObject value) Description copied from interface:ValueFactoryCreates 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 isnull, the ReferenceValue representsnull.The object wrapped by
AnalyzedObjectis either the value of the reference during execution or aModelof it.- Specified by:
createReferenceValuein interfaceValueFactory- Overrides:
createReferenceValuein classParticularReferenceValueFactory
-