Re: Length & Last Attributes.

[Matthew Heaney <matthew_heaney@acm.org>]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1395 bytes --]

"BARDIN Marc" <Marc.Bardin@wanadoo.fr> writes:

>     How to get corrects values for Length & Last attributes for a string
> AFTER it has been defined in the program ?
> In the following example program, these 2  attributes aren't corrects after
> Max_Descripteur value is known.

procedure Op (S : in String) is
begin
   ... S'First ...
   ... S'Last ...
   ... S'Length ...


> 
> Anticipated thanks.
> Marc
> 
> 
> with Text_Io; use Text_Io;
> procedure Test_Tri_Fichier is
> 
>    Max_Descripteur : Positive;
>    subtype Ch_L_Cha�ne is String (1..Max_Descripteur);

The rule is "linear elaboration."  The problem is that you elaborate the
subtype Ch_L_Chane using object Max_Descipteur, which hasn't been given
a value!  

So your subtype will have some value for T'Last, but who knows what it
will be?

The solution is to elaborate the subtype AFTER giving Max_Descripteur a
value.


>    Fin_Sc : Positive range Ch_L_Cha�ne'range;
>    package Ent_Es is new Text_Io.Integer_Io (Integer);
> 
> begin
>    Max_Descripteur := 5;

Now declare your subtype:

   declare
      subtype Ch_L_Chane is String (1 .. Max_Descripteur);
   begin
      ... Ch_L_Chane'Length ...
      ... Ch_L_Chane'Last ...      

      

>    Put (" Length : "); Ent_Es.Put (Ch_L_Cha�ne'Length, 5);
>    Fin_Sc := Ch_L_Cha�ne'Last;
>    Put (" Fin_Sc : "); Ent_Es.Put (Fin_Sc, 5);
> end Test_Tri_Fichier;