Discussion :

[Choupinou]

Bonjour,

J'aimerais mettre en place de la programmation par contrat : ajouter des pr� et post conditions � une fonction.
J'aimerais pouvoir faire �a:

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
/* declaration de la fonction toto */
function toto(i) {
     var a = 5/i;
     return a;
}
 
toto.preCondition = function(i) {
     assert(i!=0, "i must not be null");
}
 
toto.postCondition = function(i, rv) {   // rv is the returned value
     assert(rv==(5/i));
}
 
 
/* utilisation */
toto(1);
// => la pré et post condition sont appelées automatiquement et testent si les assertions sont vraies

Voici ce que j'arrive � faire pour l'instant:

Code :

S�lectionner tout - Visualiser dans une fen�tre � part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
Function.prototype.contract = function() {
	this.preCondition(arguments);
	this.call(arguments);
	this.postCondition(arguments);
};
 
var toto = function() {
	console.log('toto');
}
 
toto.preCondition = function() {
	console.log('pre');
}
toto.postCondition = function() {
	console.log('post');
}
toto.contract();
 
// => affiche:
// pre
// toto
// post

L� o� je bloque c'est pour garder ce fonctionnement sans passer par l'appel toto.contract() mais directement par toto().

Quelqu'un aurait une id�e ?

Merci d'avance

PS: Merci de m'indiquer si ce n'est pas clair.

[emmanuel.remy]

http://oldmoe.blogspot.com/2008/02/a...revisited.html



ERE

[Choupinou]

Merci pour le lien.

J'ai trouv� une librairie qui a l'air plut�t pas mal:
http://www.cerny-online.com/cerny.js/

Elle g�re la programmation par contrat, du profiling de code, des loggers, ...

Je vais la tester

[emmanuel.remy]

Ai regard� rapidement la librairie que tu as trouv�e.
Cela semble tr�s complet et m�me beaucoup plus que ce que tu souhaitais ! Elle me semble aussi de prime abord pas �vidente � utiliser.

Pourras tu stp nous laisser tes impressions apr�s quelques manipulations ?

Merci,


ERE