Package crypto.analysis.errors

Class ForbiddenMethodError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.ForbiddenMethodError

public class ForbiddenMethodError
extends AbstractError

Constructor Summary

Constructors

Constructor	Description
ForbiddenMethodError(IAnalysisSeed seed, boomerang.scene.Statement errorLocation, CrySLRule rule, boomerang.scene.DeclaredMethod calledMethod)
ForbiddenMethodError(IAnalysisSeed seed, boomerang.scene.Statement errorLocation, CrySLRule rule, boomerang.scene.DeclaredMethod calledMethod, Collection<CrySLMethod> alternatives)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Collection<CrySLMethod>	getAlternatives()
boomerang.scene.DeclaredMethod	getCalledMethod()
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

ForbiddenMethodError

public ForbiddenMethodError(IAnalysisSeed seed,
                            boomerang.scene.Statement errorLocation,
                            CrySLRule rule,
                            boomerang.scene.DeclaredMethod calledMethod)

ForbiddenMethodError

public ForbiddenMethodError(IAnalysisSeed seed,
                            boomerang.scene.Statement errorLocation,
                            CrySLRule rule,
                            boomerang.scene.DeclaredMethod calledMethod,
                            Collection<CrySLMethod> alternatives)

Method Detail

getAlternatives

public Collection<CrySLMethod> getAlternatives()

getCalledMethod

public boomerang.scene.DeclaredMethod getCalledMethod()

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