Action Exceptions and Composing Specs

Following is a sequence of steps to arrive at a precise type specification of the calendar.7 We assume that the calendar can return output values to the client and that all other interactions are internal details that should not be known to the client. We omit discussion of error conditions and exceptions for now they are covered in more detail in Section 3.6.3, Multiple Action Specs Two Styles, and Section 8.4, Action Exceptions and Composing Specs. 

Thus, here s how to write two specs for sqrt one for a valid call and the other for the exception behavior required for negative numbers. (Specifying exceptions is described in more detail in Section 8.4, Action Exceptions and Composing Specs.)... 

Hence, these two different styles of writing specs can be used to accomplish these two different goals of composing separate specifications. More details on dealing with exception conditions in specifications appear in Section 8.4, Action Exceptions and Composing Specs. 

---