Source code for momba.model.errors

# -*- coding:utf-8 -*-
#
# Copyright (C) 2019-2021, Saarland University
# Copyright (C) 2019-2021, Maximilian Köhl <koehl@cs.uni-saarland.de>

from __future__ import annotations



[docs]class ModelingError(Exception):
    """
    A general modeling error.
    """




[docs]class InvalidTypeError(ModelingError):
    pass




[docs]class IncompatibleAssignmentsError(ModelingError):
    pass




[docs]class TypeConstructionError(ModelingError):
    pass




[docs]class InvalidDeclarationError(ModelingError):
    pass




[docs]class UnboundIdentifierError(ModelingError):
    pass




[docs]class NotFoundError(ModelingError):
    pass