public static class IPPointsToAnalysis.AbstractLocation extends PseudoSymbol implements Symbol
| 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.
|
getDeclaration, setName, toStringgetDeclaration, setNamepublic static IPPointsToAnalysis.AbstractLocation getLocation(Expression e)
e. It constructs a new one if there is no predefined location
associated with the given program structure e.e - the expression that is used to create a unique tag for the
abstract location to be returned.public static IPPointsToAnalysis.AbstractLocation getLocation(Expression e, Statement s)
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.e - the expression from which the abstract location is created.s - the statement to be used as a tag for the location.public java.util.List getTypeSpecifiers()
getTypeSpecifiers in interface Symbolpublic java.util.List getArraySpecifiers()
getArraySpecifiers in interface Symbolpublic java.lang.String getSymbolName()
getSymbolName in interface Symbolpublic Statement getAllocSite()
public Symbol getAllocSymbol()
public boolean equals(java.lang.Object o)
equals in class PseudoSymbolpublic int hashCode()
hashCode in class PseudoSymbolpublic Symbol getIRSymbol()
getIRSymbol in class PseudoSymbol