Package crypto.analysis.errors

Class TypestateError

java.lang.Object

crypto.analysis.errors.AbstractError

crypto.analysis.errors.ErrorWithObjectAllocation

crypto.analysis.errors.TypestateError

All Implemented Interfaces:

IError

public class TypestateError
extends ErrorWithObjectAllocation

Constructor Summary

Constructors

Constructor	Description
TypestateError(boomerang.jimple.Statement stmt, CrySLRule rule, IAnalysisSeed object, Collection<soot.SootMethod> expectedMethodCalls)

Method Summary

Modifier and Type	Method	Description
void	accept(ErrorVisitor visitor)
boolean	equals(Object obj)
Collection<soot.SootMethod>	getExpectedMethodCalls()
int	hashCode()
String	toErrorMarkerString()

Methods inherited from class crypto.analysis.errors.ErrorWithObjectAllocation

getDataFlowPath, getObjectLocation, getObjectType

Methods inherited from class crypto.analysis.errors.AbstractError

addCausingError, addCausingError, addSubsequentError, getErrorLocation, getRootErrors, getRule, getSubsequentErrors, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TypestateError

public TypestateError(boomerang.jimple.Statement stmt,
                      CrySLRule rule,
                      IAnalysisSeed object,
                      Collection<soot.SootMethod> expectedMethodCalls)

Method Detail

getExpectedMethodCalls

public Collection<soot.SootMethod> getExpectedMethodCalls()

accept

public void accept(ErrorVisitor visitor)

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