com.ibm.wala.cast.ipa.callgraph

Class ScopeMappingInstanceKeys.ScopeMappingInstanceKey

java.lang.Object

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

All Implemented Interfaces:

com.ibm.wala.ipa.callgraph.ContextItem, com.ibm.wala.ipa.callgraph.propagation.InstanceKey

Enclosing class:

ScopeMappingInstanceKeys

public class ScopeMappingInstanceKeys.ScopeMappingInstanceKey
extends java.lang.Object
implements com.ibm.wala.ipa.callgraph.propagation.InstanceKey

An InstanceKey carrying information about which CGNodes represent lexical parents of the allocating CGNode.

The fact that we discover at most one CGNode per lexical parent relies on the following property: in a call graph, the contexts used for a nested function can be finer than those used for the containing function, but _not_ coarser. This ensures that there is at most one CGNode corresponding to a lexical parent (e.g., we don't get two clones of function f1() invoking a single CGNode representing nested function f2())

Note that it is possible to not find a CGNode corresponding to some lexical parent; this occurs when a deeply nested function is returned before being invoked, so some lexical parent is no longer on the call stack when the function is allocated. See test case nested.js.

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

com.ibm.wala.ipa.callgraph.ContextItem.Value<T>

Constructor Summary

Constructors

Constructor and Description
ScopeMappingInstanceKey(com.ibm.wala.ipa.callgraph.CGNode creator, com.ibm.wala.ipa.callgraph.propagation.InstanceKey base)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
com.ibm.wala.ipa.callgraph.propagation.InstanceKey	getBase()
com.ibm.wala.classLoader.IClass	getConcreteType()
java.util.Iterator<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,com.ibm.wala.classLoader.NewSiteReference>>	getCreationSites(com.ibm.wala.ipa.callgraph.CallGraph CG)
com.ibm.wala.ipa.callgraph.CGNode	getCreator()
java.util.Iterator<com.ibm.wala.ipa.callgraph.CGNode>	getFunargNodes(com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String> name) get the CGNode representing the lexical parent of creator with name definer
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ScopeMappingInstanceKey

public ScopeMappingInstanceKey(com.ibm.wala.ipa.callgraph.CGNode creator,
                               com.ibm.wala.ipa.callgraph.propagation.InstanceKey base)

Method Detail

getConcreteType

public com.ibm.wala.classLoader.IClass getConcreteType()

Specified by:

getConcreteType in interface com.ibm.wala.ipa.callgraph.propagation.InstanceKey

getFunargNodes

public java.util.Iterator<com.ibm.wala.ipa.callgraph.CGNode> getFunargNodes(com.ibm.wala.util.collections.Pair<java.lang.String,java.lang.String> name)

get the CGNode representing the lexical parent of creator with name definer

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getBase

public com.ibm.wala.ipa.callgraph.propagation.InstanceKey getBase()

getCreator

public com.ibm.wala.ipa.callgraph.CGNode getCreator()

getCreationSites

public java.util.Iterator<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,com.ibm.wala.classLoader.NewSiteReference>> getCreationSites(com.ibm.wala.ipa.callgraph.CallGraph CG)

Specified by:

getCreationSites in interface com.ibm.wala.ipa.callgraph.propagation.InstanceKey