Uses of Class
crypto.rules.CrySLPredicate

Packages that use CrySLPredicate

Package	Description
crypto.analysis
crypto.analysis.errors
crypto.rules

Uses of CrySLPredicate in crypto.analysis

Methods in crypto.analysis that return CrySLPredicate

Modifier and Type	Method	Description
CrySLPredicate	RequiredCrySLPredicate.getPred()
CrySLPredicate	EnsuredCrySLPredicate.getPredicate()

Methods in crypto.analysis that return types with arguments of type CrySLPredicate

Modifier and Type	Method	Description
List<CrySLPredicate>	AlternativeReqPredicate.getAlternatives()

Methods in crypto.analysis with parameters of type CrySLPredicate

Modifier and Type	Method	Description
boolean	AlternativeReqPredicate.addAlternative(CrySLPredicate newAlt)
void	PredicateHandler.expectPredicate(IAnalysisSeed object, boomerang.scene.Statement stmt, CrySLPredicate predToBeEnsured)
Collection<AbstractError>	AnalysisSeedWithSpecification.retrieveErrorsForPredCondition(CrySLPredicate pred)

Constructors in crypto.analysis with parameters of type CrySLPredicate

Constructor	Description
AlternativeReqPredicate(CrySLPredicate alternativeOne, boomerang.scene.Statement stmt)
AlternativeReqPredicate(CrySLPredicate alternativeOne, CrySLPredicate alternativeTwo, boomerang.scene.Statement stmt)
EnsuredCrySLPredicate(CrySLPredicate predicate, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> parametersToValues2)
HiddenPredicate(CrySLPredicate predicate, com.google.common.collect.Multimap<CallSiteWithParamIndex,ExtractedValue> parametersToValues2, AnalysisSeedWithSpecification generatingSeed, HiddenPredicate.HiddenPredicateType type)
RequiredCrySLPredicate(CrySLPredicate predicate, boomerang.scene.Statement statement)

Uses of CrySLPredicate in crypto.analysis.errors

Methods in crypto.analysis.errors that return types with arguments of type CrySLPredicate

Modifier and Type	Method	Description
Collection<CrySLPredicate>	RequiredPredicateError.getContradictedPredicates()	This method returns a list of contradicting predicates
Map.Entry<CrySLPredicate,CrySLPredicate>	PredicateContradictionError.getMismatchedPreds()
Map.Entry<CrySLPredicate,CrySLPredicate>	PredicateContradictionError.getMismatchedPreds()

Constructors in crypto.analysis.errors with parameters of type CrySLPredicate

Constructor	Description
InstanceOfError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, CrySLPredicate constraint)
NeverTypeOfError(IAnalysisSeed seed, CallSiteWithExtractedValue cs, CrySLRule rule, CrySLPredicate constraint)

Constructor parameters in crypto.analysis.errors with type arguments of type CrySLPredicate

Constructor	Description
PredicateContradictionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Map.Entry<CrySLPredicate,CrySLPredicate> disPair)
PredicateContradictionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, Map.Entry<CrySLPredicate,CrySLPredicate> disPair)
RequiredPredicateError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, CallSiteWithExtractedValue cs, Collection<CrySLPredicate> contradictedPredicates)

Uses of CrySLPredicate in crypto.rules

Subclasses of CrySLPredicate in crypto.rules

Modifier and Type	Class	Description
class	CrySLCondPredicate

Methods in crypto.rules that return CrySLPredicate

Modifier and Type	Method	Description
CrySLPredicate	CrySLPredicate.setNegated(boolean negated)

Methods in crypto.rules that return types with arguments of type CrySLPredicate

Modifier and Type	Method	Description
Collection<CrySLPredicate>	CrySLRule.getNegatedPredicates()
Collection<CrySLPredicate>	CrySLRule.getPredicates()
Collection<CrySLPredicate>	CrySLRule.getRequiredPredicates()