joeq.Compiler.Analysis.IPSSA
Class SSALocation.Temporary

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

All Implemented Interfaces:

SSALocation

Enclosing interface:

SSALocation

public static class SSALocation.Temporary
extends Object
implements SSALocation

We need to have "abstract" temporary locations for IPSSA construction purposes that do not necessarily correspond to anything tangible.

Nested Class Summary

static class

SSALocation.Temporary.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