From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 26 Sep 93 16:41:48 GMT From: gvls1!bart.stars.reston.paramax.com!stars.reston.paramax.com!shields@loui e.udel.edu (Thomas E. Shields) Subject: Re: Need a yaccable/lexable Ada grammar Message-ID: List-Id: -- Several years ago, I developed the exact specifications you are asking for, based on some "not completely correct" lex/yacc specifications done by Herman Fischer at Litton back in 1984, which I got from SIMTEL20. I also made some changes to work with the then current version of flex, which may no longer be needed. The Ada syntax analyzer front end generated by these specifications, of course, accepts a superset of Ada'83 - the yacc specifications assume that you will write the additional checking in the yacc actions. The nature of my "corrections" to the original specifications was mainly to "narrow" the superset accepted by the generated front end, and to correct a few lexical flaws. I've posted these files several times over the intervening years, and most recently got flamed for posting source text and wasting bandwidth by some individuals not interested in the lex/yacc source specs. For some reason, my corrections haven't managed to get put on any ftp server (that I've noticed) to replace the originals. There are also specifications for UCI's aflex and ayacc (which generate Ada source code) to generate an Ada syntax analyzer front end available in the source distribution for those two tools from UCI somewhere. I have no information on the quality of those specifications. If anyone is interested, I'll be more than glad to email them to you; here are the file sizes - they will mail properly through most mailers I've encountered with no problems. -rw-r----- 1 shields 15796 Oct 11 1989 ada.l -rw-r----- 1 shields 28736 Oct 12 1989 ada.y Just send me a message - however, I'll be out of town most of next week, so I won't be able to respond to any such requests until next weekend at the earliest. Tom -------------------------------------------------------------------------- Thomas E. Shields, PhD, CCP Software Engineering - 7720 Software Technologist Unisys Government Systems Group (703) 620-7028 Systems Development/Information Systems (703) 620-7913 FAX 12010 Sunrise Valley Drive shields@stars.reston.paramax.com Reston, VA 22091 --------------------------------------------------------------------------