Next: , Previous: Signaling and Handling Conditions, Up: Condition System Concepts


9.1.5 Assertions

Conditional signaling of conditions based on such things as key match, form evaluation, and type are handled by assertion operators. The next figure shows operators relating to assertions.

assert check-type ecase
ccase ctypecase etypecase

Figure 9.7: Operators relating to assertions.