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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)Map.Entry<CrySLPredicate,CrySLPredicate>getMismatchedPreds()inthashCode()StringtoErrorMarkerString()StringtoString()-
Methods inherited from class crypto.analysis.errors.AbstractError
addCausingError, addCausingError, addSubsequentError, formatMethodName, formatMethodNames, getErrorStatement, getLineNumber, getMethod, getObjectType, getRootErrors, getRule, getSeed, getSubsequentErrors
-
-
-
-
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:
toErrorMarkerStringin classAbstractError
-
hashCode
public int hashCode()
- Overrides:
hashCodein classAbstractError
-
equals
public boolean equals(Object obj)
- Overrides:
equalsin classAbstractError
-
toString
public String toString()
- Overrides:
toStringin classAbstractError
-
-