Package crypto.analysis.errors
Class AbstractError
- java.lang.Object
-
- crypto.analysis.errors.AbstractError
-
- All Implemented Interfaces:
IError
- Direct Known Subclasses:
ErrorWithObjectAllocation,ForbiddenMethodError,ForbiddenPredicateError,ImpreciseValueExtractionError,PredicateContradictionError,RequiredPredicateError,UncaughtExceptionError
public abstract class AbstractError extends Object implements IError
-
-
Constructor Summary
Constructors Constructor Description AbstractError(boomerang.jimple.Statement errorLocation, CrySLRule rule)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description voidaddCausingError(AbstractError parent)voidaddCausingError(Collection<AbstractError> parents)voidaddSubsequentError(AbstractError subsequentError)booleanequals(Object obj)boomerang.jimple.StatementgetErrorLocation()Set<AbstractError>getRootErrors()CrySLRulegetRule()Set<AbstractError>getSubsequentErrors()inthashCode()abstract StringtoErrorMarkerString()StringtoString()
-
-
-
Constructor Detail
-
AbstractError
public AbstractError(boomerang.jimple.Statement errorLocation, CrySLRule rule)
-
-
Method Detail
-
addCausingError
public void addCausingError(AbstractError parent)
-
addCausingError
public void addCausingError(Collection<AbstractError> parents)
-
addSubsequentError
public void addSubsequentError(AbstractError subsequentError)
-
getSubsequentErrors
public Set<AbstractError> getSubsequentErrors()
-
getRootErrors
public Set<AbstractError> getRootErrors()
-
getErrorLocation
public boomerang.jimple.Statement getErrorLocation()
-
getRule
public CrySLRule getRule()
-
toErrorMarkerString
public abstract String toErrorMarkerString()
-
-