Как создать компилятор - История изменений

Ulysses: /* Лексический анализатор GPLex и синтаксический анализатор GPPG */ пункт.

2010-07-28T15:04:41Z

Лексический анализатор GPLex и синтаксический анализатор GPPG: пункт.

← Предыдущая версия		Версия от 18:04, 28 июля 2010
Строка 46:		Строка 46:
	Синтаксические анализаторы обычно создаются с помощью специальных программ, называемых '''генераторами компиляторов'''. Одним из наиболее известных генераторов компиляторов является '''Yacc''' (Yet Another Compiler of Compilers) - и в паре с ним работает генератор лексических анализаторов '''Lex'''.		Синтаксические анализаторы обычно создаются с помощью специальных программ, называемых '''генераторами компиляторов'''. Одним из наиболее известных генераторов компиляторов является '''Yacc''' (Yet Another Compiler of Compilers) - и в паре с ним работает генератор лексических анализаторов '''Lex'''.

	Наиболее полной реализацией Yacc-Lex для .NET, генерирующей код парсера на C#, является GPLex+GPPG, разработанный Queensland University of Technology, Австралия. Вот странички продуктов: [http://plas2003.fit.qut.edu.au/gplex/ GPLex] и [http://plas2003.fit.qut.edu.au/gppg/ GPPG]. Однако, рекомендуется [http://pascalabc.net/downloads/CompilerConstruction/GPLex_GPPG_2010.zip скачать исполнимые файлы отсюда] - они содержат небольшие модификации, связанные с корректной русификацией.		Наиболее полной реализацией Yacc-Lex для .NET, генерирующей код парсера на C#, является GPLex+GPPG, разработанный Queensland University of Technology, Австралия. Вот странички продуктов: [http://plas2003.fit.qut.edu.au/gplex/ GPLex] и [http://plas2003.fit.qut.edu.au/gppg/ GPPG]. Однако рекомендуется [http://pascalabc.net/downloads/CompilerConstruction/GPLex_GPPG_2010.zip скачать исполнимые файлы отсюда] - они содержат небольшие модификации, связанные с корректной русификацией.

	=== Создание лексического анализатора ===		=== Создание лексического анализатора ===

Ulysses: /* Что входит в комплект разработчика парсеров */ оформлен wiki-список

2010-07-28T15:01:12Z

Что входит в комплект разработчика парсеров: оформлен wiki-список

← Предыдущая версия		Версия от 18:01, 28 июля 2010
Строка 33:		Строка 33:

	=== Что входит в комплект разработчика парсеров ===		=== Что входит в комплект разработчика парсеров ===
	1. Папка DLL, содержащая dll из комплекта PascalABC.NET, необходимые для создания парсера.		# Папка DLL, содержащая dll из комплекта PascalABC.NET, необходимые для создания парсера.
	2. Папка GPLex_GPPG, содержащая генератор компиляторов GPLex+GPPG и документацию к нему.		# Папка GPLex_GPPG, содержащая генератор компиляторов GPLex+GPPG и документацию к нему.
	3. Папка Install, содержащая файлы, которые необходимо скопировать в папку PascalABC.NET для того чтобы в оболочке PascalABc.NET появился компилятор нового языка.		# Папка Install, содержащая файлы, которые необходимо скопировать в папку PascalABC.NET для того чтобы в оболочке PascalABc.NET появился компилятор нового языка.
	4. Файл generate_all.bat для компиляции файлов .lex и .y в файлы .cs, компиляции проекта и получения библиотеки Oberon00Parser.dll и копирования этого файла в папку Install.		# Файл generate_all.bat для компиляции файлов .lex и .y в файлы .cs, компиляции проекта и получения библиотеки Oberon00Parser.dll и копирования этого файла в папку Install.

	Далее разберем последовательно, как создать парсер.		Далее разберем последовательно, как создать парсер.

Juliet: /* Правило для унарного минуса */ Опечатка: дексический -> лексический

2010-07-27T09:21:53Z

Правило для унарного минуса: Опечатка: дексический -> лексический

