Class AstCFAPointerKeys

java.lang.Object

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

com.ibm.wala.cast.ipa.callgraph.AstCFAPointerKeys

All Implemented Interfaces:

AstPointerKeyFactory, PointerKeyFactory

public class AstCFAPointerKeys
extends DelegatingAstPointerKeys

Constructor Summary

Constructors

Constructor	Description
AstCFAPointerKeys()

Method Summary

Methods inherited from class DelegatingAstPointerKeys

getFieldNameType, getFilteredPointerKeyForLocal, getInstanceFieldPointerKeyForConstant, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForObjectCatalog, getPointerKeyForReturnValue, getPointerKeyForStaticField, getPointerKeysForReflectedFieldRead, getPointerKeysForReflectedFieldWrite

Modifier and Type	Method	Description
protected IClass	getFieldNameType(InstanceKey F)	get type for F appropriate for use in a field name.
FilteredPointerKey	getFilteredPointerKeyForLocal(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter filter)
protected PointerKey	getInstanceFieldPointerKeyForConstant(InstanceKey I, ConstantKey<?> F)	if F is a supported constant representing a field, return the corresponding InstanceFieldKey for I.
PointerKey	getPointerKeyForArrayContents(InstanceKey I)	TODO: expand this API to differentiate between different array indices
PointerKey	getPointerKeyForExceptionalReturnValue(CGNode node)
PointerKey	getPointerKeyForInstanceField(InstanceKey I, IField f)
PointerKey	getPointerKeyForLocal(CGNode node, int valueNumber)
PointerKey	getPointerKeyForObjectCatalog(InstanceKey I)	get a pointer key for the object catalog of I.
PointerKey	getPointerKeyForReturnValue(CGNode node)
PointerKey	getPointerKeyForStaticField(IField f)
Iterator<PointerKey>	getPointerKeysForReflectedFieldRead(InstanceKey I, InstanceKey F)
Iterator<PointerKey>	getPointerKeysForReflectedFieldWrite(InstanceKey I, InstanceKey F)

Methods inherited from class Object

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

Constructor Details

AstCFAPointerKeys

public AstCFAPointerKeys()