<gh_stars>0
"""
Public subclasses of Exception
"""


class ManticoreError(Exception):
    """
    Top level Exception object for custom exception hierarchy
    """

    pass


class ExecutorError(ManticoreError):
    pass


# Smtlib


class SmtlibError(ManticoreError):
    pass


class Z3NotFoundError(SmtlibError):
    pass


class SolverError(SmtlibError):
    pass


class SolverUnknown(SolverError):
    pass


class TooManySolutions(SolverError):
    def __init__(self, solutions):
        super().__init__("Max number of different solutions hit")
        self.solutions = solutions


# Ethereum


class EthereumError(ManticoreError):
    pass


class DependencyError(EthereumError):
    def __init__(self, lib_names):
        super().__init__(
            "You must pre-load and provide libraries addresses{ libname:address, ...} for %r"
            % lib_names
        )
        self.lib_names = lib_names


class NoAliveStates(EthereumError):
    pass

"""
Public subclasses of Exception
"""


class ManticoreError(Exception):
    """
    Top level Exception object for custom exception hierarchy
    """

    pass


class ExecutorError(ManticoreError):
    pass


# Smtlib


class SmtlibError(ManticoreError):
    pass


class Z3NotFoundError(SmtlibError):
    pass


class SolverError(SmtlibError):
    pass


class SolverUnknown(SolverError):
    pass


class TooManySolutions(SolverError):
    def __init__(self, solutions):
        super().__init__("Max number of different solutions hit")
        self.solutions = solutions


# Ethereum


class EthereumError(ManticoreError):
    pass


class DependencyError(EthereumError):
    def __init__(self, lib_names):
        super().__init__(
            "You must pre-load and provide libraries addresses{ libname:address, ...} for %r"
            % lib_names
        )
        self.lib_names = lib_names


class NoAliveStates(EthereumError):
    pass
Public subclasses of Exception Top level Exception object for custom exception hierarchy # Smtlib # Ethereum