Package crypto.analysis.errors

Class PredicateContradictionError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.PredicateContradictionError

public class PredicateContradictionError
extends AbstractError

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Map.Entry<CrySLPredicate,CrySLPredicate>	getMismatchedPreds()
int	hashCode()
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

PredicateContradictionError

public PredicateContradictionError(IAnalysisSeed seed,
                                   boomerang.scene.Statement errorStmt,
                                   CrySLRule rule,
                                   Map.Entry<CrySLPredicate,CrySLPredicate> disPair)

Method Detail

getMismatchedPreds

public Map.Entry<CrySLPredicate,CrySLPredicate> getMismatchedPreds()

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