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

Creates RequiredPredicateError for all Required Predicate error generates RequiredPredicateError contradictedPredicate a CrySLPredicate holds the contradicted required predicate or parameter extractedValues a CallSiteWithExtractedValue hold 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

Modifier and Type	Method	Description
void	accept(ErrorVisitor visitor)
void	addHiddenPredicates(Collection<HiddenPredicate> hiddenPredicates)
boolean	equals(Object obj)
List<CrySLPredicate>	getContradictedPredicates()	This method returns a list of contradicting predicates
CallSiteWithExtractedValue	getExtractedValues()
int	hashCode()
void	mapPrecedingErrors()
String	toErrorMarkerString()

Methods inherited from class crypto.analysis.errors.AbstractError

addCausingError, addCausingError, addSubsequentError, getErrorLocation, getRootErrors, getRule, getSubsequentErrors, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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:

toErrorMarkerString in class AbstractError

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractError

equals

public boolean equals(Object obj)

Overrides:

equals in class AbstractError