com.ibm.wala.cast.ipa.lexical

Class LexicalModRef

java.lang.Object

com.ibm.wala.cast.ipa.lexical.LexicalModRef

public class LexicalModRef
extends java.lang.Object

Compute mod-ref information limited to accesses of lexical variables.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LexicalModRef(com.ibm.wala.ipa.callgraph.CallGraph cg, com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<com.ibm.wala.ipa.callgraph.propagation.InstanceKey> pa)

Method Summary

Modifier and Type	Method and Description
java.util.Map<com.ibm.wala.ipa.callgraph.CGNode,com.ibm.wala.util.intset.OrdinalSet<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,java.lang.String>>>	computeLexicalMod() Compute the lexical variables possibly modified by each CGNode and its transitive callees.
java.util.Map<com.ibm.wala.ipa.callgraph.CGNode,com.ibm.wala.util.intset.OrdinalSet<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,java.lang.String>>>	computeLexicalRef() Compute the lexical variables possibly read by each CGNode and its transitive callees.
static LexicalModRef	make(com.ibm.wala.ipa.callgraph.CallGraph cg, com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<com.ibm.wala.ipa.callgraph.propagation.InstanceKey> pa)
protected java.util.Collection<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,java.lang.String>>	scanNodeForLexReads(com.ibm.wala.ipa.callgraph.CGNode n)
protected java.util.Collection<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,java.lang.String>>	scanNodeForLexWrites(com.ibm.wala.ipa.callgraph.CGNode n)

Methods inherited from class java.lang.Object

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

Constructor Detail

LexicalModRef

protected LexicalModRef(com.ibm.wala.ipa.callgraph.CallGraph cg,
                        com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<com.ibm.wala.ipa.callgraph.propagation.InstanceKey> pa)

Method Detail

make

public static LexicalModRef make(com.ibm.wala.ipa.callgraph.CallGraph cg,
                                 com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<com.ibm.wala.ipa.callgraph.propagation.InstanceKey> pa)

computeLexicalRef

public java.util.Map<com.ibm.wala.ipa.callgraph.CGNode,com.ibm.wala.util.intset.OrdinalSet<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,java.lang.String>>> computeLexicalRef()

Compute the lexical variables possibly read by each CGNode and its transitive callees. A lexical variable is represented as a pair (C,N), where C is the defining CGNode and N is the String name.

computeLexicalMod

public java.util.Map<com.ibm.wala.ipa.callgraph.CGNode,com.ibm.wala.util.intset.OrdinalSet<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,java.lang.String>>> computeLexicalMod()

Compute the lexical variables possibly modified by each CGNode and its transitive callees. A lexical variable is represented as a pair (C,N), where C is the defining CGNode and N is the String name.

scanNodeForLexReads

protected java.util.Collection<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,java.lang.String>> scanNodeForLexReads(com.ibm.wala.ipa.callgraph.CGNode n)

scanNodeForLexWrites

protected java.util.Collection<com.ibm.wala.util.collections.Pair<com.ibm.wala.ipa.callgraph.CGNode,java.lang.String>> scanNodeForLexWrites(com.ibm.wala.ipa.callgraph.CGNode n)