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



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.