← Предыдущая версия		Версия от 12:21, 27 июля 2010
Строка 590:		Строка 590:
	$$ = new un_expr($2,Operators.Minus,@$);		$$ = new un_expr($2,Operators.Minus,@$);
	}</source>		}</source>
	Ключевое слово %prec меняет в рамках одного правила приоритет операции MINUS и делает его таким же, как и у UMINUS. Заметим, что терминал UMINUS - фиктивный - он не может возникнуть при ~~дексическом~~ разборе, и задаётся только в секции приоритетов операций - последним и, значит, самым приоритетным.		Ключевое слово %prec меняет в рамках одного правила приоритет операции MINUS и делает его таким же, как и у UMINUS. Заметим, что терминал UMINUS - фиктивный - он не может возникнуть при лексическом разборе, и задаётся только в секции приоритетов операций - последним и, значит, самым приоритетным.

	===== Правило для всей программы =====		===== Правило для всей программы =====

Mikst: /* Типы терминалов и нетерминалов */

2010-07-27T09:06:54Z

Типы терминалов и нетерминалов

← Предыдущая версия		Версия от 12:06, 27 июля 2010
Строка 424:		Строка 424:
	</source>		</source>

	Если с терминалом или нетерминалом необходимо связать значение некоторого типа, то поле этого типа описывается в структуре union. Например, чтобы связать с терминалом ID значение ~~целого~~ типа, необходимо описать в структуре union поле		Если с терминалом или нетерминалом необходимо связать значение некоторого типа, то поле этого типа описывается в структуре union. Например, чтобы связать с терминалом ID значение строкового типа, необходимо описать в структуре union поле
	<source lang="CSharp">public string sVal;		<source lang="CSharp">public string sVal;
	</source>		</source>

Juliet: /* Начальные строки */

2010-07-26T19:58:12Z

Начальные строки

← Предыдущая версия		Версия от 22:58, 26 июля 2010
Строка 396:		Строка 396:
	Строка		Строка
	<source lang="Delphi">%start module</source>		<source lang="Delphi">%start module</source>
	означает, что стартовым в нашей грамматике является нетерминал module (обычно эту строку можно ~~неписать~~ - считается, что стартовым является нетерминал в левой части первого правила).		означает, что стартовым в нашей грамматике является нетерминал module (обычно эту строку можно не писать - считается, что стартовым является нетерминал в левой части первого правила).

	===== Описание используемых терминалов =====		===== Описание используемых терминалов =====

Mikst: /* Создание системного модуля */

2010-07-23T17:51:23Z

Создание системного модуля

← Предыдущая версия		Версия от 20:51, 23 июля 2010
Строка 649:		Строка 649:
	<source lang="Delphi">...		<source lang="Delphi">...
	var ul = new uses_list("Oberon00System");</source>		var ul = new uses_list("Oberon00System");</source>
			В принципе, этот модуль можно было написать на самом Обероне, но в Обероне нет возможности прямого доступа к .NET-библиотекам.

	Замечательная особенность среды PascalABC.NET - возможность совмещать разные языки программирования в одном проекте на уровне исходных кодов.		Замечательная особенность среды PascalABC.NET - возможность совмещать разные языки программирования в одном проекте на уровне исходных кодов.

Mikst: /* Создание системного модуля */

2010-07-23T17:50:01Z

Создание системного модуля

← Предыдущая версия		Версия от 20:50, 23 июля 2010
Строка 649:		Строка 649:
	<source lang="Delphi">...		<source lang="Delphi">...
	var ul = new uses_list("Oberon00System");</source>		var ul = new uses_list("Oberon00System");</source>
			Замечательная особенность среды PascalABC.NET - возможность совмещать разные языки программирования в одном проекте на уровне исходных кодов.

	=== Обработка ошибок ===		=== Обработка ошибок ===

Mikst: /* Создание системного модуля */

2010-07-23T17:48:51Z

Создание системного модуля

