joeq.Compiler.Analysis.IPA
Class PAResults.HeapLocation

java.lang.Object
  joeq.Compiler.Analysis.IPA.PAResults.HeapLocation

All Implemented Interfaces:

SSALocation

Enclosing class:

PAResults

public static class PAResults.HeapLocation
extends Object
implements SSALocation

Nested Class Summary

static class

PAResults.HeapLocation.FACTORY

Nested classes/interfaces inherited from interface joeq.Compiler.Analysis.IPSSA.SSALocation

SSALocation.LocalLocation, SSALocation.Temporary, SSALocation.Unique

Method Summary

boolean	equals(Object o)
boolean	equals(PAResults.HeapLocation o)
int	hashCode()
String	toString()
String	toString(PA r)

Methods inherited from class java.lang.Object

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

Method Detail

equals

public boolean equals(PAResults.HeapLocation o)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(PA r)

Specified by:

toString in interface SSALocation