Нуждается в лексическом и грамматическом листе языка программирования ada spark 2014

Question

В случае необходимости лексического и грамматического листа языка программирования Ada spark 2014 каждый может помочь, пожалуйста. заранее спасибо.

Answer 1

На странице AdaCore о SPARK первым пунктом под заголовком "Ресурсы" является ссылка на "Справочное руководство SPARK 2014". Вы могли бы найти там формальную грамматику, хотя я не слишком оптимистичен.

Answer 2

Существует Приложение, в котором резюмируется полный синтаксис языка.

Ада 22 Драфт

Синтаксические правила: http://www.ada-auth.org/standards/22rm/html/RM-P-1.html .

Перекрестная ссылка на синтаксис: http://www.ada-auth.org/standards/22rm/html/RM-P-2.html

Ада 12 + Техническое исправление 1

Синтаксические правила: http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-P.html .

Ада 12

Синтаксические правила: http://www.ada-auth.org/standards/12rm/html/RM-P.html .

Антлер Грамматики :

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

Ада Спарк 2014

Документы: https://github.com/AdaCore/spark2014/tree/master/docs