Структуры данных Макропроцессора

Таблица макроопределений, строго говоря, не таблица, а просто массив строк, в который записываются тексты всех макроопределений (от оператора MACRO до оператора MEND), найденных в обрабатываемом модуле.

Таблица имен макроопределений содержит имена макроопределений и указатель на размещение текста макроопределения в таблице макроопределений, как показано на рисунке.

Таблица глобальных переменных имеет такую структуру:

Все таблицы имеют переменный размер и заполняются в процессе работы.

Индекс уникальных меток - число, используемое для формирования уникальной части имен меток, встречающихся в макроопределениях

Для обработки каждого макровызова создаются:

Таблица параметров, содержащая информацию о параметрах макроопределения.

Таблица локальных переменных, содержащая информацию о локальных переменных макроопределения.

Структура этих таблиц - такая же, как и таблицы глобальных переменных, эти две таблицы могут быть объединены в одну таблицу параметров и локальных переменных.

Таблица меток макроопределения, структура которой:

Основные алгоритмы программы.

Алгоритм первого прохода.

1. Устанавливаем уровень вложенности макроса (level) в ноль.

2. Организуем цикл по обработке строк исходного файла:

   1. Если в поле МКОП встретилась директива macro, то проверяем значение level:

      1. Если level>0. Увеличиваем level на единицу, заносим строку в таблицу макроопределений (ТМО).

      2. Если level=0. Организуем поиск имени макроса в таблице имен макросов:

         1. Если поиск удачен – ошибка.

         2. Если не нашли. Заносим имя макроса, указатель на начало макроса в ТМО, параметры макроса в ТИМ. Увеличиваем level на единицу.

   2. Если в поле МКОП встретилась директива mend, то проверяем значение level:

      1. Если level=0 – ошибка.

      2. Если level>0. Заносим строку в ТМО, уменьшаем level на единицу.

      3. Если level=1. Записываем в ТИМ указатель на конец макроса в ТМО. Уменьшаем level на единицу.

   3. Если в поле МКОП директива end. Проверяем значение переменной level:

      1. Если level>0 – ошибка.

      2. Если level=0 – завершение прохода.

   4. Если level>0 – заносим строку в ТМО.

3. Ошибка. Директива end не найдена.

Алгоритм второго прохода.

1. Устанавливаем значение переменной level=0.

2. Организуем цикл по обработке строк исходной программы:

   1. Если в поле МКОП директива end, то завершение прохода.

   2. Если macro. Увеличиваем level на единицу.

   3. Если mend. Уменьшаем level на единицу.

   4. Если level>0, переход к следующей итерации.

   5. Если в поле МКОП имя макроса, вызов процедуры обработки макровызова.

   6. Если в поле МКОП команда ассемблера, то выводим строку в выходной файл, если же в поле МКОП неизвестная команда – ошибка.

Алгоритм обработки макровызова.

1. Поиск имени макроса в ТИМ. Если не нашли – ошибка. Если нашли, считываем указатели на начало – переменная fi, и конец макроса – переменная li, в ТМО.

2. Сопоставляем фактические и формальные параметры. Если фактические параметры не соответствуют формальным - ошибка. Если фактические параметры указаны, верно, заносим их в ТЛП.

3. Вызываем процедуру предварительного просмотра макроса, которая заносит адреса макрометок в ТЛП. Если процедура нашла ошибку – выход с ошибкой.

4. Переменной i (номер текущей строки ТМО) присваиваем значение fi;

5. Организуем цикл со следующим предусловием: i<li

   1. Вызываем функцию по обработке строки ТМО с номером i. Если функция вернула код ошибки – выход с ошибкой.

   2. Увеличиваем i на единицу.

Алгоритм функции обработки строки ТМО.

1. По номеру текущей обрабатываемой строки (i), извлекаем строку из ТМО.

2. Если в поле МКОП имя макроса – ошибка.

3. Если директива macro – вызывается функция обработки вложенного макроопределения. Выход из функции.

4. Если директива AIF:

   1. Поиск операнда (макрометки) в ТЛП.

      1. Если поиск неудачен – ошибка.

      2. Если поиск удачен, запоминаем адрес макрометки (номер строки в ТМО).

   2. Если условие истинно, то переменной i присваиваем значение операнда, уменьшенное на единицу. Выход из функции.

5. Директива AGO:

   1. Поиск операнда в ТЛП.

      1. Если поиск неудачен – ошибка.

      2. Если нашли, то переменной i присваиваем значение операнда, уменьшенное на единицу. Выход из функции.

6. Директива INC. Увеличиваем значение операнда на единицу. Выход из функции.

7. Директива DEC. Уменьшаем значение операнда на единицу. Выход из функции.

8. Если поле МКОП содержит команду Ассемблера:

   1. Проверяем строку на наличие параметров макроса. Если нашли заменяем соответствующим значением параметра.

   2. Проверяем строку на наличие уникальных меток. Если нашли, поиск в ТЛП:

      1. Если поиск удачен, добавляем к имени метки уже присвоенный уникальный индекс;

      2. Если поиск неудачен, добавляем имя метки в ТЛП, присваиваем ей уникальный индекс, и добавляем к имени метки в строке ее, только что полученный, уникальный индекс.

   3. Вывод строки в выходной файл. Выход из функции.

9. Поле МКОП содержит неизвестную команду – ошибка.