Граматика

Строки граматики

A: B C | D ; - обычная строка. ; писать не обязательно. Переводы строк не важны. По умолчанию A наследует значение и тип первого элемента, т.е. B или D. Элемент по умолчанию можно изменить, например на C:

A: B C($) ;

Для частичной совсместимости с yacc вы можете оставлять пробелы между : и первым символом, но при уловии что в конце каждого правила стоит ;. Кроме того программа игнорирует %% и все незнакомые конструкции.

Имена, действия

Для доступа к параметрам в действиях, можно применять номера, давать имена элементам, или использовать сами названия элементов, при условии что они состоят или букв и цифр (цифры не в начальной позиции).

E: E + E {$$=$1+$1}
E: E(A) + E(B) {$$=$A+$B}
E: - E {$$=-$E}

Если действие начинается со знаков $$=, то можно обойтись опустить два символа и начать выражение просто со знака равенства:
E: - E {=-$E}
кроме того если действия записаны в подобном виде, то оптимизатор, преобразуя грамматику может подставлять одни действия в другие.

Абстракции

Абстракции задаются с помощью квадратных скобок.

X: A [ C ]? B - содержимое внутри скобок может отсуствовать, т.е. необязательный элемент
X: A [ C ]* B - цикл. С - может повторяться любое число раз
X: A [ C ]*? B - цикл. С - может повторяться любое число раз (или отсутсвовать)
X: A [ C , ], B - цикл с разделителями. C - повторяется любое число раз, но отдельные из них разделяются запятой
X: A [ C D ';' ],? B - фрагмент C D может отсутсвовать или повторяться любое число раз. Фрагменты cписка разделяются точкой с запятой.
X: A [ C D {$$=$1+$2} ]? B {$$=$1+$2+$3} - $$ внутри управляющих скобок, задают значение, которое возвращают скобки. За пределами скобок $1=A $2=(значение возвращаемое из скобок) $2=B.
Для доступа к значению, скобкам можно задать имя X: A [ C D ]?(name) B
По умолчанию тип значения имеет тип первого элемента внутри скобок. Тип можно задать принудительно X: A [ C D ]?<int> B. Если указано имя, то тип должен быть указан до имени.
Если внутри скобок задано имя $ (см. ниже), то тип значения берётся из указаного элемента.
X: [ C D ]?<int>(name) - если управляющая конструкция заполняет всю строку, то тип скобок игнорируется (X имеет свой тип).
LIST: [ VAR(V) {$v->next=$-} ]* - внутри циклов действия повторяются для каждого элемента списка. $- - содержит предыдущий элемент списка или 0 для первого элемента. Значение по умолчанию для Var можно задать с помощью %def_val , но это пока не рабоет, и 0 мне ещё хватает.
управляющие скобки можно владывать друг в друга.
stmt: if e stmt(a) {$$=$a} [ else stmt(b) {$$=$a+$b} ]+ - раcслоение. В данном случае строка будет эквивалентна двум строкам:
```
stmt: if e stmt(a) {$$=$a}
    | if e stmt(a) else stmt(b) {$$=$a+$b}
```
можно указать несколько расслоений в разных местах одной строки. Они все сработают по очереди, дополняя друг друга.
E: NAME [ NUM ] - скобки без флагов, считаются простыми скобками, т.е. терминалами.
X: A [ C | D ]*? B - можно указывать разные варианты внутри скобок
Система действует немного по разному когда управляющие конструкции разположены в середине правила и когда скобки разположены по краям правила. Но в целом глубоких вмешательств не делает (хотя делает это потом оптимизатор). Так примеру необязательные конструкции в конце правила можно менять на расслоения:
```
A: B [ C ]?
A: B [ C ]+
```
но система в эти вопросы не вмешавается. Так что конструкции надо применять в умом.

Пометки


stmt: if expr stmt %<
    | if expt stmt else stmt

Здесь %< указывает что даную граматику надо сворачивать сразу, не создавая кофликта переноса и свёртки. Что в данном случае приведёт к свертке первой строки до того как будет прочитано else. И вобщем-то конешно приведёт к ошибке, если этот else всё таки есть.


stmt: if expr stmt %>
    | if expt stmt else stmt

Здесь %> указывает что даную граматику надо переносить, не создавая кофликта переноса и свёртки. Что вобщем-то всё равно произойдёт в случае конликта переноса/свертки. Но так будет коректнее.


expr: num
    | - expr %<
    | expr - expr
    | expr * expr

в данном случае можно не указывать ядру что - это унарный оператор. Если не указать ни команду, ни унарность оператора, то граматика откомпилируется без конфликтов, но работать станет не совсем как надо. В выражении - num * num она попытается выполнить умножение раньше минуса, поскольку у него наверняка задан наибольший приоритет.


expr: num
    | expr + expr
    | ( expr($) )

в данном случае $ указывает, что строка просто возвращает значение данного элемента (в данном случае он второй по счёту). Т.е. просто создаётся действие, которое делает нужное присваивание (в будушем это будет на уровне автомата).

Команды

%start - стартовый символ (корень граматики)
%include - подключение файла

Приоритеты

%unary - унарный оператор
%noassoc - не ассоциативный оператор
%left - левоассоциативный оператор
%right - правоассоциативный оператор

Определения

%sort - создание отсортированной таблицы из части токенов
%rem - многострочный коментарий. Можно заменить на %#
%def-type - тип всех токенов по умолчанию
%def_type <int:value> - токены по умолчанию имеют тип int (хотя и так имеют). value - название поля в структуре (указывать не обязательно).
%type - тип токена
%type <Var*:var> var_name var_list var_dec_list
%descruct - деструктор для токена. Вызывается только для тех токенов, которые были удалены системой исправления ошибок.
%descruct name var_name {free($$)}
Допустимы переводы строки между словами. Так же возможна сокращённая запись:
%~ name var_name {free($$)}
%def-value - значение по умолчанию (пока не поддерживается)
%usewords - пользовательские слова
%usewords ; [ ] - позволяет использовать указанные символы или строки, как строки, не экранируя кавычками
%token - чистая формальность. Служит для указания терминалов. Если указан хоть один терминалами, то терминалами могут быть только терминалы, иначе возникает сообщение об ошибке.
%pair - указывает парные символы для того чтобы парсер взял на себя заботы об ошибках
%pair ( ) [ ] { }
%field - добавляет новое поле в элемент стека, за пределы union раздела. Для того чтобы добавить новое поле внутрь union, достаточно определить новый тип.
%define - задает свои имена для токенов, внутри C++ исходника
%define ==:eq <=:le