Разработка компилятора модельного языка

Все проверки на соответствие входного текста кода программы лексема, требуемым грамматикой, выполняет функция «CheckLexema». Она возвращает «true» если лексема соответствует грамматике, в противном случае выдается ошибка компиляции. Как видно из РБНФ описания нетерминала «программа» нетерминал «описание» не является обязательным. Поэтому в коде процедуры «Prog» проверка на лексему «dim» выполняется не функцией «CheckLexema», а условным оператором «if». Если декларативная часть в программе присутствует, то будет осуществляться её синтаксический анализ, в противном случае начинается выполнение синтаксического анализа совокупности операторов, разделенных символом «;». Работа выполняется до тех пор, пока не будет встречена лексема «}» конца программы.
3.3 Контекстный анализ
Контекстные, семантические, проверки выполняются в парсере и сканере. Их можно разделить на две группы:
Проверки соответствия типов операндов;
Проверки употребления имен идентификаторов;
Для реализации данных проверок используется таблица идентификаторов, которая заполняется при синтаксическом анализе декларативной части программы. Таблица идентификаторов представляет собой односвязный список, объявление которого показано на рисунке 23.