joeq.Compiler.Analysis.IPSSA
Class SSALocation.Unique

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.SSALocation.Unique

All Implemented Interfaces:

SSALocation

Enclosing interface:

SSALocation

public static class SSALocation.Unique
extends Object
implements SSALocation

Nested Class Summary

static class

SSALocation.Unique.FACTORY

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

SSALocation.LocalLocation, SSALocation.Temporary, SSALocation.Unique

Method Summary

String	toString()
String	toString(PA pa)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

toString

public String toString(PA pa)

Specified by:

toString in interface SSALocation

toString

public String toString()

Overrides:

toString in class Object