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

Class CorrelationSummary

java.lang.Object

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

public final class CorrelationSummary
extends java.lang.Object

A utility class holding information about correlations identified by a CorrelationFinder.

Constructor Summary

Constructors

Constructor	Description
CorrelationSummary(com.ibm.wala.classLoader.IMethod method, com.ibm.wala.util.intset.OrdinalSetMapping<com.ibm.wala.ssa.SSAInstruction> instrIndices)

Method Summary

Modifier and Type	Method	Description
void	addCorrelation(Correlation correlation)
java.util.Set<Correlation>	getCorrelations()
SSASourcePositionMap	getPositions()
boolean	isEmpty()
java.util.List<com.ibm.wala.util.collections.Pair<com.ibm.wala.cast.tree.CAstSourcePositionMap.Position,java.lang.String>>	pp()

Methods inherited from class java.lang.Object

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

Constructor Detail

CorrelationSummary

public CorrelationSummary(com.ibm.wala.classLoader.IMethod method,
                          com.ibm.wala.util.intset.OrdinalSetMapping<com.ibm.wala.ssa.SSAInstruction> instrIndices)

Method Detail

addCorrelation

public void addCorrelation(Correlation correlation)

pp

public java.util.List<com.ibm.wala.util.collections.Pair<com.ibm.wala.cast.tree.CAstSourcePositionMap.Position,java.lang.String>> pp()

getCorrelations

public java.util.Set<Correlation> getCorrelations()

isEmpty

public boolean isEmpty()

getPositions

public SSASourcePositionMap getPositions()