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