Package crypto.listener

Interface IResultsListener

public interface IResultsListener

Method Summary

Modifier and Type	Method	Description
void	checkedConstraints(IAnalysisSeed seed, Collection<ISLConstraint> constraints)
void	collectedValues(IAnalysisSeed seed, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)
void	ensuredPredicates(com.google.common.collect.Table<boomerang.scene.Statement,boomerang.scene.Val,Set<EnsuredCrySLPredicate>> existingPredicates)
void	typestateAnalysisResults(IAnalysisSeed seed, boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

Method Detail

typestateAnalysisResults

void typestateAnalysisResults(IAnalysisSeed seed,
                              boomerang.results.ForwardBoomerangResults<typestate.TransitionFunction> results)

collectedValues

void collectedValues(IAnalysisSeed seed,
                     com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> collectedValues)

checkedConstraints

void checkedConstraints(IAnalysisSeed seed,
                        Collection<ISLConstraint> constraints)

ensuredPredicates

void ensuredPredicates(com.google.common.collect.Table<boomerang.scene.Statement,boomerang.scene.Val,Set<EnsuredCrySLPredicate>> existingPredicates)