Package crypto.analysis.errors
Class NeverTypeOfError
- java.lang.Object
-
- crypto.analysis.errors.AbstractError
-
- crypto.analysis.errors.ErrorWithObjectAllocation
-
- crypto.analysis.errors.ConstraintError
-
- crypto.analysis.errors.NeverTypeOfError
-
- All Implemented Interfaces:
IError
public class NeverTypeOfError extends ConstraintError
-
-
Constructor Summary
Constructors Constructor Description NeverTypeOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)inthashCode()-
Methods inherited from class crypto.analysis.errors.ConstraintError
accept, filterQuotes, getBrokenConstraint, getCallSiteWithExtractedValue, getDataFlowPath, toErrorMarkerString
-
Methods inherited from class crypto.analysis.errors.ErrorWithObjectAllocation
getObjectLocation, getObjectType
-
Methods inherited from class crypto.analysis.errors.AbstractError
addCausingError, addCausingError, addSubsequentError, getErrorLocation, getRootErrors, getRule, getSubsequentErrors, toString
-
-
-
-
Constructor Detail
-
NeverTypeOfError
public NeverTypeOfError(CallSiteWithExtractedValue cs, CrySLRule rule, IAnalysisSeed objectLocation, ISLConstraint con)
-
-
Method Detail
-
hashCode
public int hashCode()
- Overrides:
hashCodein classConstraintError
-
equals
public boolean equals(Object obj)
- Overrides:
equalsin classConstraintError
-
-