Discussion :

[simovic]

Bonjour ,

J'essaie de déclarer une spécification d'un paquetage avec un type privé,
j'ai l'erreur suivante à la compilation

missing discriminants in full type declaration

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
 
package Table is
   type Objet (capacite : Integer :=1) is private;
   vide: constant Objet;
   pleine : constant Objet;
 
   procedure Deposer(n:Objet) ;
   procedure Prelever(n:Objet) ;
   function  EstVide return Boolean;
   function  EstPleine return Boolean;
 
private
   type Objet is new Integer;
   vide: constant Object := 0;
   pleine : constant Object := 100;
 
end Table;

Merci d'avance pour tout aide.

[Blackknight]

Ce qui est bien avec Ada, c'est que le compilateur te dit presque tout.
Dans ton cas, tu déclares Objet comme étant un type avec un discriminant dans ton package mais dans la partie private du package, tu déclares Objet comme étant un simple nouvel Integer.
Où est passé ton discriminant Capacite ?