Package crypto.analysis.errors
Class RequiredPredicateError
- java.lang.Object
-
- crypto.analysis.errors.AbstractError
-
- crypto.analysis.errors.RequiredPredicateError
-
- All Implemented Interfaces:
IError
public class RequiredPredicateError extends AbstractError
CreatesRequiredPredicateErrorfor all Required Predicate error generates RequiredPredicateError contradictedPredicate aCrySLPredicateholds the contradicted required predicate or parameter extractedValues aCallSiteWithExtractedValuehold the location value of the missing required predicate or parameter
-
-
Constructor Summary
Constructors Constructor Description RequiredPredicateError(List<CrySLPredicate> contradictedPredicates, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaccept(ErrorVisitor visitor)voidaddHiddenPredicates(Collection<HiddenPredicate> hiddenPredicates)booleanequals(Object obj)List<CrySLPredicate>getContradictedPredicates()This method returns a list of contradicting predicatesCallSiteWithExtractedValuegetExtractedValues()inthashCode()voidmapPrecedingErrors()StringtoErrorMarkerString()-
Methods inherited from class crypto.analysis.errors.AbstractError
addCausingError, addCausingError, addSubsequentError, getErrorLocation, getRootErrors, getRule, getSubsequentErrors, toString
-
-
-
-
Constructor Detail
-
RequiredPredicateError
public RequiredPredicateError(List<CrySLPredicate> contradictedPredicates, boomerang.jimple.Statement location, CrySLRule rule, CallSiteWithExtractedValue multimap)
-
-
Method Detail
-
addHiddenPredicates
public void addHiddenPredicates(Collection<HiddenPredicate> hiddenPredicates)
-
mapPrecedingErrors
public void mapPrecedingErrors()
-
getContradictedPredicates
public List<CrySLPredicate> getContradictedPredicates()
This method returns a list of contradicting predicates- Returns:
- list of contradicting predicates
-
getExtractedValues
public CallSiteWithExtractedValue getExtractedValues()
-
accept
public void accept(ErrorVisitor visitor)
-
toErrorMarkerString
public String toErrorMarkerString()
- Specified by:
toErrorMarkerStringin classAbstractError
-
hashCode
public int hashCode()
- Overrides:
hashCodein classAbstractError
-
equals
public boolean equals(Object obj)
- Overrides:
equalsin classAbstractError
-
-