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 Object

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

Author:

mschaefer

Constructor Summary

Constructors

Constructor	Description
CorrelationSummary(IMethod method, OrdinalSetMapping<SSAInstruction> instrIndices)

Method Summary

Modifier and Type	Method	Description
void	addCorrelation(Correlation correlation)
Set<Correlation>	getCorrelations()
SSASourcePositionMap	getPositions()
boolean	isEmpty()
List<Pair<CAstSourcePositionMap.Position,String>>	pp()

Methods inherited from class java.lang.Object

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

Constructor Details

CorrelationSummary

public CorrelationSummary(IMethod method,
 OrdinalSetMapping<SSAInstruction> instrIndices)

Method Details

addCorrelation

public void addCorrelation(Correlation correlation)

pp

public List<Pair<CAstSourcePositionMap.Position,String>> pp()

getCorrelations

public Set<Correlation> getCorrelations()

isEmpty

public boolean isEmpty()

getPositions

public SSASourcePositionMap getPositions()