suivant:
Postconditions
monter:
Assertions avec JML
précédent:
Invariant de classe
Préconditions
Les préconditions se placent juste avant l'entête des méthodes.
Exemple 3.1
Exemple de précondition
Marc 2003-03-23
![\begin{verbatimtab}[4]
/**
* Permet de calculer ...
* @param x paramètre util...
...getResultatDuCalcul(Complexe x) {
// Le code de la méthode
}
\end{verbatimtab}](img2.png)