joeq.Compiler.Analysis.IPSSA
Class SSALocation.LocalLocation

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

All Implemented Interfaces:

SSALocation

Enclosing interface:

SSALocation

public static class SSALocation.LocalLocation
extends Object
implements SSALocation

These locations represent local variables.

Nested Class Summary

static class

SSALocation.LocalLocation.FACTORY

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

SSALocation.LocalLocation, SSALocation.Temporary, SSALocation.Unique

Method Summary

String	getName(jq_Method method, Quad quad)
RegisterFactory.Register	getRegister()
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

getRegister

public RegisterFactory.Register getRegister()

toString

public String toString(PA pa)

Specified by:

toString in interface SSALocation

toString

public String toString()

Overrides:

toString in class Object

getName

public String getName(jq_Method method,
                      Quad quad)