Exceptions

Exceptions¶

Warning

The class hierarchy is provisional for now. Catch ModelingError instead of a specific subclass.

exception momba.model.errors.ModelingError[source]¶: A general modeling error.

exception momba.model.errors.InvalidTypeError[source]¶

exception momba.model.errors.IncompatibleAssignmentsError[source]¶

exception momba.model.errors.TypeConstructionError[source]¶

exception momba.model.errors.InvalidDeclarationError[source]¶

exception momba.model.errors.UnboundIdentifierError[source]¶

exception momba.model.errors.NotFoundError[source]¶

previous

Functions

next

Exploration Engine