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

Modifier and Type	Method	Description
boolean	equals(Object obj)
int	hashCode()

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NeverTypeOfError

public NeverTypeOfError(CallSiteWithExtractedValue cs,
                        CrySLRule rule,
                        IAnalysisSeed objectLocation,
                        ISLConstraint con)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class ConstraintError

equals

public boolean equals(Object obj)

Overrides:

equals in class ConstraintError