CODEWITHSUNDEEP
spark-2014
M.Mar
M.Mar

Reputation: 91

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

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

Upvotes: 1

Views: 93

Answers (2)

Jens A. Koch
Jens A. Koch

Reputation: 41747

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:

Ada Spark 2014

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

Upvotes: 0

Jacob Sparre Andersen
Jacob Sparre Andersen

Reputation: 6601

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.

Upvotes: 1

Related Questions