Bonjour,

Je voudrais utiliser des annotations sur les méthodes (ou autres) d'un Web Service pour donner une spécification formelle de la capacité du Web Service, en utilisant des préconditions (require) et postconditions (ensure). Bon un exemple simple de code source qu'on peut trouver sur Wikipedia est:

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
public class CompteBancaireExemple {
 
    private int solde;
 
    private boolean isLocked = false; 
 
    //@ invariant solde >= 0 && solde <= 1000; 
 
    //@ ensures solde == 0;
    public CompteBancaireExemple() { ... }
 
    //@ requires montant > 0;
    //@ ensures solde == \old(solde) + montant;
    public void crediter(int montant) { ... }
 
    //@ requires montant > 0;
    //@ ensures solde == \old(solde) - montant;
    public void debiter(int montant) { ... }
 
    //@ ensures isLocked == true;
    public void lockCompte() { ... }
}
Je voudrais ensuite que le consommateur du Web Service puisse avoir ces spécifications (annotations). Est ce que avec ces annotations, l'interface du Web Service (WSDL) que le consommateur aura, contiendra ces annotation ?

Merci.