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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!backlog4.nntp.dca3.giganews.com!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.freenet.ag!ecngs!feeder2.ecngs.de!newsfeeder.ewetel.de!eweka.nl!lightspeed.eweka.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Thu, 24 Oct 2013 18:49:17 +0200
From: "G.B." <rm-dash-bau-haus@dash.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130801 Thunderbird/17.0.8
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ada 2012 grammar
References: <ffe8ecd4-065d-4c4c-b211-f9dad0f1959f@googlegroups.com>
In-Reply-To: <ffe8ecd4-065d-4c4c-b211-f9dad0f1959f@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <52694f8d$0$6630$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 24 Oct 2013 18:49:17 CEST
NNTP-Posting-Host: 816144df.newsspool2.arcor-online.net
X-Trace: DXC=?NDmg_ogG1Hgj[ZPFj7ehOA9EHlD;
 3YcB4Fo<]lROoRA8kF<OcfhCOK0>j8fVEViWNnc\616M64>JLh>_cHTX3jML>K8gh5C`; G
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 1771
Xref: number.nntp.dca.giganews.com comp.lang.ada:183716
Date: 2013-10-24T18:49:17+02:00
List-Id: <comp.lang.ada>

On 24.10.13 17:01, David Pereira wrote:
> Hi all,
>
> Does anyone know if there is available a complete grammar for Ada 2012, lets say, in Flex+Bison or similar compiler construction tool-chain?
>
> I would like to extend it to some new contract constructs, but writing a complete parser is a huge (and extremely time-consuming) task that I would like to avoid :).

The latest Emacs Ada Mode (5.00) has a Wisent style grammar
for Ada 2012. "Copyright (C) 2012 Free Software Foundation, Inc."
It could be usable after editing it a little.