Построение синтаксического дерева программы на языке Паскаль - История изменений

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

2011-09-01T06:52:33Z

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

← Предыдущая версия		Версия от 09:52, 1 сентября 2011
Строка 580:		Строка 580:
	</source>		</source>
	Формируется синтаксический узел для всей программы (класс program_module) и присваивается переменной root.		Формируется синтаксический узел для всей программы (класс program_module) и присваивается переменной root.

			===Вывод текста программы по синтаксическому дереву===
			Основная программа, расположенная в файле Parser.cs, строит синтаксическое дерево программы на языке Паскаль и затем выводит по нему текст программы. Если же построение дерева неуспешно, то выводится соответствующая диагностика.
			<source lang="CSharp">
			public static void Main()
			{
			string FileName = "D:\\aa.pas";
			StreamReader sr = new StreamReader(FileName);
			string Text = sr.ReadToEnd();
			PT.CurrentFileName = FileName;

			Scanner scanner = new Scanner();
			scanner.SetSource(Text, 0);

			GPPGParser parser = new GPPGParser(scanner);

			var b = parser.Parse();
			sr.Close();
			if (!b)
			{
			if (PT.Errors.Count == 0)
			PT.AddError("Неопознанная синтаксическая ошибка!", null);
			Console.WriteLine(PT.Errors[0]);
			}
			else Console.WriteLine("Синтаксическое дерево построено");
			// parser.root содержит корень синтаксического дерева
			PrintNode(parser.root);

			Console.ReadLine();
			}
			</source>

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

2011-09-01T06:47:52Z

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

← Предыдущая версия		Версия от 09:47, 1 сентября 2011
Строка 579:		Строка 579:
	}		}
	</source>		</source>
	Поясним их подробнее. Во-первых, проверяется, совпадает ли имя модуля в начале и в конце программы и если нет. то генерируется семантическая ошибка с помощью PT.AddError (эта ошибка будет добавлена в окно ошибок компиляции). Заметим, что на этапе построения синтаксического дерева можно распознать и диагностировать некоторые синтаксические ошибки.		Формируется синтаксический узел для всей программы (класс program_module) и присваивается переменной root.

	Затем в начало списка подключаемых модулей добавляется так называемый системный модуль Oberon00System - он написан на Паскале и должен быть откомпилирован в .pcu.

	~~После этого формируется~~ синтаксический узел для всей программы (класс program_module) и присваивается переменной root.

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

2011-09-01T06:46:22Z

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

← Предыдущая версия		Версия от 09:46, 1 сентября 2011
Строка 362:		Строка 362:

	Строки		Строки
	<source lang="CSharp">%using PascalABCCompiler.SyntaxTree		<source lang="CSharp">
	%using ~~PascalABCCompiler.Errors~~		%using PascalABCCompiler.SyntaxTree
	~~%using PascalABCCompiler.Oberon00Parser~~</source>		%using SimplePascalParser
			</source>
	означают подключение в коде парсера соответствующих пространств имен (точки с запятой в конце строк не нужны в отличие от лексического анализатора - видимо, это ошибка проектирования gppg),		означают подключение в коде парсера соответствующих пространств имен (точки с запятой в конце строк не нужны в отличие от лексического анализатора - видимо, это ошибка проектирования gppg),
	а строка		а строка

Mikst: /* Общий вид */

2011-09-01T06:45:13Z

Общий вид

