Package com.ibm.wala.cast.js.ipa.callgraph.correlations

Class Correlation

java.lang.Object

com.ibm.wala.cast.js.ipa.callgraph.correlations.Correlation

Direct Known Subclasses:

EscapeCorrelation, ReadWriteCorrelation

public abstract class Correlation
extends Object

A correlation exists between a dynamic property read r and a dynamic property write w such that the value read in r may flow into w, and r and w are guaranteed to access a property of the same name.

We additionally track the set of local variables the value read in r may flow through before reaching w. These will be candidates for localisation when extracting the correlation into a closure.

Author:

mschaefer

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Correlation(String indexName, Set<String> flownThroughLocals)

Method Summary

Modifier and Type	Method	Description
abstract <T> T	accept(CorrelationVisitor<T> visitor)
abstract CAstSourcePositionMap.Position	getEndPosition(SSASourcePositionMap positions)
Set<String>	getFlownThroughLocals()
String	getIndexName()
abstract CAstSourcePositionMap.Position	getStartPosition(SSASourcePositionMap positions)
abstract String	pp(SSASourcePositionMap positions)

Methods inherited from class java.lang.Object

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

Constructor Details

Correlation

protected Correlation(String indexName,
 Set<String> flownThroughLocals)

Method Details

getIndexName

public String getIndexName()

getFlownThroughLocals

public Set<String> getFlownThroughLocals()

getStartPosition

public abstract CAstSourcePositionMap.Position getStartPosition(SSASourcePositionMap positions)

getEndPosition

public abstract CAstSourcePositionMap.Position getEndPosition(SSASourcePositionMap positions)

pp

public abstract String pp(SSASourcePositionMap positions)

accept

public abstract <T> T accept(CorrelationVisitor<T> visitor)