Uses of Class
crypto.analysis.EnsuredCrySLPredicate

Packages that use EnsuredCrySLPredicate

Package	Description
crypto.analysis
crypto.predicates
crypto.reporting

Uses of EnsuredCrySLPredicate in crypto.analysis

Subclasses of EnsuredCrySLPredicate in crypto.analysis

Modifier and Type	Class	Description
class	HiddenPredicate

Methods in crypto.analysis with parameters of type EnsuredCrySLPredicate

Modifier and Type	Method	Description
void	AnalysisSeedWithEnsuredPredicate.addEnsuredPredicate(EnsuredCrySLPredicate pred)
void	AnalysisSeedWithSpecification.addEnsuredPredicate(EnsuredCrySLPredicate ensPred)	Add an ensured predicate to the seed and implicitly rerun all constraint and predicate checks
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)
void	PredicateHandler.reportForbiddenPredicate(EnsuredCrySLPredicate predToBeChecked, boomerang.jimple.Statement location, IAnalysisSeed seedObj)

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)