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

Class ReadWriteCorrelation

java.lang.Object

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

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

public class ReadWriteCorrelation
extends Correlation

The most basic form of correlation: an intra-procedurally correlated pair of a dynamic property read and a dynamic property write.

Author:

mschaefer

Constructor Summary

Constructors

Constructor	Description
ReadWriteCorrelation(AbstractReflectiveGet get, AbstractReflectivePut put, String indexName, Set<String> flownThroughLocals)

Method Summary

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

Methods inherited from class com.ibm.wala.cast.js.ipa.callgraph.correlations.Correlation

getFlownThroughLocals, getIndexName

Methods inherited from class java.lang.Object

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

Constructor Details

ReadWriteCorrelation

public ReadWriteCorrelation(AbstractReflectiveGet get,
 AbstractReflectivePut put,
 String indexName,
 Set<String> flownThroughLocals)

Method Details

getStartPosition

public CAstSourcePositionMap.Position getStartPosition(SSASourcePositionMap positions)

Specified by:

getStartPosition in class Correlation

getEndPosition

public CAstSourcePositionMap.Position getEndPosition(SSASourcePositionMap positions)

Specified by:

getEndPosition in class Correlation

pp

public String pp(SSASourcePositionMap positions)

Specified by:

pp in class Correlation

accept

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

Specified by:

accept in class Correlation