cetus.analysis

Class IPPointsToAnalysis.AbstractLocation

java.lang.Object

cetus.hir.PseudoSymbol

cetus.analysis.IPPointsToAnalysis.AbstractLocation

All Implemented Interfaces:

Symbol

Enclosing class:

IPPointsToAnalysis

public static class IPPointsToAnalysis.AbstractLocation
extends PseudoSymbol
implements Symbol

AbstractLocation represents a abstract location that is not referenced to in terms of a program variable.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o) Checks if the given object is equal to the abstract location.
Statement	getAllocSite() Returns the associated statement for the abstract location.
Symbol	getAllocSymbol() Returns the IR symbol object that is most representative for the abstract location.
java.util.List	getArraySpecifiers() Returns the list of array specifiers (always empty).
Symbol	getIRSymbol() Returns the representative symbol for the abstract location.
static IPPointsToAnalysis.AbstractLocation	getLocation(Expression e) Returns an abstract locations represented by the given expression e.
static IPPointsToAnalysis.AbstractLocation	getLocation(Expression e, Statement s) Returns an abstract locations represented by the given expression e and the statement s.
java.lang.String	getSymbolName() Returns the name of the abstract location.
java.util.List	getTypeSpecifiers() Returns the list of type specifiers.
int	hashCode() Returns the hashcode of this abstract location.

Methods inherited from class cetus.hir.PseudoSymbol

getDeclaration, setName, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface cetus.hir.Symbol

getDeclaration, setName

Method Detail

getLocation

public static IPPointsToAnalysis.AbstractLocation getLocation(Expression e)

Returns an abstract locations represented by the given expression e. It constructs a new one if there is no predefined location associated with the given program structure e.

Parameters:

e - the expression that is used to create a unique tag for the abstract location to be returned.

Returns:

the abstract location associated with the given expression.

getLocation

public static IPPointsToAnalysis.AbstractLocation getLocation(Expression e,
                                              Statement s)

Returns an abstract locations represented by the given expression e and the statement s. It performs the same operations as getLocation(Expression) does but use s as a tag for the location to be returned.

Parameters:

e - the expression from which the abstract location is created.

s - the statement to be used as a tag for the location.

Returns:

the abstract location associated with the given input.

getTypeSpecifiers

public java.util.List getTypeSpecifiers()

Returns the list of type specifiers.

Specified by:

getTypeSpecifiers in interface Symbol

Returns:

the list of pre-defined type specifiers.

getArraySpecifiers

public java.util.List getArraySpecifiers()

Returns the list of array specifiers (always empty).

Specified by:

getArraySpecifiers in interface Symbol

Returns:

the list of array specifiers.

getSymbolName

public java.lang.String getSymbolName()

Returns the name of the abstract location.

Specified by:

getSymbolName in interface Symbol

Returns:

the name string.

getAllocSite

public Statement getAllocSite()

Returns the associated statement for the abstract location.

Returns:

the statement associated with the current abstract location.

getAllocSymbol

public Symbol getAllocSymbol()

Returns the IR symbol object that is most representative for the abstract location.

Returns:

the IR symbol

equals

public boolean equals(java.lang.Object o)

Checks if the given object is equal to the abstract location.

Specified by:

equals in class PseudoSymbol

Returns:

true if their hashcodes (names) are equal and o is an abstract location.

hashCode

public int hashCode()

Returns the hashcode of this abstract location.

Specified by:

hashCode in class PseudoSymbol

getIRSymbol

public Symbol getIRSymbol()

Returns the representative symbol for the abstract location. The procedure object that contains the relevant site will be returned.

Specified by:

getIRSymbol in class PseudoSymbol