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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaccept(ErrorVisitor visitor)booleanequals(Object obj)Collection<soot.SootMethod>getExpectedMethodCalls()inthashCode()StringtoErrorMarkerString()-
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
-
-
-
-
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:
toErrorMarkerStringin classAbstractError
-
hashCode
public int hashCode()
- Overrides:
hashCodein classAbstractError
-
equals
public boolean equals(Object obj)
- Overrides:
equalsin classAbstractError
-
-