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 Object

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

Author:

mschaefer

Constructor Summary

Constructors

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

Method Summary

Methods

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

getCorrelations

public Set<Correlation> getCorrelations()

isEmpty

public boolean isEmpty()

getPositions

public SSASourcePositionMap getPositions()