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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,2e5075246df9e43b
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 30 May 2009 18:02:20 +0200
From: Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>
Reply-To: rm.tsoh+bauhaus@maps.futureapps.de
User-Agent: Thunderbird 2.0.0.21 (Windows/20090302)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: GNAT and JVM
References: 
 <e4c0ffa9-bf92-4d8d-9738-515a8fe50287@g19g2000yql.googlegroups.com>
 	<4a207b14$0$30228$9b4e6d93@newsspool1.arcor-online.net>
 <f068cad0-884f-408b-b5c9-2d9b27c7664d@w40g2000yqd.googlegroups.com>
 	<4a214155$0$31878$9b4e6d93@newsspool3.arcor-online.net>
 <34c47b3e-1493-4a8f-add0-85f8402c5aa2@a7g2000yqk.googlegroups.com>
In-Reply-To: 
 <34c47b3e-1493-4a8f-add0-85f8402c5aa2@a7g2000yqk.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Message-ID: <4a21588c$0$31328$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 30 May 2009 18:02:20 CEST
NNTP-Posting-Host: 459c9beb.newsspool4.arcor-online.net
X-Trace: 
 DXC=`o<4cacOZS3D]ncZ]`hZ;14IUK<Cl32<14Fo<]lROoR1^YC2XCjHcb9`\GJa5o:626;9OJDO8_SK6NSZ1n^B98i:9m]WI^APb\=
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:6125
Date: 2009-05-30T18:02:20+02:00
List-Id: <comp.lang.ada>

Alexey Veselovsky wrote:
>> :-� Last time I checked with SofCheck's java2ada,
>> version 50.0 files did work...  That's AppletMagic,
>> not GNAT, but it leaves a choice, so it isn't universally
>> impossible to create Ada specs from modern class files :-).
> 
> Why?

Pick the compiler you need and all is well.

O.K., not perfectly well because JGNAT (old),
JGNAT (new), and AppletMagic (any) use almost
the same conventions on the Ada side, but not
exactly the same conventions.

So when you run java2ada (AppletMagic) on a .class file,
not jvm2ada (JGNAT), it produces an Ada package with
some minor differences from what would be produced
by jvm2ada.  Standards are good. ;-)

See
http://en.wikibooks.org/wiki/Ada_Programming/Platform/VM/Java
for some more on this.

(The page is now in need of an update so that it describes
the new JGNAT conventions, too.)