Class LexicalModRef

java.lang.Object

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

public class LexicalModRef
extends Object

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

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	LexicalModRef(CallGraph cg, PointerAnalysis<InstanceKey> pa)

Method Summary

Modifier and Type	Method	Description
Map<CGNode,OrdinalSet<Pair<CGNode,String>>>	computeLexicalMod()	Compute the lexical variables possibly modified by each CGNode and its transitive callees.
Map<CGNode,OrdinalSet<Pair<CGNode,String>>>	computeLexicalRef()	Compute the lexical variables possibly read by each CGNode and its transitive callees.
static LexicalModRef	make(CallGraph cg, PointerAnalysis<InstanceKey> pa)
protected Collection<Pair<CGNode,String>>	scanNodeForLexReads(CGNode n)
protected Collection<Pair<CGNode,String>>	scanNodeForLexWrites(CGNode n)

Methods inherited from class java.lang.Object

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

Constructor Details

LexicalModRef

protected LexicalModRef(CallGraph cg,
 PointerAnalysis<InstanceKey> pa)

Method Details

make

public static LexicalModRef make(CallGraph cg,
 PointerAnalysis<InstanceKey> pa)

computeLexicalRef

public Map<CGNode,OrdinalSet<Pair<CGNode,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 Map<CGNode,OrdinalSet<Pair<CGNode,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 Collection<Pair<CGNode,String>> scanNodeForLexReads(CGNode n)

scanNodeForLexWrites

protected Collection<Pair<CGNode,String>> scanNodeForLexWrites(CGNode n)