IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Services Web Java Discussion :

Annotations Post/Précondictions et WSDL


Sujet :

Services Web Java

  1. #1
    Membre habitué
    Profil pro
    Inscrit en
    Novembre 2010
    Messages
    10
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Novembre 2010
    Messages : 10
    Par défaut Annotations Post/Précondictions et WSDL
    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.

  2. #2
    Membre habitué
    Profil pro
    Inscrit en
    Novembre 2010
    Messages
    10
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Novembre 2010
    Messages : 10
    Par défaut
    up

Discussions similaires

  1. Réponses: 3
    Dernier message: 15/03/2007, 09h04
  2. [Kylix] Kylix 3 & WSDL
    Par cpu dans le forum EDI
    Réponses: 2
    Dernier message: 10/10/2002, 12h39
  3. Post incrémentation?
    Par Defrag dans le forum C
    Réponses: 4
    Dernier message: 08/10/2002, 10h36
  4. probleme d'installation sur d'autres postes
    Par VBkiller dans le forum Composants VCL
    Réponses: 4
    Dernier message: 18/09/2002, 18h14

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo