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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c5e219ab41be8c00
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-12-19 08:01:27 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsxfer.eecs.umich.edu!news.bu.edu!inmet!not-for-mail
From: Tucker Taft <stt@averstar.com>
Newsgroups: comp.lang.ada
Subject: Re: JGNAT and ObjectAda and ...
Date: Tue, 19 Dec 2000 11:01:21 -0500
Organization: AverStar (formerly Intermetrics)  Burlington, MA  USA
Message-ID: <3A3F8651.7CDB13B6@averstar.com>
References: <3A3E8A9E.D12673A7@libertysurf.fr> <91nur2$ulk$1@nnrp1.deja.com>
NNTP-Posting-Host: nebula.burl.averstar.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: inmet2.burl.averstar.com 977241682 7841 141.199.8.77 (19 Dec 2000
 16:01:22 GMT)
X-Complaints-To: usenet@inmet2.burl.averstar.com
NNTP-Posting-Date: 19 Dec 2000 16:01:22 GMT
X-Mailer: Mozilla 4.75 [en] (X11; U; SunOS 5.7 sun4u)
X-Accept-Language: en
Xref: supernews.google.com comp.lang.ada:3253
Date: 2000-12-19T16:01:22+00:00
List-Id: <comp.lang.ada>

Robert Dewar wrote:
> 
> In article <3A3E8A9E.D12673A7@libertysurf.fr>,
>   Thierry&Annick <tajz@libertysurf.fr> wrote:
> > Does anybody knows about a project for an official (ISO ...)
> JVM
> > targetted Ada95 to Java librairies ?
> > It seems to me that the way GNAT and ObjectAda are handling
> Java
> > libraries accesses  differs : GNAT uses a language extension
> "with type
> > ... is access", and OA does not.
> 
> The "with type" extension is an ARG approved extension, so
> eventually all compilers should support this.

Though the "with type ... is access" part is not included
in the current ARG proposal (and it is still a "work item"
rather than in the "approved" state).

The current ARG proposal has "with type P.T;" and "with type P.T is tagged;"
as two possible "with type" clauses.  An anonymous access type
has also been proposed of the form "P.T'Class_Access".  Together
these two proposals approximate the "with type ... is access" feature.

-- 
-Tucker Taft   stt@averstar.com   http://www.averstar.com/~stt/
Technical Director, Commercial Division, AverStar (formerly Intermetrics)
(http://www.averstar.com/services/IT_consulting.html)  Burlington, MA  USA