Описание грамматики LSP
Описание грамматики LSP
Описание LSP представляет собой последовательное описание структур данных, определяемых типом, именем, списком параметров (полей) и их значений. Синтаксис языка определяет формат описания структур данных, базовые типы значений полей структур. Синтаксические конструкции позволяют описывать иерархические структуры данных, число уровней которых не ограничено.
Формальное описание синтаксиса LSP-языка в виде БНФ (Бэкуса-Наура форма) приведено ниже. В БНФ описании названия нетерминальных символов заключены в угловые скобки, имена терминалов написаны большими буквами. Кроме того, простые терминалы, ключевые слова и разделители, записаны в одинарных кавычках. В БНФ-описании используются следующие терминалы: ИДЕНТ, СТРОКА, DOTDOT, ЦЕЛОЕ32, ДАТА, ВРЕМЯ, IP.
<cfg_data>::= <top_level_form> | <cfg_data> <top_level_form>
<top_level_form>::= <object_def> | <constant>
<constant>::= `const` <key_value>
<object_def>::= ИДЕНТ ИДЕНТ `(` <key_value_or_template_list> `)`
| ИДЕНТ `(` <key_value_or_template_list> `)`
<key_value_list>::= <key_value> | <key_value> <key_value_list>
<key_value_or_template_list>::= <key_value_or_template_list>
|<key_value_or_template> <key_value_or_template_list> <key_value_or_template>::= key_value | template
<key_value>::= <l_value> `=` <r_value_list>
<r_value_list>::= <r_value> | <r_value_list> `,` <r_value>
<r_value>::= ИДЕНТ | ИДЕНТ `<` `>`
| ИДЕНТ `<` <key_value_or_template_list> `>`
| ИДЕНТ `[` <r_value_list> `]`
| `(` <r_value_list> `)` | `(` `)`
| `[` <r_value_list> `]` | `[` `]`
| ИДЕНТ `(` <key_value_or_template_list> `)`
| СТРОКА
| ЦЕЛОЕ32 | ЦЕЛОЕ32 `..` ЦЕЛОЕ32
| ЦЕЛОЕ32 `/` ЦЕЛОЕ32 `/` ЦЕЛОЕ32
| - ЦЕЛОЕ32
| IP | IP `..` IP | IP `/` ЦЕЛОЕ32
| ДАТА
| ВРЕМЯ
<l_value>::= ИДЕНТ | ИДЕНТ `*`
<template>::= `+` ИДЕНТ