Discussion :

[Invité]

Bonjour,

Je vois parfois écrit quelque chose dans le genre :

Code :

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

1
2
3
4
5
6
7
8
 
procedure test
   foo : objet
   function bar(o : objet) return val;
   test : val
begin
   test := foo.bar;
end;

Existe- t- il une astuce semblable avec Ada ?
Merci pour vos réponses.

[Lowelace]

Bonjour,

Avec Ada 95, a été introduit la notion de type tagged qui permet d'utiliser les mêmes paradigmes objet déjà défini dans d'autres langages :

Code :

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

1
2
3
4
5
6
7
8
 
type object is tagged null record; -- classe sans attribut.
type object is tagged record
A: integer;
end record; -- classe avec attributs
type child_objet is new objet with record
B :integer;
end record; -- classe enfant à laquelle on a ajouté B comme attribut.

Les procédures et fonctions définies dans le même scope que la déclaration du type et ayant au moins un paramètre de ce type sont définies comme les primitives (les méthodes) de l'objet :

Code :

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

function bar(o : object) return value;

Par contre, la notation pointée n'est apparue qu'avec Ada 2005 :

Code :

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

1
2
3
 
bar(o=> foo); -- Ada 95 et suivantes
foo.bar;        -- Ada 2005 et suivantes

Voilà pour les basiques. Après appréhender les concepts et les règles inhérents à l'implémentation Ada est un peu difficile voire perturbant même pour les développeurs C++ ou Java, ou autres.

Si tu as des questions, n'hésite pas.

[Jaizu]

Bonjour,

Je me permets d'apporter une petite (mais cruciale) correction ici : la méthode (primitive ou de classe) doit avoir un Object (ou Object'Class) en premier argument sinon, ça ne passe pas. La notation préfixée ne fait, en somme, que remplacer le premier argument par l'objet qui sert de préfixe. Un exemple simple pour vous convaincre :

Code Ada :

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

1
2
3
 
type Dummy is separate;
function Compare_To(Left : in Dummy; Right : in Object) return Boolean;

Compare_To n'en demeure pas moins une primitive, mais elle n'est pas préfixable.

D'avance désolé pour les anglophobes :
- Méthodes primitives : http://en.wikibooks.org/wiki/Ada_Pro...ive_operations
- Notation préfixée : http://www.adaic.org/resources/add_c...l/Rat-2-3.html

[Invité]

Ok, Merci bien pour vos réponses.

[Invité]

Bonsoir,

Je suis en cours de premiers essais, je voudrais savoir si en théorie je peux autant faire une procédure qu'une fonction ?

[Jaizu]

Oui, cela fonctionne autant pour une procédure qu'une fonction.

[Invité]

Ah yes, merci Jaisu, le meilleur, c'est que ça marche même avec le premier paramètre dans le mode in out.
C'est formidable.