Re: limited agregate and limited components default initialization

[Jean-Claude Rostaing <00120260a@gmail.com>]

Talking about limited aggregates, how to make the exemple below with protected types work ? It should be pretty much the same as what I already did, yet...
package P is
   type Essai (<>) is limited  private;
   function Constructor (v: Natural) return  ESSAI;
   procedure CHANGE (Obj: Essai; V: Natural);
private
   protected type ESSAI (D1: Natural) is 
      procedure CHANGE (V: Natural);
   private
      Private_var: Natural := D1; 
   end Essai;
end P;

package BODY P is
   -- procedure change(Obj: Essai; V: natural) renames ESSAI.CHANGE;
   procedure CHANGE (Obj: ESSAI; V: NATURAL) is
   begin
      OBJ.CHANGE(V); -- 5
   end CHANGE;
   function CONSTRUCTOR ( V : NATURAL) return ESSAI is
     (Essai(D1 => V)); -- 9

   protected body Essai is
      procedure CHANGE (V: natural) is
      begin
         PRIVATE_VAR := V;
      end change;
   end Essai;
end P;

I get
p.adb:5:10: prefix of protected procedure or entry call must be variable
p.adb:9:14: invalid prefix in call

Actually, I wanted CHANGE to be a renaming of Change, but since Essai here behave more like a package, the protected operation doesn't its protected object as an argument, so the profile wouldn't be the same, so a renaming can only point to a specific task/protect object's entry.

I want to force people to use a constructor on any object of ESSAI type through setting its discriminants. Discriminants who would serve to set the default value with the constructor, so they must be hidden from the user.

I must confess I never used anything protected types before... I thought the use would be more intuitive ?