Package envgen.analysis.stat.locs

Implementation of Memory Locations.

See:
Description

Class Summary

Accessor	Representation of the field or array access expression.
ConstValue	Representation of a memory location for scalars.
NullValue	Representation of a null value.
Root	Implementation of a root of symbolic location that represents a memory location.
RootGlobal	Implementation of a root of symbolic location that represents a memory location.
RootNewObject	Implementation of a root of symbolic location that represents a memory location.
RootParam	Implementation of a root of symbolic location that represents a memory location.
RootThis	Implementation of a root of symbolic location that represents a memory location.
SymLoc	Implementation of symbolic location that represents a memory location.
SymLocPath	Implementation of symbolic location that represents a memory location.
SymLocTop	Implementation of symbolic location that represents a memory location.
SymLocValue	Representation of a value that a symbolic location can hold.
TopValue	Representation of a top value (meaning, the analysis has to assume the most general info about the value).

Package envgen.analysis.stat.locs Description

Implementation of Memory Locations.

Support classes needed to represent memory locations: heap nodes, null, and scalars.

Oksana Tkachuk

Last modified: Tue Jul 8 10:07:17 UTC 2003