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 and Description
ReadWriteCorrelation(com.ibm.wala.cast.ir.ssa.AbstractReflectiveGet get, com.ibm.wala.cast.ir.ssa.AbstractReflectivePut put, String indexName, Set<String> flownThroughLocals)

Method Summary

Methods

Modifier and Type	Method and Description
<T> T	accept(CorrelationVisitor<T> visitor)
com.ibm.wala.cast.tree.CAstSourcePositionMap.Position	getEndPosition(SSASourcePositionMap positions)
com.ibm.wala.cast.tree.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 Detail

ReadWriteCorrelation

public ReadWriteCorrelation(com.ibm.wala.cast.ir.ssa.AbstractReflectiveGet get,
                    com.ibm.wala.cast.ir.ssa.AbstractReflectivePut put,
                    String indexName,
                    Set<String> flownThroughLocals)

Method Detail

getStartPosition

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

Specified by:

getStartPosition in class Correlation

getEndPosition

public com.ibm.wala.cast.tree.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