Uses of Class
crypto.rules.CrySLPredicate

Packages that use CrySLPredicate

Package	Description
crypto.analysis
crypto.analysis.errors
crypto.predicates
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)
Collection<AbstractError>	AnalysisSeedWithSpecification.retrieveErrorsForPredCondition(CrySLPredicate pred)

Constructors in crypto.analysis with parameters of type CrySLPredicate

Constructor	Description
AlternativeReqPredicate(CrySLPredicate alternativeOne, boomerang.jimple.Statement stmt)
AlternativeReqPredicate(CrySLPredicate alternativeOne, CrySLPredicate alternativeTwo, boomerang.jimple.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.jimple.Statement stmt)

Uses of CrySLPredicate in crypto.analysis.errors

Methods in crypto.analysis.errors that return CrySLPredicate

Modifier and Type	Method	Description
CrySLPredicate	ForbiddenPredicateError.getContradictedPredicate()

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

Modifier and Type	Method	Description
List<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
ForbiddenPredicateError(CrySLPredicate contradictedPredicate, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap)

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

Constructor	Description
PredicateContradictionError(boomerang.jimple.Statement errorLocation, CrySLRule rule, Map.Entry<CrySLPredicate,CrySLPredicate> disPair)
PredicateContradictionError(boomerang.jimple.Statement errorLocation, CrySLRule rule, Map.Entry<CrySLPredicate,CrySLPredicate> disPair)
RequiredPredicateError(List<CrySLPredicate> contradictedPredicates, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap)

Uses of CrySLPredicate in crypto.predicates

Methods in crypto.predicates with parameters of type CrySLPredicate

Modifier and Type	Method	Description
void	PredicateHandler.expectPredicate(IAnalysisSeed object, boomerang.jimple.Statement stmt, CrySLPredicate predToBeEnsured)

Uses of CrySLPredicate in crypto.rules

Subclasses of CrySLPredicate in crypto.rules

Modifier and Type	Class	Description
class	CrySLCondPredicate
class	ParameterAwarePredicate	Extension of CrySLPredicate, to take the parameters into account, when checking for Equality.

Fields in crypto.rules with type parameters of type CrySLPredicate

Modifier and Type	Field	Description
protected List<CrySLPredicate>	CrySLRule.negatedPredicates
protected List<CrySLPredicate>	CrySLRule.predicates

Methods in crypto.rules that return CrySLPredicate

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

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

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