急需ada编程语言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