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-Thread: a07f3367d7,6a77bfa7132ac95c X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.66.5.170 with SMTP id t10mr913922pat.22.1364050389887; Sat, 23 Mar 2013 07:53:09 -0700 (PDT) Path: q9ni25646pba.1!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!newsfeed1.swip.net!aioe.org!.POSTED!not-for-mail From: "John B. Matthews" Newsgroups: comp.lang.ada Subject: Re: Ada/JVM: cannot import abstract subprogram Date: Sat, 23 Mar 2013 10:53:07 -0400 Organization: The Wasteland Message-ID: References: NNTP-Posting-Host: LQJtZWzu+iKlBROuDg+IUg.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: MT-NewsWatcher/3.5.3b3 (Intel Mac OS X) X-Notice: Filtered by postfilter v. 0.8.2 X-Received-Bytes: 2130 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Date: 2013-03-23T10:53:07-04:00 List-Id: In article , Shark8 wrote: [...] > But there's a problem: in many of the files there are subprograms > marked abstract and then pragmas for importation yielding the error > of "cannot import abstract subprogram" -- this leads me to believe > there is something wrong with the jvm2ada packaged w/ GNAT GPL 2012 > {remember it didn't generate these errors a couple years ago}... is > anyone else having similar troubles? (I remember it being fairly easy > to get the JVM-GNAT to generate [and interface w/] class-files, the > rough spot being the Java-ideology of having all operations be on > references and the Ada-ideology of operating on the types > themselves.) In Java, it's possible to instantiate an anonymous subclass of an abstract class [1], but it's a compile-time error to instantiate an abstract class directly [2]. Absent first-hand experience with jvm2ada, might this represent a way to enforce a similar compile-time restriction on an Ada client that tries to import an abstract parent, rather than a concrete subclass? [...] [1]: [2]: -- John B. Matthews trashgod at gmail dot com