| Function
Interface Examples |
|
|
|
|
|
|
|
|
| void
PrintAverage( /* in */ float sum, |
|||||||
| /* in */ int count) |
|||||||
| //
Precondition: |
|||||||
| // sum is assigned
&& count > 0 |
|||||||
| // Postcondition: |
|||||||
| // The average sum/count
has been output on one line |
|||||||
| void Calc( /* in
*/ int alpha, |
|||||||
| /* inout */ int& beta ) |
|||||||
| //
Precondition: |
|||||||
| // alpha and beta are
assigned |
|||||||
| // Postcondition: |
|||||||
| // beta == beta@entry * 7
- alpha |
|||||||
