Next / Previous / Shipman's Home Sweet Homepage / Site map

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
    #   ... ]

Next: Permissible Cleanroom control structures
See also: Writing Cleanroom intended functions
Previous: Cleanroom intended functions: Preconditions
Site map
John W. Shipman, john@nmt.edu
Last updated: 2002/09/28 01:16:17
URL: http://www.nmt.edu/~shipman/soft/clean/partial-i-f.html