envgen.analysis.stat.locs
Class RootNewObject

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

public class RootNewObject

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) soot.jimple.Stmt	allocationSite
(package private) int	creationIndex Represents the very first base (b) of the symbolic location.
(package private) int	debug
(package private) soot.Value	enclosingLoc Enclosing object of the inner class
(package private) boolean	isInnerLoc
(package private) boolean	summaryNode

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

root, rootCastType, rootType

Constructor Summary

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

Method Summary

soot.jimple.Stmt	getAllocationSite()
java.lang.String	getCode() Generates code representation of symbolic location appropriate for code generation.
int	getCreationIndex() Returns top level location: either it's a static fields of the unit or a parameter.
boolean	getSummaryNode()
boolean	isInnerLoc()
void	setAllocationSite(soot.jimple.Stmt unit)
void	setCreationIndex(int index)
void	setIsInnerLoc(boolean inner)
void	setSummaryNode(boolean summary)
java.lang.String	toString()

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

getRoot, getRootCastType, getRootType, isGlobal, 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

creationIndex

int creationIndex

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

allocationSite

soot.jimple.Stmt allocationSite

summaryNode

boolean summaryNode

enclosingLoc

soot.Value enclosingLoc

Enclosing object of the inner class

isInnerLoc

boolean isInnerLoc

debug

int debug

Constructor Detail

RootNewObject

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

Method Detail

getCreationIndex

public int getCreationIndex()

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

setCreationIndex

public void setCreationIndex(int index)

getAllocationSite

public soot.jimple.Stmt getAllocationSite()

setAllocationSite

public void setAllocationSite(soot.jimple.Stmt unit)

getSummaryNode

public boolean getSummaryNode()

setSummaryNode

public void setSummaryNode(boolean summary)

isInnerLoc

public boolean isInnerLoc()

Overrides:

isInnerLoc in class Root

setIsInnerLoc

public void setIsInnerLoc(boolean inner)

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