Discussion :

[zetterberg_10]

Bonjour,

Supposons une procédure a qui appelle une procédure b.
La précondition de la procédure a doit-elle englober la précondition de la procédure b ? (Sachant qu'on utilise aucune variable globale => quand on veut les utiliser on les appelle via les paramètres de la procédure)


Merciii.

[Giovanny Temgoua]

Non pas à mon avis. Je pense que chaque procédure doit vérifié si la précondition est correcte avant d'effectuer son opération.

Concrètement, si A doit effectuer certains calculs et B est utilisée pour effectuer une division de deux nombres x et y (divise x par y); la précondition de A ne s'assure pas que y est différent de 0! c'est le rôle de B de le faire...

A+