com.ibm.wala.cast.ipa.callgraph

Class DelegatingAstPointerKeys

java.lang.Object

com.ibm.wala.cast.ipa.callgraph.DelegatingAstPointerKeys

All Implemented Interfaces:

AstPointerKeyFactory, com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

Direct Known Subclasses:

AstCFAPointerKeys

public class DelegatingAstPointerKeys
extends java.lang.Object
implements AstPointerKeyFactory

Constructor Summary

Constructors

Constructor and Description
DelegatingAstPointerKeys(com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory base)

Method Summary

Modifier and Type	Method and Description
protected com.ibm.wala.classLoader.IClass	getFieldNameType(com.ibm.wala.ipa.callgraph.propagation.InstanceKey F) get type for F appropriate for use in a field name.
com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey	getFilteredPointerKeyForLocal(com.ibm.wala.ipa.callgraph.CGNode node, int valueNumber, com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter filter)
protected com.ibm.wala.ipa.callgraph.propagation.PointerKey	getInstanceFieldPointerKeyForConstant(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I, com.ibm.wala.ipa.callgraph.propagation.ConstantKey<?> F) if F is a supported constant representing a field, return the corresponding InstanceFieldKey for I.
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForArrayContents(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I)
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForExceptionalReturnValue(com.ibm.wala.ipa.callgraph.CGNode node)
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForInstanceField(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I, com.ibm.wala.classLoader.IField f)
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForLocal(com.ibm.wala.ipa.callgraph.CGNode node, int valueNumber)
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForObjectCatalog(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I) get a pointer key for the object catalog of I.
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForReturnValue(com.ibm.wala.ipa.callgraph.CGNode node)
com.ibm.wala.ipa.callgraph.propagation.PointerKey	getPointerKeyForStaticField(com.ibm.wala.classLoader.IField f)
java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey>	getPointerKeysForReflectedFieldRead(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I, com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)
java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey>	getPointerKeysForReflectedFieldWrite(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I, com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)

Methods inherited from class java.lang.Object

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

Constructor Detail

DelegatingAstPointerKeys

public DelegatingAstPointerKeys(com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory base)

Method Detail

getPointerKeyForLocal

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForLocal(com.ibm.wala.ipa.callgraph.CGNode node,
                                                                               int valueNumber)

Specified by:

getPointerKeyForLocal in interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getFilteredPointerKeyForLocal

public com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey getFilteredPointerKeyForLocal(com.ibm.wala.ipa.callgraph.CGNode node,
                                                                                               int valueNumber,
                                                                                               com.ibm.wala.ipa.callgraph.propagation.FilteredPointerKey.TypeFilter filter)

Specified by:

getFilteredPointerKeyForLocal in interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getPointerKeyForReturnValue

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForReturnValue(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

getPointerKeyForReturnValue in interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getPointerKeyForExceptionalReturnValue

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForExceptionalReturnValue(com.ibm.wala.ipa.callgraph.CGNode node)

Specified by:

getPointerKeyForExceptionalReturnValue in interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getPointerKeyForStaticField

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForStaticField(com.ibm.wala.classLoader.IField f)

Specified by:

getPointerKeyForStaticField in interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getPointerKeyForObjectCatalog

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForObjectCatalog(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I)

Description copied from interface: AstPointerKeyFactory

get a pointer key for the object catalog of I. The object catalog stores the names of all known properties of I.

Specified by:

getPointerKeyForObjectCatalog in interface AstPointerKeyFactory

getPointerKeyForInstanceField

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForInstanceField(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I,
                                                                                       com.ibm.wala.classLoader.IField f)

Specified by:

getPointerKeyForInstanceField in interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getPointerKeyForArrayContents

public com.ibm.wala.ipa.callgraph.propagation.PointerKey getPointerKeyForArrayContents(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I)

Specified by:

getPointerKeyForArrayContents in interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getPointerKeysForReflectedFieldWrite

public java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey> getPointerKeysForReflectedFieldWrite(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I,
                                                                                                                  com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)

Specified by:

getPointerKeysForReflectedFieldWrite in interface AstPointerKeyFactory

getFieldNameType

protected com.ibm.wala.classLoader.IClass getFieldNameType(com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)

get type for F appropriate for use in a field name.

getInstanceFieldPointerKeyForConstant

protected com.ibm.wala.ipa.callgraph.propagation.PointerKey getInstanceFieldPointerKeyForConstant(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I,
                                                                                                  com.ibm.wala.ipa.callgraph.propagation.ConstantKey<?> F)

if F is a supported constant representing a field, return the corresponding InstanceFieldKey for I. Otherwise, return null.

getPointerKeysForReflectedFieldRead

public java.util.Iterator<com.ibm.wala.ipa.callgraph.propagation.PointerKey> getPointerKeysForReflectedFieldRead(com.ibm.wala.ipa.callgraph.propagation.InstanceKey I,
                                                                                                                 com.ibm.wala.ipa.callgraph.propagation.InstanceKey F)

Specified by:

getPointerKeysForReflectedFieldRead in interface AstPointerKeyFactory