envgen.analysis.stat.locs
Class RootParam

java.lang.Object
  |
  +--envgen.analysis.stat.locs.Root
        |
        +--envgen.analysis.stat.locs.RootParam

public class RootParam

extends Root

Implementation of a root of symbolic location that represents a memory location. There are four different symbolic locations that can be identified by the analysis: unit locations, locations reachable from the unit through a chain of references, locations in the environment, and locations that the analysis can't identify (unknown locations).

Field Summary

(package private) int	debug
(package private) int	index Represents the very first base (b) of the symbolic location.

Fields inherited from class envgen.analysis.stat.locs.Root

root, rootCastType, rootType

Constructor Summary

RootParam(soot.Value value, soot.Type type)

Method Summary

java.lang.String	getCode() Generates code representation of symbolic location appropriate for code generation.
int	getIndex() Returns top level location: either it's a static fields of the unit or a parameter.
void	setIndex(int index)
java.lang.String	toString()

Methods inherited from class envgen.analysis.stat.locs.Root

getRoot, getRootCastType, getRootType, isGlobal, isInnerLoc, isNewObject, isNull, isParam, isThis, setRoot, setRootCastType, setRootType

Methods inherited from class java.lang.Object

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

Field Detail

index

int index

Represents the very first base (b) of the symbolic location. For example the first base of an expression b.f1...fn is b.

debug

int debug

Constructor Detail

RootParam

public RootParam(soot.Value value,
                 soot.Type type)

Method Detail

getIndex

public int getIndex()

Returns top level location: either it's a static fields of the unit or a parameter.

setIndex

public void setIndex(int index)

getCode

public java.lang.String getCode()

Generates code representation of symbolic location appropriate for code generation.

Overrides:

getCode in class Root

toString

public java.lang.String toString()

Overrides:

toString in class Root