← Предыдущая версия		Версия от 09:45, 1 сентября 2011
Строка 275:		Строка 275:
	==== Раздел определений .y-файла ====		==== Раздел определений .y-файла ====
	===== Общий вид =====		===== Общий вид =====
	Рассмотрим раздел определений файла ~~Oberon00~~.y		Рассмотрим раздел определений файла SimplePascal.y

	<source lang="CSharp">%{		<source lang="CSharp">%{

Mikst: /* Правила грамматики */

2011-09-01T06:44:46Z

Правила грамматики

← Предыдущая версия		Версия от 09:44, 1 сентября 2011
Строка 244:		Строка 244:
	Нетерминал, с которого начинается разбор, называется стартовым символом грамматики. Этот нетерминал описывает всю программу. В нашей грамматике это module, а соответствующее стартовое правило имеет вид:		Нетерминал, с которого начинается разбор, называется стартовым символом грамматики. Этот нетерминал описывает всю программу. В нашей грамматике это module, а соответствующее стартовое правило имеет вид:

	<source lang="text">module : ~~MODULE~~ ident SEMICOLUMN ~~Declarations BEGIN StatementSequence END ident COMMA~~</source>		<source lang="text">module
			: PROGRAM ident SEMICOLUMN mainblock DOT
			</source>

	В конечном итоге все нетерминалы выражаются через терминалы, образующие основную программу. Соответствующий процесс получения программы из стартового символа называется выводом, а правила грамматики - правилами вывода.		В конечном итоге все нетерминалы выражаются через терминалы, образующие основную программу. Соответствующий процесс получения программы из стартового символа называется выводом, а правила грамматики - правилами вывода.

Mikst: /* Некоторые классы синтаксического дерева */

2011-09-01T06:44:13Z

Некоторые классы синтаксического дерева

← Предыдущая версия		Версия от 09:44, 1 сентября 2011
Строка 234:		Строка 234:

	Каждый класс имеет свои поля, все необходимые поля заполняются обычно в конструкторе класса. В базовом классе syntax_tree_node имеется поле source_context типа SourceContext, определяющее местоположение конструкции, соответствующей синтаксическому узлу, в тексте программы. Именно поэтому каждый конструктор синтаксического дерева содержит последним параметром объект класса SourceContext.		Каждый класс имеет свои поля, все необходимые поля заполняются обычно в конструкторе класса. В базовом классе syntax_tree_node имеется поле source_context типа SourceContext, определяющее местоположение конструкции, соответствующей синтаксическому узлу, в тексте программы. Именно поэтому каждый конструктор синтаксического дерева содержит последним параметром объект класса SourceContext.

	~~Просмотреть все узлы синтаксического дерева, их свойства и методы можно с помощью утилиты~~
	~~[http://pascalabc.net/downloads/CompilerConstruction/NodesGenReader.zip Просмотрщик классов синтаксического дерева]~~

	==== Правила грамматики ====		==== Правила грамматики ====

Mikst: /* Некоторые классы синтаксического дерева */

2011-09-01T06:43:55Z

Некоторые классы синтаксического дерева

← Предыдущая версия		Версия от 09:43, 1 сентября 2011
Строка 206:		Строка 206:

	==== Некоторые классы синтаксического дерева ====		==== Некоторые классы синтаксического дерева ====
	Как уже было сказано, синтаксическое дерево состоит из объектов классов - наследников syntax_tree_node. Перечислим некоторые важные классы - наследники syntax_tree_node, которые будут нами использованы для реализации парсера ~~Оберона00~~:		Как уже было сказано, синтаксическое дерево состоит из объектов классов - наследников syntax_tree_node. Перечислим некоторые важные классы - наследники syntax_tree_node, которые будут нами использованы для реализации парсера Паскаля:

	ident - идентификатор		ident - идентификатор

Mikst: /* Секция пользовательского кода */

2011-09-01T06:43:07Z

Секция пользовательского кода

← Предыдущая версия		Версия от 09:43, 1 сентября 2011
Строка 188:		Строка 188:
	}		}
	</source>		</source>
	Он вызывается всякий раз когда происходит синтаксическая ошибка. Здесь мы пользуемся услугами статического класса PT, который находится в файле ~~Oberon00ParserTools~~.cs. PT.CreateErrorString(args) формирует строку ошибки, а PT.AddError(errorMsg,yylloc); добавляет ошибку в список ошибок компиляции PascalABC.NET. Здесь интересно то, что в случае автоматического вызова yyerror в args попадают токены, которые ожидались после данного.		Он вызывается всякий раз когда происходит синтаксическая ошибка. Здесь мы пользуемся услугами статического класса PT, который находится в файле SimplePascalParserTools.cs. PT.CreateErrorString(args) формирует строку ошибки, а PT.AddError(errorMsg,yylloc); добавляет ошибку в список ошибок компиляции PascalABC.NET. Здесь интересно то, что в случае автоматического вызова yyerror в args попадают токены, которые ожидались после данного.

	==== Генерация кода лексического анализатора ====		==== Генерация кода лексического анализатора ====

Mikst: /* Секция определений */

2011-09-01T06:42:44Z

Секция определений

← Предыдущая версия		Версия от 09:42, 1 сентября 2011
Строка 113:		Строка 113:
	<source lang="CSharp">%namespace GPPGParserScanner		<source lang="CSharp">%namespace GPPGParserScanner

	%using ~~PascalABCCompiler.Oberon00Parser~~;		%using SimplePascalParser;

	Alpha [a-zA-Z_]		Alpha [a-zA-Z_]
Строка 124:		Строка 124:
	Строка %namespace GPPGParserScanner означает, что класс сканера будет помещен в пространство имен GPPGParserScanner		Строка %namespace GPPGParserScanner означает, что класс сканера будет помещен в пространство имен GPPGParserScanner

	Строка %using ~~PascalABCCompiler.Oberon00Parser~~; приводит к генерации соответствующей строки в cs-файле. Пространство имен ~~PascalABCCompiler.Oberon00Parser~~ полностью находится во вспомогательном файле ~~Oberon00ParserTools~~.cs, который содержит различные глобальные описания и подпрограммы (подробнее содержимое этого файла будет объяснено позже).		Строка %using SimplePascalParser; приводит к генерации соответствующей строки в cs-файле. Пространство имен SimplePascalParser полностью находится во вспомогательном файле SimplePascalParserTools.cs, который содержит различные глобальные описания и подпрограммы (подробнее содержимое этого файла будет объяснено позже).

	Далее идёт описание некоторых лексем в виде регулярных выражений. Например, целое число INTNUM представляет собой последовательность одной или более цифр {Digit}+, а идентификатор ID - последовательность букв или цифр, начинающуюся с буквы: {Alpha}{AlphaDigit}*		Далее идёт описание некоторых лексем в виде регулярных выражений. Например, целое число INTNUM представляет собой последовательность одной или более цифр {Digit}+, а идентификатор ID - последовательность букв или цифр, начинающуюся с буквы: {Alpha}{AlphaDigit}*

Mikst: /* Что входит в комплект разработчика парсеров */

2011-09-01T06:41:28Z

Что входит в комплект разработчика парсеров

← Предыдущая версия		Версия от 09:41, 1 сентября 2011
Строка 10:		Строка 10:


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

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