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,b06e34a8b845b068 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-11-28 22:04:03 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!feed3.newsreader.com!newsreader.com!news-xfer.cox.net!cox.net!nntp2.aus1.giganews.com!nntp.giganews.com!nntp3.aus1.giganews.com!nntp.clear.net.nz!news.clear.net.nz.POSTED!not-for-mail NNTP-Posting-Date: Fri, 29 Nov 2002 00:04:02 -0600 From: Craig Carey Newsgroups: comp.lang.ada Subject: Re: C to Ada for windows? Date: Fri, 29 Nov 2002 19:04:07 +1300 Message-ID: <0quduukhdts9fbnqccfaiudhflautjocbf@4ax.com> References: <2ecf22d9290d3669ff87b7c85342e5f5.110780@mygate.mailgate.org> X-Newsreader: Forte Agent 1.9/32.560 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Organization: Customer of Mercury Telecommunications Ltd Cache-Post-Path: drone4.qsi.net.nz!unknown@tnt1-113.quicksilver.net.nz X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) X-Original-NNTP-Posting-Host: drone4-svc-skyt.qsi.net.nz X-Original-Trace: 29 Nov 2002 19:03:58 +1300, drone4-svc-skyt.qsi.net.nz NNTP-Posting-Host: 203.97.37.6 X-Trace: sv3-1U6ZeFEQq4SESC25G7eEBoL8d5lTJ/5xT58PXr8okgQj6MvpJtyJHyQlYu1q+6zwHWm766fgkhnUjkj!fP/kyqrYR4mzFo5YaSQAygIvLxuEZAd5ybHvKOGassdUeh9aScQOvDA4JSFKvxVb0cxeHDV+226k!QyZpjZg= X-Complaints-To: abuse@clear.net.nz X-DMCA-Complaints-To: abuse@clear.net.nz X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: archiver1.google.com comp.lang.ada:31305 Date: 2002-11-29T19:04:07+13:00 List-Id: On Mon, 25 Nov 2002 11:18:12 +0000 (UTC), "Sim Con" wrote to comp.lang.ada: >Hello! Is there a program that converts C to Ada for [the] Windows OS?. >Thanks in advance!. Sure there could be a C to Ada parser. ASF+SDF seems to be a best/quality choice for implementing a C to Ada 95 parser. It can even separate out "xy" as "x * y" and implement the mixfix notation. After the abject failure of the DoD (AJPO??) funded JGNAT project I became sure that a parser would port all languages to Ada 95. Here is the ASF+SDF reference manual: http://www.cwi.nl/projects/MetaEnv/meta/doc/manual/user-manual.html Some interesting parts are: (*) section 9.14 ("Equations"). Equations can specify the output when the parser is rewriting a program. (*) section 10.3 ("Code Generation"). There is an example in that section implying that ASF+SDF can transform programs. It can also rewrite yacc rules into ASF+SDF format. The software installs easily and it compiles in Cygwin, and an investigation could be held by the absence of information on what MS-DOS (etc.) command causes the Assembly language example to run correctly. Adagide has a prettifier. (They have a generic program prettifier named). Eiffel to Ada is a parser that could be nice following those blowhard arguments saying that there had to be two types of assertion pragma, one for the top and a quite different assert pragma at the bottom of procedures. For those that don't like their Ada 95 compiler, could later preprocess their *.ada files and strip off all the language extensions that the ARG members would not vote for. Craig Carey Ada 95 mailing lists: htp://www.ijs.co.nz/ada_95.htm