Системное программирование. Конспект лекций


Алгоритм обработки макровызова следующий


  1. Обработка макровызова. На входе этого модуля есть номер элемента в Таблице имен макроопределений и разобранный текст оператора макровызова.
  2. Создание пустых: Таблицы локальных переменных, Таблицы меток.
  3. Чтение первой строки из Таблицы макроопределений по адресу, записанному в элементе Таблице имен макроопределений. (Здесь и далее мы подразумеваем, что после чтения очередной строки макроопределения указатель для следующего чтения устанавливается на адрес следующей строки, если он не изменен явным образом.)
  4. Проверка параметров: сопоставление фактических параметров вызова с формальными параметрами, описанными в заголовке макроопределения (Заголовок находится в строке, только что считанной из Таблицы макроопределений).
  5. При несоответствии фактических параметров формальным выдается сообщение об ошибке...
  6. ... и обработка макровызова завершается
  7. При правильном задании фактических параметров параметры и их значения заносятся в Таблицу локальных переменных.
  8. Создается и заполняется Таблица меток макроопределения. При этом текст макроопределения просматривается до оператора MEND, выявляются метки и заносятся в таблицу. Проверяется уникальность меток. После заполнения таблицы меток указатель чтения из Таблицы макроопределений устанавливается на вторую (следующую за заголовком строку) текста макроопределения.
  9. Читается следующая строка текста макроопределения.
  10. Если строка является комментарием Ассемблера, строка выводится в макрорасширение.
  11. Если строка является комментарием Макроязыка, управление передается на чтение следующей строки макроопределения.
  12. Выполняется разбор строки.
  13. Алгоритм ветвится в зависимости от мнемоники оператора.
  14. При обработке оператора LOCL имя локальной переменной ищется сначала в Таблице локальных переменных...
  15. ... а затем - в Таблице глобальных переменных.
  16. Если имя найдено в одной из таблиц, формируется сообщение о неуникальном имени.
  17. В противном случае заносится новая строка в таблицу локальных имен. В любом случае управление передается на чтение следующей строки макроопределения.
  18. Обработка оператора GLBL отличается от оператора LOCL только тем, что новая строка создается в Таблице глобальных переменных.
  19. При обработке оператора LOCL вычисляется выражение - операнд команды. Вычисление включает в себя подстановку значений входящих в выражение переменных. Возможны ошибки - из-за использования неопределенных имен и ошибок в синтаксисе выражения.
  20. Имя переменной ищется сначала в Таблице локальных переменных.
  21. Если имя найдено, изменяется его значение в Таблице локальных переменных.
  22. Если имя переменной не найдено, оно ищется в Таблице глобальных переменных.
  23. Если имя найдено в Таблице глобальных переменных, изменяется его значение в этой таблице.
  24. Если имя не найдено ни в одной из таблиц, формируется сообщение о неопределенном имени.
  25. При обработке оператора MIF вычисляется условное выражение - 1-й операнд команды (возможны ошибки).
  26. Проверяется значение вычисленного условного выражения.
  27. Если значение выражения "истина", имя метки - 2-го операнда команды ищется в Таблице меток макроопределения.
  28. Если метка найдена в таблице, указатель для следующего чтения из Таблице макроопределений устанавливается на адрес соответствующий метке
  29. Если метка найдена в таблице, выдается сообщение о неопределенной метке.
  30. При обработке оператора MGO имя метки - операнда команды ищется в Таблице меток макроопределения.
  31. Если метка найдена в таблице, указатель для следующего чтения из Таблице макроопределений устанавливается на адрес соответствующий метке.
  32. Если метка найдена в таблице, выдается сообщение о неопределенной метке.
  33. При обработке оператора MNOTE выводится сообщение, определяемое операндом.
  34. Устанавливается и анализируется код серьезности. Код серьезности является общим для всей работы Макропроцессора, его значение изменяется только, если новое значение больше текущего (более серьезная ошибка)
  35. Если код серьезности не допускает продолжения работы Макропроцессора, устанавливается признак завершения работы.
  36. При обработке оператора MEXIT устанавливается и анализируется код серьезности.
  37. Если код серьезности не допускает продолжения работы Макропроцессора, устанавливается признак завершения работы.
  38. Освобождаются структуры данных, созданные для обработки макровызова...
  39. ...и обработка макровызова завершается.
  40. При обработке оператора MEND освобождаются структуры данных, созданные для обработки макровызова...
  41. ...и обработка макровызова завершается.
  42. Любая другая мнемоника операции означает, что оператор является не оператором Макроязыка, а оператором языка Ассемблера. В этом случае прежде всего проверяется, не имеет ли оператор метки, которая должна быть уникальной.
  43. Если оператор имеет такую метку, формируется имя уникальной метки и индекс уникальных меток увеличивается на 1.
  44. Выполняются подстановки в операторе языка Ассемблера (значение имен ищутся в Таблицах локальных и глобальных переменных, возможны ошибки).
  45. Оператор языка Ассемблера записывается в макрорасширение.




- Начало -  - Назад -  - Вперед -