Package crypto.analysis.errors

Class RequiredPredicateError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.RequiredPredicateError

public class RequiredPredicateError
extends AbstractError

Creates RequiredPredicateError for all Required Predicate error generates RequiredPredicateError

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class crypto.analysis.errors.AbstractError

addCausingError, addCausingError, addSubsequentError, formatMethodName, formatMethodNames, getErrorStatement, getLineNumber, getMethod, getObjectType, getRootErrors, getRule, getSeed, getSubsequentErrors

Methods inherited from class java.lang.Object

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

Constructor Detail

RequiredPredicateError

public RequiredPredicateError(IAnalysisSeed seed,
                              boomerang.scene.Statement errorStmt,
                              CrySLRule rule,
                              CallSiteWithExtractedValue cs,
                              Collection<CrySLPredicate> contradictedPredicates)

Method Detail

addHiddenPredicates

public void addHiddenPredicates(Collection<HiddenPredicate> hiddenPredicates)

mapPrecedingErrors

public void mapPrecedingErrors()

getContradictedPredicates

public Collection<CrySLPredicate> getContradictedPredicates()

This method returns a list of contradicting predicates

Returns:

list of contradicting predicates

getExtractedValues

public CallSiteWithExtractedValue getExtractedValues()

getHiddenPredicates

public Collection<HiddenPredicate> getHiddenPredicates()

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

toString

public String toString()

Overrides:

toString in class AbstractError