Cleanroom intended functions: Partial specification

You can also write an intended function that has multiple cases, each with its own precondition:

    # [ if precondition-1 ->
    #	  intended-function-1
    #   if precondition-2 ->
    #	  intended-function-2
    #   ... ]

• The preconditions must be mutually exclusive.
• Any cases not covered by one of the preconditions are undefined.

Last updated: 2002/09/28 01:16:17
URL: http://www.nmt.edu/~shipman/soft/clean/partial-i-f.html