proguard.analysis.cpa.jvm.domain.reference

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 and 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 and Description
Reference(JvmCfaNode creationTime, JvmMemoryLocation creationSite) Create a reference.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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 created

creationSite - the memory location where the reference was encountered for the first time

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object