From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.5 required=5.0 tests=BAYES_00,INVALID_MSGID,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII
X-Google-Thread: 103376,d8aa0b11d3c79b63
X-Google-Attributes: gid103376,public
From: "Pascal Obry" <p.obry@der.edf.fr>
Subject: Re: Access to strings and string subtypes?
Date: 2000/03/17
Message-ID: <8at4p8$51r$1@clnews.edf.fr>#1/1
X-Deja-AN: 598715303
References: <38d10a7b.91796987@news.rrds.co.uk>
 <Pine.A41.3.96-heb-2.07.1000316192712.95856A-100000@pluto.mscc.huji.ac.il>
 <38d11f2a.97092271@news.rrds.co.uk>
 <Pine.A41.3.96-heb-2.07.1000317054439.123892A-100000@pluto.mscc.huji.ac.il>
 <38d20611.156204380@news.rrds.co.uk>
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300
X-Complaints-To: newsadm@news.edf.fr
X-Trace: clnews.edf.fr 953292392 5179 130.98.42.146 (17 Mar 2000 11:26:32 GMT)
Organization: EDF
X-MSMail-Priority: Normal
NNTP-Posting-Date: 17 Mar 2000 11:26:32 GMT
Newsgroups: comp.lang.ada
Date: 2000-03-17T11:26:32+00:00
List-Id: <comp.lang.ada>


Steve Folly <steve.folly@rdel.co.uk> a �crit dans le message :
38d20611.156204380@news.rrds.co.uk...

> As I haven't got a copy of Gnat then, (out firewall prevents us
downloading
> unauthorised software), and you have, could you possibly tell me what Gnat
> thought of the particular piece of code I posted?

Compiling: test.ads (source file time stamp: 2000-03-17 11:18:34)

     8.    A : aliased Name;
           |
        >>> warning: aliased object has explicit bounds
        >>> warning: declare without bounds (and with explicit
initialization)
        >>> warning: for use with unconstrained access

     9.    C : aliased String (1..10);
           |
        >>> warning: aliased object has explicit bounds
        >>> warning: declare without bounds (and with explicit
initialization)
        >>> warning: for use with unconstrained access

    12.    E : Ref := A'Access; -- Does not statically match designated
subtype ???
                      |
        >>> object subtype must statically match designated subtype

    13.    F : Ref := C'Access; -- Does not statically match designated
subtype ???
                      |
        >>> object subtype must statically match designated subtype

 17 lines: 2 errors, 6 warnings
gnatmake: "test.ads" compilation error


> And a solution to the problem?
>

See above :)

Pascal.