Cleanroom intended functions: Special I/Fs

Some of the side effects of programs don't fit nicely into the `state item := new value' model. Here are notations I use in Python for these:

Function return values: Any simple I/F can contain a line stating what value is returned by the function, such as:
```
    [ return x+y-delta ]
```
Exceptions: if an exception is raised, I use something like
```
    [ raise IndexError ]
```
If the program terminates, I use this line:
```
    [ stop execution ]
```

For Icon generators:

    [ generate description ]

For example:

    [ generate the names in symbolTable in alphabetical order
        by name, ignoring case ]

Next: Cleanroom intended functions: Compound I/Fs
See also: Writing Cleanroom intended functions
Previous: Cleanroom intended functions: Prose I/Fs
Site map