Система программирования PascalABC.NET

Дипломная работа - Компьютеры, программирование

Другие дипломы по предмету Компьютеры, программирование

Скачать Бесплатно!
Для того чтобы скачать эту работу.
1. Пожалуйста введите слова с картинки:

2. И нажмите на эту кнопку.
закрыть



едших во время компиляции.- функция, запускающая процесс компиляции. В случае успешной компиляции возвращает имя выходного файла, иначе возвращает null.- функция, осуществляющая перезагрузку всех частей компилятора. Позволяет переподключить синтаксические анализаторы.

 

10.1 Алгоритм компиляции модулей

 

Одним из самых сложных алгоритмов в компиляторе оказался алгоритм компиляции модулей. Нетривиальной является последовательность, в которой надо откомпилировать interface и implementation части модулей. Было принято следующее решение: управление порядком компиляции модулей будет осуществлять управляющий блок. Конвертор дерева при этом должен иметь две функции:nterface

При вызове этих функций секции uses должны быть откомпилированы, т.е. все интерфейсные части модулей из секции uses должны быть откомпилированы.

Идея алгоритма состоит в следующем:

1.сначала компилируются модули, которые не зависят от других модулей;

2.затем компилируются интерфейсные части тех модулей, для которых секции uses из части интерфейса откомпилированы (т.е. все интерфейсные части модулей из секции uses откомпилированы);

.затем компилируются implementation части модулей, в которых интерфейсная часть уже откомпилирована;

.далее шаг 2-3 повторяется, пока все модули не будут откомпилированы.

Рассмотрим пример:

 

 

 

 

 

Стрелки сверху - это uses из секции interface, например, на этой схеме модуль t3 в секции interface содержит uses t1.

Стрелка снизу указывает на uses из секции implementation, например, на этой схеме модуль t2 в секции implementation имеет uses t3.

Для такой связки модулей необходимо выполнить компиляцию в следующей последовательности:

Compiling t1.pas...t1.past2.pasInterface t2.past3.pasInterface t1.pasImplementation t1.pasInterface t3.pasImplementation t3.pasImplementation t2.pas

Посмотрим на порядок компиляции модулей указанным алгоритмом в случае более сложной завязки модулей:

 

 

 

 

 

 

 

 

Compiling t1.pas...t1.past2.past3.past4.pasInterface t4.pasInterface t3.past5.pasInterface t5.pasImplementation t5.pas

Compile Interface t2.pasInterface t1.pasImplementation t1.pasImplementation t4.pasImplementation t2.pasImplementation t3.pas

Далее приведен собственно сам рекурсивный алгоритм компиляции модулей.

*

* CompileUnit(ИмяФайла)

* 1.CompileUnit(new СписокМодулей,ИмяФайла)

* 2.Докомпилировать модули из СписокОтложенойКомпиляции;

*

* CompileUnit(СписокМодулей,ИмяФайла)

* 1.ТекущийМодуль=ТаблицаМодулей[ИмяФайла];

* Если (ТекущийМодуль!=0) то

* Если (ТекущийМодуль.Состояние==BeginCompilation)

* СписокМодулей.Добавить(ТекущийМодуль);

* Выход;

* иначе перейти к пункту 5

*

* 2.Если ЭтоФайлDLL(ИмяФайла) то

* Если ((ТекущийМодуль=СчитатьDLL(ИмяФайла))!=0) то

* СписокМодулей.Добавить(ТекущийМодуль);

* ТаблицаМодулей.Добавить(ТекущийМодуль);

* Выход;

* иначе

* Ошибка("Не могу подключить сборку");

* Выход;

*

* 3.Если ЭтоФайлPCU(ИмяФайла) то

* Если ((ТекущийМодуль=СчитатьPCU(ИмяФайла))!=0) то

* СписокМодулей.Добавить(ТекущийМодуль);

* ТаблицаМодулей.Добавить(ТекущийМодуль);

* Выход;

* иначе

* иначе перейти к пункту 4;

*

* 4.ТекущийМодуль=новыйМодуль();

* ТекущийМодуль.СинтаксическоеДерево=

Парасеры.Парсить(ИмяФайла,ТекущийМодуль.СписокОшибок);

* Если (ТекущийМодуль.СинтаксическоеДерево==0) то

* Если (ТекущийМодуль.СписокОшибок.Количество==0) то

* Ошибка("Модуль не неайден");

* иначе

* Ошибка(ТекущийМодуль.СписокОшибок[0]);

* ТаблицаМодулей[ИмяФайла]=ТекущийМодуль;

* ТекущийМодуль.Состояние=BeginCompilation;

*

* 5.СинтаксическийСписокМодулей=

ТекущийМодуль.СинтаксическоеДерево.Interface.UsesList;

* Для(i=СинтаксическийСписокМодулей.Количество-1-ТекущийМодуль.КомпилированыеВInterface.Количество;i>=0;i--)

* ТекушийМодуль.ТекущийUsesМодуль=

СинтаксическийСписокМодулей[i].ИмяФайла;

* ИмяUsesФайла=СинтаксическийСписокМодулей[i].ИмяФайла;

* Если (ТаблицаМодулей[ИмяUsesФайла]!=0)

* Если (ТаблицаМодулей[ИмяUsesФайла].Состояние==BeginCompilation)

* Если (ТаблицаМодулей[ТаблицаМодулей[ИмяUsesФайла].

ТекущийUsesМодуль].Состояние=BeginCompilation)

* Ошибка("Циклическая связь модулей");

* CompileUnit(ТекущийМодуль.КомпилированыеВInterface,ИмяUsesФайла);

* Если (ТекушийМодуль.Состояние==Compiled) то

* СписокМодулей.Добавить(ТекушийМодуль);

* Выход;

*

* 6.ТекущийМодуль.СемантическоеДерево=

КонверторДерева.КонвертироватьInterfaceЧасть(

ТекущийМодуль.СинтаксическоеДерево,

ТекущийМодуль.КомпилированыеВInterface,

ТекущийМодуль.СписокОшибок);

* СписокМодулей.Добавить(ТекущийМодуль);

* СинтаксическийСписокМодулей=

ТекущийМодуль.СинтаксическоеДерево.Implementation.UsesList;

* Для(i=СинтаксическийСписокМодулей.Количество-1;i>=0;i--)

* Если (ТаблицаМодулей[СинтаксическийСписокМодулей[i].ИмяФайла].

Cостояние=BeginCompilation)

* СписокОтложенойКомпиляции.Добавить(

ТаблицаМодулей[СинтаксическийСписокМодулей[i].ИмяФайла]);

* иначе

* CompileUnit(ТекущийМодуль.КомпилированыеВImplementation,

СинтаксическийСписокМодулей[i].ИмяФайла);

* Если(ДобавлялиХотябыОдинВСписокОтложенойКомпиляции)

* СписокОтложенойКомпиляции.Добавить(ТекущийМодуль);

* выход;

* иначе

* КонверторДерева.КонвертироватьImplementationЧасть(

ТекущийМодуль.СинтаксическоеДерево,

ТекущийМодуль.СемантическоеДерево,

ТекущийМодуль.КомпилированыеВImplementation

ТекущийМодуль.СписокОшибок);

* ТекущийМодуль.Состояние=Compiled;

* СохранитьPCU(ТекущийМодуль);

*

*

*

* [краткая верcия алгоритма компиляции модулей]

*

* CompileUnit(ИмяФа

s