com.ibm.wala.cast.ipa.callgraph

Class ScopeMappingInstanceKeys

java.lang.Object

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

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

public abstract class ScopeMappingInstanceKeys
extends java.lang.Object
implements com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

An InstanceKeyFactory that returns ScopeMappingInstanceKeys.ScopeMappingInstanceKeys as necessary to handle interprocedural lexical scoping (specifically, to handle closure creation when a function escapes its allocating scope)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	ScopeMappingInstanceKeys.ScopeMappingInstanceKey An InstanceKey carrying information about which CGNodes represent lexical parents of the allocating CGNode.

Field Summary

Fields

Modifier and Type	Field and Description
protected com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder	builder

Constructor Summary

Constructors

Constructor and Description
ScopeMappingInstanceKeys(com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder builder, com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory basic)

Method Summary

Modifier and Type	Method and Description
protected abstract java.util.Collection<com.ibm.wala.ipa.callgraph.CGNode>	getConstructorCallers(ScopeMappingInstanceKeys.ScopeMappingInstanceKey smik, com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String> name) get the CGNodes corresponding to the method that invoked the constructor for smik
com.ibm.wala.ipa.callgraph.propagation.InstanceKey	getInstanceKeyForAllocation(com.ibm.wala.ipa.callgraph.CGNode creatorNode, com.ibm.wala.classLoader.NewSiteReference allocationSite)
com.ibm.wala.ipa.callgraph.propagation.InstanceKey	getInstanceKeyForConstant(com.ibm.wala.types.TypeReference type, java.lang.Object S)
com.ibm.wala.ipa.callgraph.propagation.InstanceKey	getInstanceKeyForMetadataObject(java.lang.Object obj, com.ibm.wala.types.TypeReference objType)
com.ibm.wala.ipa.callgraph.propagation.InstanceKey	getInstanceKeyForMultiNewArray(com.ibm.wala.ipa.callgraph.CGNode node, com.ibm.wala.classLoader.NewSiteReference allocation, int dim)
com.ibm.wala.ipa.callgraph.propagation.InstanceKey	getInstanceKeyForPEI(com.ibm.wala.ipa.callgraph.CGNode node, com.ibm.wala.classLoader.ProgramCounter instr, com.ibm.wala.types.TypeReference type)
protected abstract boolean	needsScopeMappingKey(com.ibm.wala.ipa.callgraph.propagation.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 java.lang.Object

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

Field Detail

builder

protected final com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder builder

Constructor Detail

ScopeMappingInstanceKeys

public ScopeMappingInstanceKeys(com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder builder,
                                com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory basic)

Method Detail

needsScopeMappingKey

protected abstract boolean needsScopeMappingKey(com.ibm.wala.ipa.callgraph.propagation.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

getInstanceKeyForAllocation

public com.ibm.wala.ipa.callgraph.propagation.InstanceKey getInstanceKeyForAllocation(com.ibm.wala.ipa.callgraph.CGNode creatorNode,
                                                                                      com.ibm.wala.classLoader.NewSiteReference allocationSite)

Specified by:

getInstanceKeyForAllocation in interface com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

getConstructorCallers

protected abstract java.util.Collection<com.ibm.wala.ipa.callgraph.CGNode> getConstructorCallers(ScopeMappingInstanceKeys.ScopeMappingInstanceKey smik,
                                                                                                 com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String> name)

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

getInstanceKeyForMultiNewArray

public com.ibm.wala.ipa.callgraph.propagation.InstanceKey getInstanceKeyForMultiNewArray(com.ibm.wala.ipa.callgraph.CGNode node,
                                                                                         com.ibm.wala.classLoader.NewSiteReference allocation,
                                                                                         int dim)

Specified by:

getInstanceKeyForMultiNewArray in interface com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

getInstanceKeyForConstant

public com.ibm.wala.ipa.callgraph.propagation.InstanceKey getInstanceKeyForConstant(com.ibm.wala.types.TypeReference type,
                                                                                    java.lang.Object S)

Specified by:

getInstanceKeyForConstant in interface com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

getInstanceKeyForPEI

public com.ibm.wala.ipa.callgraph.propagation.InstanceKey getInstanceKeyForPEI(com.ibm.wala.ipa.callgraph.CGNode node,
                                                                               com.ibm.wala.classLoader.ProgramCounter instr,
                                                                               com.ibm.wala.types.TypeReference type)

Specified by:

getInstanceKeyForPEI in interface com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

getInstanceKeyForMetadataObject

public com.ibm.wala.ipa.callgraph.propagation.InstanceKey getInstanceKeyForMetadataObject(java.lang.Object obj,
                                                                                          com.ibm.wala.types.TypeReference objType)

Specified by:

getInstanceKeyForMetadataObject in interface com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory