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 Correlation

getFlownThroughLocals, getIndexName

Methods inherited from class 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