"""This module contains general exceptions used by Mythril."""
[docs]class MythrilBaseException(Exception):
"""The Mythril exception base type."""
pass
[docs]class CompilerError(MythrilBaseException):
"""A Mythril exception denoting an error during code compilation."""
pass
[docs]class UnsatError(MythrilBaseException):
"""A Mythril exception denoting the unsatisfiability of a series of
constraints."""
pass
[docs]class SolverTimeOutException(UnsatError):
"""A Mythril exception denoting the unsatisfiability of a series of
constraints."""
pass
[docs]class NoContractFoundError(MythrilBaseException):
"""A Mythril exception denoting that a given contract file was not
found."""
pass
[docs]class CriticalError(MythrilBaseException):
"""A Mythril exception denoting an unknown critical error has been
encountered."""
pass
[docs]class DetectorNotFoundError(MythrilBaseException):
"""A Mythril exception denoting attempted usage of a non-existant
detection module."""
pass
[docs]class IllegalArgumentError(ValueError):
"""The argument used does not exist"""
pass