In need of the lexical and the grammar sheet of the ada programming language spark 2014

Question

In need of the lexical and the grammar sheet of the Ada programming language spark 2014 can anyone help, please. thanks in advance.

Answer 1

On the AdaCore page about SPARK, the first item under the headline "Resources" is a link to "SPARK 2014 Reference Manual". You might be able to find a formal grammar there, although I'm not too optimistic.

Answer 2

There is an Annex, which summarizes the complete syntax of the language.

Ada 22 Draft

Syntax Rules: http://www.ada-auth.org/standards/22rm/html/RM-P-1.html

Syntax Cross Reference: http://www.ada-auth.org/standards/22rm/html/RM-P-2.html

Ada 12 + Technical Corrigendum 1

Syntax Rules: http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-P.html

Ada 12

Syntax Rules: http://www.ada-auth.org/standards/12rm/html/RM-P.html

Antlr Grammars:

• https://github.com/antlr/grammars-v4/tree/master/ada (83,95,2005,2012)
• https://github.com/okellogg/ada_antlr_grammar

Ada Spark 2014

Docs: https://github.com/AdaCore/spark2014/tree/master/docs