Le 17 mai 08 à 21:23, Ugo Jardonnet a écrit :
https://svn.lrde.epita.fr/svn/oln/trunk/milena
Index: ChangeLog from Ugo Jardonnet <jardonnet@lrde.epita.fr>
Fix algebra::about_equal.
if abs(a-b) < mln_epsilon(T), a and b are about_equal. becomes if abs(a-b) <= mln_epsilon(T), a and b are about_equal.
In particular, this update fix the following bug:
quat q; q.set_unit(); assert(q.is_unit()) could fail even if q != 0;
set_unit() now has is_unit() as postcondition. I realize that it has to be fix also since q could be equal 0;
Ce n'est pas l'endroit où placer ces commentaires !!! Relire le guide, mince : https://www.lrde.epita.fr/dload/guide/guide.txt 6.2.3 ChangeLog : Le mal ========================= [...] - N'oubliez pas de rapporter tous les changements. Cela prend du temps, je vous l'accorde, mais c'est un investissement pour les futurs mainteneurs. - Expliquer dans le `ChangeLog' pourquoi le changement est nécessaire peut être utile, cependant l'explication est habituellement mieux placée en commentaire dans le code. Ce commentaire à sa place ailleurs : - dans le code, s'il est pérenne et aide à la compréhension de celui- ci ; - dans le *message* associé au comit (et pas dans le ChangeLog lui- même) ; - ou encore sur une page Wiki du Trac, pourquoi pas. Mais pas dans le ChangeLog.
* mln/algebra/quat.hh: .
C'est inadmissible. La seule info pertinente du ChangeLog n'est pas là.
quat.hh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-)
Index: mln/algebra/quat.hh --- mln/algebra/quat.hh (revision 1964) +++ mln/algebra/quat.hh (working copy) @@ -410,6 +410,9 @@ quat& quat::set_unit() { v_.normalize(); + + assert(this->is_unit());
Dans Milena, on utilise `mln_assertion' (cf. mln/core/contract.hh) plutôt que `assert' directement. Mais ici, c'est `mln_postcondition' que tu veux utiliser. [...]