Re: Ada 2012 grammar

[David Pereira <dmrpereira@gmail.com>]

Quinta-feira, 24 de Outubro de 2013 21:19:28 UTC+1, Dmitry A. Kazakov escreveu:
> On Thu, 24 Oct 2013 08:01:13 -0700 (PDT), David Pereira wrote:
> 
> 
> 
> > 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 :).
> 
> 
> 
> Difficult for parsing are only expressions. The language itself is very
> 
> simple to parse using recursive descent parser, e.g. to generate an AST. To
> 
> write a table-driven parse would be one-day work or so.
> 
> 
> 
> Ada expressions parser can be found here:
> 
> 
> 
> http://www.dmitry-kazakov.de/ada/components.htm#12.9
> 
> 
> 
> However it is Ada 95. The difference AFAIK to Ada 2005 is reserved words
> 
> like "interface" to filter out from identifiers. To Ada 2012 it is
> 
> conditional expressions. Not difficult to add.
> 
> 
> 
> I would not bother either with grammars.
> 
> 
> 
> -- 
> 
> Regards,
> 
> Dmitry A. Kazakov
> 
> http://www.dmitry-kazakov.de

Hi Dmitry,
Thanks for the pointer. I will carefully look at it.

Regards,
David