Need a yaccable/lexable Ada grammar

Need a yaccable/lexable Ada grammar

[cis.ohio-state.edu!magnus.acs.ohio-state.edu!math.ohio-state.edu!howland.]

Hi, folks.

I have a short little request here.  I would like to get a copy of a
yaccable/lexable grammar for Ada.

I know about Ayacc and Alex, but that's NOT what I want.  What I want is
the yaccable and lexable source code that can be fed into UNIX's yacc and
lex utilities, that will produce C source code, that can then be compiled
into an Ada compiler.  Make sense?

Someone sent me a copy of this about six months ago, but due to various
misunderstandings on my side, it got inadvertently deleted.  So I need it
again.. Sorry...

-------------------------------------------------------------------------------
      Mark Pettit      Internet:  Pettit@ACM.Org         ! Parrotheads of the
 Down to the Banana Republics / Down to the tropical sun !  Internet, UNITE!
 Go the expatriated Americans / Hopin' to find some fun  !  Buffett Forever!
-------------------------------------------------------------------------------
 GCS/MU -d+(--) p- c++ l+(-) u-- e+(*) m+(---) s+/++ !n h f+ g+ w t++ r y+(*)
-------------------------------------------------------------------------------
"Either he's dead or my watch has stopped!"
	--- Crow, "The Unearthly"

Re: Need a yaccable/lexable Ada grammar

[gvls1!bart.stars.reston.paramax.com!stars.reston.paramax.com!shields]

--

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
   --------------------------------------------------------------------------