arnold@gatech.UUCP (Arnold Robbins) (04/09/84)
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:<HFischer> 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!"