Итерация №2: разбор выражений on Компиляторы | ПС

EBNF грамматика в спецификации

Mon, 01 Jan 0001 00:00:00 +0000

EBNF грамматика в спецификации #

Нужно добавить в спецификацию EBNF-грамматику языка.

Кроме EBNF-грамматики в спецификацию надо добавить таблицу со списком операторов с указанием их приоритета и ассоциативности (левой/правой).

Требования к оформлению EBNF-грамматики #

Добавляется в файл спецификации docs/specification.md
Оформляется как блок кода на языке ebnf
Используется диалект ISO EBNF — см. EBNF для описания грамматик
Должны быть описаны правила для всех нетерминалов
Не следует описывать правила для терминальных символов — они уже описаны в разделе про лексику
Именование символов грамматики должно быть очевидным — однако можно добавлять комментарии для ясности

Требования к EBNF-грамматике #

Нужно устранить левую рекурсию, поскольку по грамматике вы будете писать парсер на основе рекурсивного спуска
Рекомендуется устранить левую факторизацию, чтобы упросить разработку парсера

Требования к языку #

На данном этапе надо описать грамматику в том объёме, который вы реализуете в этой же итерации:

Парсер точки входа и выражений

Mon, 01 Jan 0001 00:00:00 +0000

Парсер точки входа и выражений #

Нужно написать парсер для разбора простейших программ, которые имеют:

Одну точку входа
Список инструкций, где инструкция — это выражение либо операция ввода/вывода
Арифметические операции в выражениях

На основе парсера надо реализовать консольный интерпретатор.

Пример такой программы:

/* Сложение, умножение и унарный минус */
/* Ожидаемый результат: 80 */

class AddMultiply {
 public static void main(String [] a) {
 System.out.println(10 + 7 * (2 * 3 + 4) + 5 + -5);
 }
}

Соответствие спецификации #

Парсер должен соответствовать спецификации вашего языка:

Приёмочные тесты интерпретатора

Mon, 01 Jan 0001 00:00:00 +0000

Приёмочные тесты интерпретатора #

Концептуальные требования к тестам #

Приёмочные тесты должны быть одновременно функциональными и интеграционными. Объяснение:

Приёмочные тесты (Acceptance tests) проверяют пригодность ПО для решаемой задачи; в контексте интерпретатора они могут:
- проверять отдельные возможности языка — например, арифметические операции +, -, *, /
- проверять полноценные программы — например, вычисление площади круга или сортировку пузырьком
Функциональные тесты (Functional tests) проверяют интерфейс программы вместо деталей реализации; в контексте интерпретатора они могут запускать CLI либо эмулировать запуск CLI, вызывая внутренние

Реализация тестов #

Приёмочные тесты должны запускать интерпретатор целиком, подменяя средства ввода/вывода через инъекцию зависимостей в конструктор или параметры.

Генерация кода для стековой виртуальной машины

Mon, 01 Jan 0001 00:00:00 +0000

Генерация кода для стековой виртуальной машины #

Требования будут описаны позже — напомните преподавателю, если они нужны вам уже сейчас.

Кратко:

стековая VM, программа = список инструкций VM
генерация списка инструкций по мере разбора в парсере
запуск VM интерпретатором после завершения разбора

LSP-сервер для диагностики ошибок

Mon, 01 Jan 0001 00:00:00 +0000

LSP-сервер для диагностики ошибок #

Требования будут описаны позже — напомните преподавателю, если они нужны вам уже сейчас.

Кратко:

LSP-сервер на том же языке, что и парсер
LSP-сервер запускает парсер и получает синтакчические ошибки
LSP-сервер реализует только разбор и публикацию синтаксических ошибок в IDE
плагин VSCode интегрируется с LSP-сервером: передаёт ему открытые документы, забирает синтаксические ошибки