Package crypto.analysis.errors
Class ImpreciseValueExtractionError
- java.lang.Object
-
- crypto.analysis.errors.AbstractError
-
- crypto.analysis.errors.ImpreciseValueExtractionError
-
public class ImpreciseValueExtractionError extends AbstractError
-
-
Constructor Summary
Constructors Constructor Description ImpreciseValueExtractionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, ISLConstraint constraint)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)ISLConstraintgetViolatedConstraint()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
-
ImpreciseValueExtractionError
public ImpreciseValueExtractionError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule, ISLConstraint constraint)
-
-
Method Detail
-
getViolatedConstraint
public ISLConstraint getViolatedConstraint()
-
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
-
-