Next: , Previous: , 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. Figure 9–7 shows operators relating to assertions.

  assert  check-type  ecase      
  ccase   ctypecase   etypecase  

  Figure 9–7: Operators relating to assertions.