Discussion :

[mehdiyou]

Bonjour tout le monde,

j'ai un projet à faire en utilisant la programmation par contrat, est ce qu'il y aurait quelqu'un qui pourrai m'aider à trouver des exemples de code source en java sur ce type de programmation,

merci beaucoup les amis et bonne journée

[ZeRevo]

En reprenant l'exemple de wikipédia sur le calcul de la racine carrée d'un nombre, on arrive à ç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
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
 
public class Test {
 
	public static void main(String[] args) throws Exception {
		Test test = new Test();
		System.out.println(test.racine(2));
	}
	public double racine(double x) throws Exception {
	    if (!precondition(x)) {
	      error("precondition failed");
	   }
 
	   // traitement de la racine
	   double resultat = Math.sqrt(x);
 
	   if (!postcondition(resultat, x)) {
	      error("postcondition failed");
	   }
	   return resultat;
	}
 
	private void error(String error) throws Exception  {
		throw new Exception("error = " + error);
	}
 
	private boolean precondition(double x) {
	    return (x >=0) ?  true : false;
	}
 
 
	private boolean postcondition(double resultat, double x) {
	    return (resultat >=0 && (resultat * resultat == x)) ?  true : false;
	}
}

[professeur shadoko]

remarque sur le code ci-dessus: l'exception correspondant à une précondition non remplie (argument illegal) doit être un descendant de RuntimeException (par exemple IllegalArgumentException).
Pourquoi? parque c'est une condition connue du code appelant et testable par lui.

à mon humble avis la postcondition serait, elle, mieux avec une assertion: on n'aurait alors pas pollué la méthode par une Exception qui n'a rien à faire ici.

edit: tant que j'y suis je suis prêt à parier un grain de sel contre un grain de poivre que la postcondition ne fonctionne pas pour certaines valeurs de l'argument.

[Invité]

Salut,

Il existe pour java tout un tas de lib pour faire de la programmation par contrats, notamment JML qui permet pour ce genre de postconditions d'introduire un epsilon, et qui ne pollue pas le code avec des exceptions

A plus

[slim_java]

salut .
pour moi , j'ai appris la programmation par contrat avec le langage Eiffel

[ZeRevo]

remarque sur le code ci-dessus: l'exception correspondant à une précondition non remplie (argument illegal) doit être un descendant de RuntimeException (par exemple IllegalArgumentException).
Pourquoi? parque c'est une condition connue du code appelant et testable par lui.

à mon humble avis la postcondition serait, elle, mieux avec une assertion: on n'aurait alors pas pollué la méthode par une Exception qui n'a rien à faire ici.

.

Tu pourrais nous donner un example d'assertion j'en ai jamais utilisé.
De même pourquoi la RuntimeException est elle plus intéressante à utiliser que l'Exception ?

edit: tant que j'y suis je suis prêt à parier un grain de sel contre un grain de poivre que la postcondition ne fonctionne pas pour certaines valeurs de l'argument

Oui il doit y avoir des problèmes avec des valeurs arrondies

[professeur shadoko]

Tu pourrais nous donner un example d'assertion j'en ai jamais utilisé.
De même pourquoi la RuntimeException est elle plus intéressante à utiliser que l'Exception ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
assert presqueEgal(resultat*resultat, x) ; // en supposant qu'on écrive cette méthode

Ici c'est une RuntimeException parceque la responsabilité de l'erreur incombe au code appelant.
Une exception controlée (non Runtime) oblige le code appelant à capturer (ou propager) parceque le code appelant ne connait pas les conditions de l'erreur.