Hierarchy For Package crypto.analysis.errors

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • crypto.analysis.errors.AbstractError (implements crypto.analysis.errors.IError)
    • crypto.analysis.errors.ErrorWithObjectAllocation
      • crypto.analysis.errors.ConstraintError
        • crypto.analysis.errors.HardCodedError
        • crypto.analysis.errors.InstanceOfError
        • crypto.analysis.errors.NeverTypeOfError
      • crypto.analysis.errors.IncompleteOperationError
      • crypto.analysis.errors.TypestateError
    • crypto.analysis.errors.ForbiddenMethodError
    • crypto.analysis.errors.ForbiddenPredicateError
    • crypto.analysis.errors.ImpreciseValueExtractionError
    • crypto.analysis.errors.PredicateContradictionError
    • crypto.analysis.errors.RequiredPredicateError
    • crypto.analysis.errors.UncaughtExceptionError

Interface Hierarchy

• crypto.analysis.errors.ErrorVisitor
• crypto.analysis.errors.IError