normDDr (1158429), страница 7

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 7)

error code 403 'forbidden symbol ' <error context>

5.2.6Определение типа предложения(Функция statement)

Если Норма-предложение начинается с лексем MAIN PART, PART, FUNCTION, вызывает функцию head_of_part, если с лексемы ITERATION -функцию lexitex, если с лексемы END PART - функцию EndLex, иначе функцию kbant. Норма-предложение в виде последовательности лексем передается соответствующей функции.

Функция фиксирует ошибку:

error code 302 'missed . before END PART'

5.2.7Обработка заголовка Норма-раздела(Функция head_of_part)

Общая структура управления функции приведена на следующей схеме.

h ead_of_part nextline

infun line

Если в последовательности лексем обнаружена лексема BEGIN, то все лексемы, расположенные до этой лексемы, передаются функции infun, а все лексемы, расположенные после - функции line.

Если лексема BEGIN в последовательности лексем не обнаружена, то вызывается функция nextline, результат ее работы объединяется с текущей последовательностью лексем и снова передается функции head_of_part.

Функция infun строит две дополнительные структуры: список параметров раздела (part parameters list) и запись-тип раздела (part type record), содержащую информацию о типе раздела. Кроме этого, информация об имени раздела заносится в Таблицу имен (Symbol table).

Структура списка параметров раздела (part parameters list)

<in-parameters>::=<sequence of token codes>

<out-parameters>::=<sequence of token codes>

Структура запись-тип раздела (part type record)

<part type>::=MAIN PART

PART

FUNCTION

<part name>::=<token code>

<info>::=

Функция фиксирует ошибки:

error code 298 'program has two MAIN PART'

error code 300 'incorrect part name'

error code 301 'missed BEGIN part body'

error code 303 'incorrect list of part parameters'

5.2.8Обработка Норма-итерации(Функция lexitex)

Выполняет лексический и частичный синтаксический анализ конструкции ITERATION. Синтаксический анализ выполняется методом рекурсивного спуска. Результат работы функции lexitex - занесение в Список итераций (List of iterations) информации об очередной итерации.

При чтении исходного файла с Норма-программой использует функцию nextline.

Функция lexitex использует следующие дополнительные структуры данных.

Стек итераций iter_stack (Stack of iterations iter_stack). Предназначен для анализа структуры вложенных итераций.

Список номеров итераций, в которых были обнаружены ошибки err_kwit (List of iterations with errors err_kwit). Предназначен для блокировки передачи итераций, содержащих ошибки в блок Part unit parser.

Общая структура управления функции lexitex приведена на следующей схеме.

l exitex lhead zagiter is-bound spuskgr what nino line

is-initial spuskgr what

spuskitordo

thisfor spuskend

Функция lexitex инициализирует счетчик ошибок в итерации fat=0; при обнаружении любой ошибки в процессе анализа итерации выполняется операция fat=fat+1.

Функция фиксирует ошибку:

error code 58 'missed iteration index in head of ITERATION ON'

5.2.8.1Функция lhead

itn=itn+1;

Заносит в iter_stack запись

Выделяет заголовок ITERATION в виде последовательности лексем и передает его функции zagiter.

5.2.8.2Функция zagiter

Заполняет поля iteration number = itn и hеad-of-iteration Списка итераций (List of iterations) для текущей итерации.

Функция фиксирует ошибки:

error code 53 'incorrect list element of iterated variables:'<error context>

error code 59 'iteration index is not identifier'<error context>

error code 60 'incorrect key word in head of ITERATION ON' <error context>

error code 405 'incorrect identifier'<error context>

5.2.8.3Функция is-bound

Проверяет, есть ли в текущей последовательности лексема BOUNDARY.

Если есть, устанавливает признак конца поиска END BOUNDARY и вызывает функцию spuskgr, осуществляющую выделение операторов, входящих в конструкцию BOUDARY…END BOUNDARY.

Если нет, устанавливает признак NOT BOUNDARY.

5.2.8.4Функция spuskgr

Последовательно выделяет очередной оператор (ASSUME, INPUT, OUTPUT, COMPUTE, скалярный оператор) и передает его на обработку функции thisfor. При обнаружении лексемы, совпадающей с признаком конца поиска, выделение прекращается и вызывается функция what. Если установлен признак конца поиска NOT BOUNDARY или ERROR, сразу вызывается функция what.

