Description of an operation

Contents

The description of an operation contains:

· "summary" and "description" notes

· the list of parameters (with their "description" notes)

· return parameters (with their "summary" notes)

· pre-conditions

· post-conditions