Class Reference
- java.lang.Object
-
- proguard.analysis.cpa.jvm.domain.reference.Reference
-
public class Reference extends java.lang.Object
A reference points at an object or an array at the heap. It is identified by the program point when it was created and the memory location where it appears first.
-
-
Field Summary
Fields Modifier and Type Field Description JvmMemoryLocation
creationSite
The memory location where the reference was encountered for the first time.JvmCfaNode
creationTime
The program point at which the reference was created.
-
Constructor Summary
Constructors Constructor Description Reference(JvmCfaNode creationTime, JvmMemoryLocation creationSite)
Create a reference.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(java.lang.Object obj)
int
hashCode()
java.lang.String
toString()
-
-
-
Field Detail
-
creationTime
public final JvmCfaNode creationTime
The program point at which the reference was created.
-
creationSite
public final JvmMemoryLocation creationSite
The memory location where the reference was encountered for the first time.
-
-
Constructor Detail
-
Reference
public Reference(JvmCfaNode creationTime, JvmMemoryLocation creationSite)
Create a reference.- Parameters:
creationTime
- the program point at which the reference was createdcreationSite
- the memory location where the reference was encountered for the first time
-
-