Exceptions

Exceptions may be raised during syntax checking, code generation, simulation, or state space analysis. As CPN ML builds on top of Standard ML, we distinguish between exceptions that are declared as part of CPN ML and Standard ML exceptions.

CPN ML exceptions

The following exceptions are declared as part of CPN ML.

InternalError str Indicates that a serious error occurred during syntax checking, code generation, simulation, or state space analysis. str is a string containing a more detailed error message.

no_singleton Indicates an attempt to use the multi-set functionms_to_col to convert either an empty multiset or a multiset with more than one element to a single color.

NotValidDirExn str Indicates that an error occurred when initializing or accessing one of the output directories that are managed by output management. str is a string containing a more detailed error message.

SccGraphNotCalculated Indicates that the SCC graph should have been calculated before attempting to save a state space report.

A serious error has occurred if an InternalError exception is not handled by CPN Tools. If you encounter an InternalError exception (or an exception that has a name that starts with CPN'), please submit a bug report. Please include the net that caused the problem, and include a description of the situation that led to the exception.

Standard ML exceptions

The following Standard ML exceptions may also be raised when editing, simulating or analyzing a CP-net: