Class CorrelationSummary
java.lang.Object
com.ibm.wala.cast.js.ipa.callgraph.correlations.CorrelationSummary
A utility class holding information about correlations identified by a
CorrelationFinder
.- Author:
- mschaefer
-
Constructor Summary
ConstructorDescriptionCorrelationSummary
(IMethod method, OrdinalSetMapping<SSAInstruction> instrIndices) -
Method Summary
Modifier and TypeMethodDescriptionvoid
addCorrelation
(Correlation correlation) boolean
isEmpty()
pp()
-
Constructor Details
-
CorrelationSummary
-
-
Method Details
-
addCorrelation
-
pp
-
getCorrelations
-
isEmpty
public boolean isEmpty() -
getPositions
-