To view the contents of a class click on the class name in the left column.
Each method of a class is described by a table like the one depicted below.
method_name / arity
| func | This cell displays the function of the method, i.e. what it does. |
| pre | Any preconditions that must be valid before the method is called are described here. |
| post | The (side) effects and postconditions of the method are described here. |