4 Handling exceptional–conditions

MMCK Exceptional Conditions allows programs to deal with exceptional situations using two cooperating facilities: The exception system for raising and handling exceptional situations, and the condition system for describing these situations.

The exception system allows the program, when it detects an exceptional situation, to pass control to an exception handler, and to dynamically establish such exception handlers. Exception handlers are always invoked with an object describing the exceptional situation. MMCK Exceptional Conditions’s condition system provides a predefined taxonomy of such descriptive objects, as well as a facility for extending the taxonomy, Exceptional–condition object.

This document describes version 0.1.0-devel.1 of MMCK Exceptional Conditions.