LRM:3.10.1(5), Can't reference incomplete type compile error

LRM:3.10.1(5), Can't reference incomplete type compile error

[Dominic D'Apice]

Hi all, i got this compile error : 

Error: line 24 col 48 LRM:3.10.1(5), Can't reference incomplete type

See the "error =>" flag, Can someone help me with that ? thanks

Dominic

------------------------------------------------------------------------

ADS
---

PRIVATE
type reservation;
type louer is access reservation;

procedure allouer_res (ptr_reservation   : in out louer ;
                       objet_reservation : in  "error =>"reservation);


ADB
---

type reservation is record
  num  : natural := 0;						
  plancher  : integer := 20;
  plafond   : integer := 20;
  classe    : auto_res := econo;
  nomclient : string(1..256);
end record;

procedure allouer_res (ptr_reservation   : in out louer ;
                       objet_reservation : in  reservation ) is
begin 

  null;

end allouer_res;

------------------------------------------------------------------------
---

Re: LRM:3.10.1(5), Can't reference incomplete type compile error

[Robert A Duff]

"Dominic D'Apice" <dapiced@sympatico.ca> writes:

> Hi all, i got this compile error : 
> 
> Error: line 24 col 48 LRM:3.10.1(5), Can't reference incomplete type
> 
> See the "error =>" flag, Can someone help me with that ? thanks
> 
> Dominic
> 
> ------------------------------------------------------------------------
> 
> ADS
> ---
> 
> PRIVATE
> type reservation;
> type louer is access reservation;
> 
> procedure allouer_res (ptr_reservation   : in out louer ;
>                        objet_reservation : in  "error =>"reservation);

You can't refer to an incomplete type except via a pointer.
You might want:

    Objet_Reservation : access Reservation); 

Alternatively, you can move the record type into the private part,
before the declaration of allouer_res.

The exact rule is given in the RM paragraph mentioned in the error
message.

- Bob

Re: LRM:3.10.1(5), Can't reference incomplete type compile error

[Wes Groleau]

> Error: line 24 col 48 LRM:3.10.1(5), Can't reference incomplete type

> PRIVATE
> type reservation;
> type louer is access reservation;
> 
> procedure allouer_res (ptr_reservation   : in out louer ;
>                        objet_reservation : in     reservation);  -- ERROR

Since the structure of "reservation" is not defined, the compiler
has no way of generating the calling code to prepare to pass one
of them in to the procedure.  If the compiler were to use ESP or
looking elsewhere to find out the structure, it would be violating
other rules in addition to the rule cited.