/ 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 ->
# if precondition-2 ->
# ... ]
- The preconditions must be mutually exclusive.
- Any cases not covered by one of the preconditions are undefined.
Next: Permissible Cleanroom control structures
See also: Writing Cleanroom intended functions
Previous: Cleanroom intended functions: Preconditions
John W. Shipman,
Last updated: 2002/09/28 01:16:17