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 java.lang.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.

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Correlation(java.lang.String indexName, java.util.Set<java.lang.String> flownThroughLocals)

Method Summary

Modifier and Type	Method	Description
abstract <T> T	accept(CorrelationVisitor<T> visitor)
abstract com.ibm.wala.cast.tree.CAstSourcePositionMap.Position	getEndPosition(SSASourcePositionMap positions)
java.util.Set<java.lang.String>	getFlownThroughLocals()
java.lang.String	getIndexName()
abstract com.ibm.wala.cast.tree.CAstSourcePositionMap.Position	getStartPosition(SSASourcePositionMap positions)
abstract java.lang.String	pp(SSASourcePositionMap positions)

Methods inherited from class java.lang.Object

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

Constructor Detail

Correlation

protected Correlation(java.lang.String indexName,
                      java.util.Set<java.lang.String> flownThroughLocals)

Method Detail

getIndexName

public java.lang.String getIndexName()

getFlownThroughLocals

public java.util.Set<java.lang.String> getFlownThroughLocals()

getStartPosition

public abstract com.ibm.wala.cast.tree.CAstSourcePositionMap.Position getStartPosition(SSASourcePositionMap positions)

getEndPosition

public abstract com.ibm.wala.cast.tree.CAstSourcePositionMap.Position getEndPosition(SSASourcePositionMap positions)

pp

public abstract java.lang.String pp(SSASourcePositionMap positions)

accept

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