Package com.ibm.wala.cast.java.ipa.callgraph

Class JavaScopeMappingInstanceKeys

java.lang.Object

com.ibm.wala.cast.ipa.callgraph.ScopeMappingInstanceKeys

com.ibm.wala.cast.java.ipa.callgraph.JavaScopeMappingInstanceKeys

All Implemented Interfaces:

InstanceKeyFactory

public class JavaScopeMappingInstanceKeys
extends ScopeMappingInstanceKeys

Nested Class Summary

Nested classes/interfaces inherited from class com.ibm.wala.cast.ipa.callgraph.ScopeMappingInstanceKeys

ScopeMappingInstanceKeys.ScopeMappingInstanceKey

Field Summary

Fields inherited from class com.ibm.wala.cast.ipa.callgraph.ScopeMappingInstanceKeys

builder

Constructor Summary

Constructors

Constructor	Description
JavaScopeMappingInstanceKeys(PropagationCallGraphBuilder builder, InstanceKeyFactory basic)

Method Summary

Modifier and Type	Method	Description
protected Collection<CGNode>	getConstructorCallers(ScopeMappingInstanceKeys.ScopeMappingInstanceKey smik, Pair<String,String> name)	get the CGNodes corresponding to the method that invoked the constructor for smik
protected AstMethod.LexicalParent[]	getParents(InstanceKey base)
protected boolean	isPossiblyLexicalClass(IClass cls)
protected boolean	needsScopeMappingKey(InstanceKey base)	does base require a scope mapping key? Typically, true if base is allocated in a nested lexical scope, to handle the case of base being a function that performs closure accesses

Methods inherited from class com.ibm.wala.cast.ipa.callgraph.ScopeMappingInstanceKeys

getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI

Methods inherited from class java.lang.Object

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

Constructor Details

JavaScopeMappingInstanceKeys

public JavaScopeMappingInstanceKeys(PropagationCallGraphBuilder builder,
 InstanceKeyFactory basic)

Method Details

getParents

protected AstMethod.LexicalParent[] getParents(InstanceKey base)

isPossiblyLexicalClass

protected boolean isPossiblyLexicalClass(IClass cls)

needsScopeMappingKey

protected boolean needsScopeMappingKey(InstanceKey base)

Description copied from class: ScopeMappingInstanceKeys

does base require a scope mapping key? Typically, true if base is allocated in a nested lexical scope, to handle the case of base being a function that performs closure accesses

Specified by:

needsScopeMappingKey in class ScopeMappingInstanceKeys

getConstructorCallers

protected Collection<CGNode> getConstructorCallers(ScopeMappingInstanceKeys.ScopeMappingInstanceKey smik,
 Pair<String,String> name)

Description copied from class: ScopeMappingInstanceKeys

get the CGNodes corresponding to the method that invoked the constructor for smik

Specified by:

getConstructorCallers in class ScopeMappingInstanceKeys