Package crypto.analysis.errors

Class AbstractError

java.lang.Object

crypto.analysis.errors.AbstractError

Direct Known Subclasses:

CallToError, ConstraintError, ForbiddenMethodError, HardCodedError, ImpreciseValueExtractionError, IncompleteOperationError, InstanceOfError, NeverTypeOfError, NoCallToError, PredicateContradictionError, RequiredPredicateError, TypestateError, UncaughtExceptionError

public abstract class AbstractError
extends Object

Constructor Summary

Constructors

Constructor	Description
AbstractError(IAnalysisSeed seed, boomerang.scene.Statement errorStmt, CrySLRule rule)

Method Summary

Modifier and Type	Method	Description
void	addCausingError(AbstractError parent)
void	addCausingError(Collection<AbstractError> parents)
void	addSubsequentError(AbstractError subsequentError)
boolean	equals(Object obj)
protected String	formatMethodName(CrySLMethod method)
protected String	formatMethodNames(Collection<CrySLMethod> methods)
boomerang.scene.Statement	getErrorStatement()
int	getLineNumber()
boomerang.scene.Method	getMethod()
protected String	getObjectType()
Collection<AbstractError>	getRootErrors()
CrySLRule	getRule()
IAnalysisSeed	getSeed()
Collection<AbstractError>	getSubsequentErrors()
int	hashCode()
abstract String	toErrorMarkerString()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractError

public AbstractError(IAnalysisSeed seed,
                     boomerang.scene.Statement errorStmt,
                     CrySLRule rule)

Method Detail

toErrorMarkerString

public abstract String toErrorMarkerString()

getSeed

public IAnalysisSeed getSeed()

getErrorStatement

public boomerang.scene.Statement getErrorStatement()

getRule

public CrySLRule getRule()

getMethod

public boomerang.scene.Method getMethod()

getLineNumber

public int getLineNumber()

addCausingError

public void addCausingError(AbstractError parent)

addCausingError

public void addCausingError(Collection<AbstractError> parents)

addSubsequentError

public void addSubsequentError(AbstractError subsequentError)

getSubsequentErrors

public Collection<AbstractError> getSubsequentErrors()

getRootErrors

public Collection<AbstractError> getRootErrors()

toString

public String toString()

Overrides:

toString in class Object

getObjectType

protected String getObjectType()

formatMethodNames

protected String formatMethodNames(Collection<CrySLMethod> methods)

formatMethodName

protected String formatMethodName(CrySLMethod method)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object