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.

Constructor Summary

Constructors

Constructor	Description
ReadWriteCorrelation(com.ibm.wala.cast.ir.ssa.AbstractReflectiveGet get, com.ibm.wala.cast.ir.ssa.AbstractReflectivePut put, java.lang.String indexName, java.util.Set<java.lang.String> flownThroughLocals)

Method Summary

Modifier and Type	Method	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)
java.lang.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,
                            java.lang.String indexName,
                            java.util.Set<java.lang.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 java.lang.String pp(SSASourcePositionMap positions)

Specified by:

pp in class Correlation

accept

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

Specified by:

accept in class Correlation