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,34872f3f22b5b140 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-11-08 05:12:18 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!wn13feed!wn11feed!worldnet.att.net!207.217.77.102!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!newsread1.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3DCBC4C9.AD436CD9@earthlink.net> From: "Marc A. Criley" Organization: Quadrus Corporation X-Mailer: Mozilla 4.73 [en] (X11; U; Linux 2.2.14-5.0 i686) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Suggestion for gnatstub References: <3dcb9e51$0$303$bed64819@news.gradwell.net> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Fri, 08 Nov 2002 12:56:54 GMT NNTP-Posting-Host: 63.191.72.113 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.prod.itd.earthlink.net 1036760214 63.191.72.113 (Fri, 08 Nov 2002 04:56:54 PST) NNTP-Posting-Date: Fri, 08 Nov 2002 04:56:54 PST Xref: archiver1.google.com comp.lang.ada:30582 Date: 2002-11-08T12:56:54+00:00 List-Id: Victor Porton wrote: > > Please change gnatstub so that it would put > > begin > raise Program_Error; -- FIXME: implement > end; > > instead of > > begin > null; > end; > > for bodies of procedures. Placing that is now is obviously unreliable. > At very least gnatstub should put the comment indicating that it is > only a stub. Making such a suggestion in comp.lang.ada will have zero effect, as few ACT personnel peruse this newsgroup with any regularity. And as Robert Dewar was wont to say, "We don't take suggestions from public newsgroups!" Anyway, the gnatstub sources are readily available, modify it to generate the output you desire. (I do think it would be useful to have gnatstub operate as you suggest, though perhaps make it selectable via a command-line switch, e.g., -gnatharsh.) Marc A. Criley Quadrus Corporation www.quadruscorp.com