Функция фиксирует ошибки:

error code 62 'incorrect operator or declaration in ITERATION ON''

error code 111 'incorrect using #...#''

error code 54 'missed <error context> in ITERATION ON '<error context>

5.2.8.5Функция what

Если признак конца поиска есть ERROR, вызывает функцию завершения обработки итерации nino.

Если признак конца поиска есть END BOUNDARY, определяет структуру list of boundary operators Списка итераций (List of iterations) для текущей итерации и вызывает функцию is-initial.

Если признак конца поиска есть END INITIAL, определяет структуру list of initial operators Списка итераций (List of iterations) для текущей итерации и вызывает функцию spuskitordo, осуществляющую выделение операторов, входящих в тело итерации.

5.2.8.6Функция is-initial

Проверяет, есть ли в текущей последовательности лексема INITIAL.

Если есть, устанавливает признак конца поиска END INITIAL и вызывает функцию spuskgr, осуществляющую выделение операторов, входящих в конструкцию INITIAL…END INITIAL.

Если нет, устанавливает признак ERROR.

Функция фиксирует ошибки:

error code 63 'iteration index <error context>' differs from index of '<error context>

error code 54 'missed <error context> in ITERATION ON '<error context>

5.2.8.7Функция nino

Анализирует значение счетчика ошибок в итерации fat и состояние Стека итераций iter_stack (Stack of iterations iter_stack).

Если iter_stack содержит 1 запись и fat=0 (внешняя итерация и ошибок не было), вызывается функция line для продолжения лексического анализа раздела.

Если iter_stack содержит 1 запись и fat>0 (внешняя итерация и ошибки были), значение поля iteration number из iter_stack переносится в err_kwit и вызывается функция line для продолжения лексического анализа раздела.

Если iter_stack содержит >1 записи и fat=0 (вложенная итерация и ошибок не было), вершина стека очищается и вызывается функция spuskitordo для продолжения анализа тела итерации.

Если iter_stack содержит >1 записи и fat>0 (вложенная итерация и ошибки были), значение поля iteration number из iter_stack переносится в err_kwit, вершина стека очищается и вызывается функция spuskitordo для продолжения анализа тела итерации.

5.2.8.8Функция spuskitordo

Последовательно выделяет очередной оператор (ASSUME, OUTPUT, COMPUTE, скалярный оператор) и передает его на обработку функции thisfor.

При обнаружении лексемы ITERATION вызывает функцию lhead для обработки вложенной итерации.

При обнаружении лексемы EXIT WHEN выделяет условие выхода из итерации, передает его на обработку функции thisfor и вызывает функцию spuskend для поиска END ITERATION.

Если признак конца поиска есть ERROR, вызывает функцию завершения обработки итерации nino.

Функция фиксирует ошибки:

error code 54 'missed <error context> in ITERATION ON '<error context>

error code 62 'incorrect operator or declaration in ITERATION ON''

error code 111 'incorrect using #...#''

5.2.8.9Функция thisfor

Если предложение начинается с # (признака режима последовательных вычислений), то seq= -seq; если seq>0, заводится очередная строка Таблицы последовательных групп (Table of ordered groups)..

Предложение в виде последовательности лексем заносится в соответствующую группу Списка Норма-предложений (List of Norma statements) функцией writetab [5.2.9].

Оператор ASSUME, состоящий из нескольких соотношений, разбивается на предложения, число которых равно числу соотношений, функцией cooth [5.2.9].

Функция thisfor возвращает вызывающей функции statement number обработанного предложения (или список statement number для оператора ASSUME, состоящего из нескольких соотношений).

Функция фиксирует ошибку:

error code 61 'incorrect operator in ITERATION ON'

5.2.8.10Функция spuskend

Осуществляет поиск лексемы END ITERATION, проводит анализ соответствия индекса итерации в заголовке итерации и в END ITERATION и вызывает функцию завершения обработки итерации nino.

Функция фиксирует ошибки:

error code 54 'missed <error context> in ITERATION ON '<error context>

Характеристики

Список файлов учебной работы