← Предыдущая версия		Версия от 20:48, 23 июля 2010
Строка 615:		Строка 615:

	=== Создание системного модуля ===		=== Создание системного модуля ===
			Напишем для компилятора Oberon00 простой системный модуль на паскале Obеron00System.pas:
			<source lang="Delphi">
			unit Oberon00System;

			interface

			procedure Print(o: object);
			procedure Println(o: object);
			procedure Println;

			implementation

			uses System;

			procedure Print(o: object);
			begin
			Console.Write(o);
			end;

			/// Вывести значение
			procedure Println(o: object);
			begin
			Console.WriteLine(o);
			end;

			procedure Println;
			begin
			Console.WriteLine;
			end;

			end.</source>
			Именно он подключается автоматически к любой программе на Обероне в действиях для правила module:
			<source lang="Delphi">...
			var ul = new uses_list("Oberon00System");</source>

	=== Обработка ошибок ===		=== Обработка ошибок ===

Mikst: /* Правило для всей программы */

2010-07-23T17:44:20Z

Правило для всей программы

← Предыдущая версия		Версия от 20:44, 23 июля 2010
Строка 594:		Строка 594:
	===== Правило для всей программы =====		===== Правило для всей программы =====
	Вся программа на Oberon00 представляет собой модуль:		Вся программа на Oberon00 представляет собой модуль:
	<source lang="CSharp">module : MODULE ident SEMICOLUMN ~~Declarations BEGIN StatementSequence END~~ ident COMMA		<source lang="CSharp">module : MODULE ident SEMICOLUMN mainblock ident COMMA
	</source>		</source>
	По этому правилу производятся ~~достаточно сложные~~ действия:		По этому правилу производятся следующие действия:
	<source lang="CSharp">{		<source lang="CSharp">{
	if ($2.name != $8.name)		if ($2.name != $5.name)
	PT.AddError("Имя "+$8.name+" должно совпадать с именем модуля "+$2.name,@8);		PT.AddError("Имя "+$5.name+" должно совпадать с именем модуля "+$2.name,@5);

	// Подключение ~~стандартной библиотеки~~		// Подключение стандартного модуля Oberon00System, написанного на PascalABC.NET
	~~ident_list il~~ = new ~~ident_list();~~		var ul = new uses_list("Oberon00System");
	~~il.Add(new ident~~("Oberon00System"~~));~~
	~~unit_or_namespace un = new unit_or_namespace(il);~~		// Формирование модуля основной программы (используется фабричный метод вместо конструктора)
	~~uses_list ul = new uses_list();~~		root = program_module.create($2, ul, $4, @$);
	~~ul.units.Insert(0, un~~);

	// Формирование ~~главного~~ модуля
	~~var b = new block($4, $6, @4.Merge~~(@8));
	~~var r~~ = ~~new~~ program_module(~~null~~, ul, ~~b, null~~,@$);
	~~r.Language = LanguageId.Oberon00;~~
	~~root = r~~;
	}		}
	</source>		</source>
Строка 619:		Строка 612:
	Затем в начало списка подключаемых модулей добавляется так называемый системный модуль Oberon00System - он написан на Паскале и должен быть откомпилирован в .pcu.		Затем в начало списка подключаемых модулей добавляется так называемый системный модуль Oberon00System - он написан на Паскале и должен быть откомпилирован в .pcu.

	После этого формируется ~~главный блок~~ программы ~~и по нему - вся программа~~ (класс program_module). Поскольку главный блок программы представляет собой символы с 4 по 8 в правой части правила (Declarations BEGIN StatementSequence END ident), его позиция в тексте получается объединением позиций символов с 4 по 8:		После этого формируется синтаксический узел для всей программы (класс program_module) и присваивается переменной root.
	~~<source lang="Delphi">@4.Merge(@8)</source>~~

	~~Наконец, в конце правила корень программы root устанавливается равным узлу программного модуля:~~ root ~~= r~~.

	=== Создание системного модуля ===		=== Создание системного модуля ===

Mikst: /* Создание парсера-плагина для среды PascalABC.NET */

2010-06-14T21:20:33Z

Создание парсера-плагина для среды PascalABC.NET

← Предыдущая версия		Версия от 00:20, 15 июня 2010
Строка 625:		Строка 625:

	=== Создание системного модуля ===		=== Создание системного модуля ===

			=== Обработка ошибок ===

	=== Создание парсера-плагина для среды PascalABC.NET ===		=== Создание парсера-плагина для среды PascalABC.NET ===

	=== Инсталляция плагина ===		=== Инсталляция плагина ===