Uses of Class
crypto.analysis.EnsuredCrySLPredicate

Packages that use EnsuredCrySLPredicate

Package	Description
crypto.analysis
crypto.predicates
crypto.reporting

Uses of EnsuredCrySLPredicate in crypto.analysis

Methods in crypto.analysis with parameters of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
void	AnalysisSeedWithEnsuredPredicate.addEnsuredPredicate(EnsuredCrySLPredicate pred)
void	AnalysisSeedWithSpecification.addEnsuredPredicate(EnsuredCrySLPredicate ensPred)
protected void	AnalysisSeedWithEnsuredPredicate.ensurePredicates(EnsuredCrySLPredicate pred)

Method parameters in crypto.analysis with type arguments of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
void	CrySLResultsReporter.ensuredPredicates(com.google.common.collect.Table<boomerang.jimple.Statement,boomerang.jimple.Val,Set<EnsuredCrySLPredicate>> existingPredicates, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> expectedPredicates, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> missingPredicates)
void	ICrySLPerformanceListener.ensuredPredicates(com.google.common.collect.Table<boomerang.jimple.Statement,boomerang.jimple.Val,Set<EnsuredCrySLPredicate>> existingPredicates, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> expectedPredicates, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> missingPredicates)

Uses of EnsuredCrySLPredicate in crypto.predicates

Methods in crypto.predicates that return types with arguments of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
Set<EnsuredCrySLPredicate>	PredicateHandler.getExistingPredicates(boomerang.jimple.Statement stmt, boomerang.jimple.Val seed)

Methods in crypto.predicates with parameters of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
boolean	PredicateHandler.addNewPred(IAnalysisSeed seedObj, boomerang.jimple.Statement statement, boomerang.jimple.Val variable, EnsuredCrySLPredicate ensPred)

Uses of EnsuredCrySLPredicate in crypto.reporting

Method parameters in crypto.reporting with type arguments of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
void	ErrorMarkerListener.ensuredPredicates(com.google.common.collect.Table<boomerang.jimple.Statement,boomerang.jimple.Val,Set<EnsuredCrySLPredicate>> arg0, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> arg1, com.google.common.collect.Table<boomerang.jimple.Statement,IAnalysisSeed,Set<CrySLPredicate>> arg2)