joeq.Compiler.Analysis.IPSSA
Interface SSALocation

All Known Implementing Classes:

PAResults.HeapLocation, SSALocation.LocalLocation, SSALocation.Temporary, SSALocation.Unique

public interface SSALocation

Version:

$Id: SSALocation.java 1931 2004-09-22 22:17:47Z joewhaley $

Author:

V.Benjamin Livshits

See Also:

SSADefinition, SSABinding

Nested Class Summary

static class	SSALocation.LocalLocation These locations represent local variables.
static class	SSALocation.Temporary We need to have "abstract" temporary locations for IPSSA construction purposes that do not necessarily correspond to anything tangible.
static class	SSALocation.Unique

Method Summary

String

toString(PA pa)

Method Detail

toString

String toString(PA pa)