public class JvmCfaReferenceValueFactory extends ParticularReferenceValueFactory
ParticularReferenceValueFactory
creates IdentifiedReferenceValue
and
ParticularReferenceValue
s using the creation site as the unique identifier.
The identifier will be the JvmCfaNode
of the specified creation site.
DOUBLE_VALUE, FLOAT_VALUE, INTEGER_VALUE, LONG_VALUE, REFERENCE_VALUE, UNKNOWN_VALUE
Constructor and Description |
---|
JvmCfaReferenceValueFactory(JvmCfa cfa) |
Modifier and Type | Method and Description |
---|---|
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.
|
createReferenceValue, createReferenceValue, createReferenceValueForId, createReferenceValueForId
createArrayReferenceValue, createArrayReferenceValue, createReferenceValueNull
createDoubleValue, createDoubleValue, createFloatValue, createFloatValue, createIntegerValue, createIntegerValue, createIntegerValue, createLongValue, createLongValue, createReferenceValue, createValue
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
createReferenceValue, createReferenceValue
public JvmCfaReferenceValueFactory(JvmCfa cfa)
public ReferenceValue createReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, Clazz creationClass, Method creationMethod, int creationOffset)
ValueFactory
null
, the ReferenceValue represents null
.
The object is the actual value of the reference during execution (can be null).createReferenceValue
in interface ValueFactory
createReferenceValue
in class ParticularReferenceValueFactory
public ReferenceValue createReferenceValue(java.lang.String type, Clazz referencedClass, boolean mayBeExtension, boolean mayBeNull, Clazz creationClass, Method creationMethod, int creationOffset, java.lang.Object value)
ValueFactory
null
, the ReferenceValue represents null
.
The object is the actual value of the reference during execution (can be null).createReferenceValue
in interface ValueFactory
createReferenceValue
in class ParticularReferenceValueFactory