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.8 required=5.0 tests=BAYES_00,INVALID_DATE, MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.1 6/24/83; site gatech.UUCP Path: utzoo!watmath!clyde!akgua!gatech!arnold From: arnold@gatech.UUCP (Arnold Robbins) Newsgroups: net.lang.ada Subject: YACC and LEX ada inputs Message-ID: <5843@gatech.UUCP> Date: Mon, 9-Apr-84 16:23:46 EST Article-I.D.: gatech.5843 Posted: Mon Apr 9 16:23:46 1984 Date-Received: Wed, 11-Apr-84 00:18:28 EST Organization: Georgia Tech School of ICS, Atlanta List-Id: Attention ADA buffs: The following note was published on the ARPA INFO-ADA mailing list. HFISCHER@usc-elb was kind enough to send me the files he mentions here, and he gave me permission to post them on the USENET. I have posted them in 'shar' format to net.sources. Original author's note: ----- I am contributing to the public domain a set of files which define ANSI Ada in terms acceptable to Unix'es YACC and LEX. This allows users to define Ada Design Language tools, such as annotational processors, automatic documentation production tools, dependency checkers, and the like, easily, and in the transportable Unix environment. It also allows users to experiment with Ada grammars without having to wait for validated compilers for their own unix systems, and without the need for massive cash outlays for proprietary domain products. Users are requested to forward corrections and bugs to the author. Over 400 acvc tests have been run against the yacc grammar. The two which fail appear to be in conflict with the reference manual. The grammar can be FTP'ed, or obtained via USEnet, but the users are kindly requested to send a short synopsis of their application to the author. There are two ways to obtain the grammar, and a third will be tried at the end of April: If you can FTP files: usc-eclb: contains ada.y -- the yacc specification of Ada's grammar lex.in -- the accompanying lex input y.statistics -- yacc statistics to size your yacc main.h -- the main.h program makelexyacc -- to do the lexing and yaccing makeada -- to compile the lex and yacc outputs acvc-failures -- the two acvc tests which fail my grammar. If you are usenet-accessable only: send a message to {cepu,trwrb}!litvax!fischer and I will mail the code to you via usenet. (trwrb is accessable from most major usenet nodes, such as decvax and berkeley) During April I will try to compile the yacc grammars for IBM's PC/IX, and if successful, will distribute the files via PC format floppy (it is unlikely that the yacc will fit in the PC's 64K limitation, but the grammar analyzer probably can be "chopped" to fit). (Note that while lex accepts table sizes in its input, yacc requires that you re-make it for the proper table sizes. You need to look at y.statistics to size your configuration's yacc before you compile the yacc grammar.) Good luck! Herm Fischer ------- Editor's comment: This followup appeared shortly after: ----------- From: GOODENOUGH%usc-isi.arpa@csnet-relay.csnet Subject: Re: YACC Grammar and ACVC test errors Date: Mon, 2-Apr-84 02:58:48 EST The two tests reported to be in error by Herm Fischer have been fixed and will appear in corrected form in the final version of release 1.4. ------- So, get over to net.sources, and enjoy! P.S., the author CAN recieve uucp mail, so send comments etc, to him. I am just doing him a favor and posting it to the net: His machine does not have net.sources. -- Arnold Robbins CSNET: arnold@gatech ARPA: arnold.gatech@CSNet-relay UUCP: ...!{akgua,allegra,rlgvax,sb1,ut-sally}!gatech!arnold "Look Bruce! It's the Bat Signal!"