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

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

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

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

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



.Run(new Form);

end.

 

5.2.8 Операции += -=

В язык введены операции += -=. Пример использования таких операций - процедурные переменные:

procedure p1;('p1');;p2;('p2');;p: procedure;+= p1;+= p2;;;.

В данном примере операция += используется для добавления процедуры к процедурной переменной (делегат в .NET).

 

5.2.9 Методы в записях

В записях имеется возможность определять процедуры и функции. Синтаксис объявления не отличается от методов в классах.

type= record,y: integer;ToString: String; override;:= string.Format('({0},{1})', x, y);

end;;

В данном примере у записи переопределяется метод ToString. Все методы в записи получают модификатор видимости Public.

Следует отметить, что в записях было принято решение отказаться от вариантной части.

 

5.2.10 Объявление имен, совпадающих с ключевыми словами

Ключевые слова могут выступать в качестве идентификаторов, если они находятся в составном идентификаторе, например var t: System.Type. Это необходимо, т.к. в платформе .NET классы могут иметь имена, совпадающие с ключевыми словами языка PascalABC.NET. Также в язык введен специальный символ & который гасит ключевое слово и делает из него обычный идентификатор.

Пример программы:System;TReal: &Type;: System.Type;

&if: integer;

TInteger := typeof(integer);(TInteger);

TReal := typeof(real);(TReal);

&if := &if + 1;(&if);;

end.

 

5.3 Генератор синтаксических анализаторов

 

В качестве генератора синтаксических анализаторов была выбрана система GOLDParserBuilder (GPB) [7]. Это свободно распространяемая система, которая является LALR (LookAhead Left Recursive, рекурсия влево с просмотром вперед) генератором синтаксических анализаторов. GOLD переводится как - Grammar Oriented Language Developer.

GPB поддерживает множество языков программирования для написания парсера: ANSI C, C#, C++, Delphi, Java, Python, Visual Basic.

Рассмотрим схему работы GOLDParserBuilder:

 

 

Файл грамматики, имеющий расширение .grm, содержит:

определение множеств символов;

описание терминалов в виде регулярных выражений;

описание правил языка в форме Бекуса-Наура.

CGT файл - результат компиляции файла грамматики (Compiled Grammar Tables).

Движок - совокупность классов, которые позволяют интерпретировать CGT файл.

Шаблон для построения правил - файл, имеющий расширение PGT и содержащий набор правил, по которым следует построить скелет для правил на конкретном языке программирования.

 

5.4 Генерация синтаксического анализатора языка PascalABC.NET

 

В системе GPB грамматика и действия при свертке правил находятся в разных файлах. Отметим, что в YACC парсерах правила и действия при свертке правил находятся в одном файле, при этом действия при свертке правил записываются справа от правила. Также в GPB отсутствуют удобные символы $$, $1, $2,... которые служат для обращения к аргументам правила. Автору было неудобно редактировать грамматику и действия, поэтому была предложена следующая схема: действия записывать справа от правил, как и в YACC, но заключать их в комментарии.

Комментарии в GOLDParserBuilder заключаются в !* *!, например !*комментарий*!. Однострочный комментарий начинается символом !

Для реализации указанной идеи был написан анализатор grmCommentCompiler (используя GOLDParserBuilder), который анализирует grm файл и записывает содержимое комментариев вместо заглушек правил в скелет парсера. Таким образом, схема компиляции парсера теперь выглядит так:

компилирует grm файл в CGT файл, не обращая внимания на комментарии. Далее с помощью GOLDParserBuilder для движка GPBEngine генерируется скелет парсера. После этого запускается grmCommentCompiler, который анализирует grm файл и записывает содержимое комментариев вместо заглушек правил в скелет парсера. При этом grmCommentCompiler подвергает содержимое комментариев обработке с помощью набора шаблонов, определенных в grm файле, если в комментарии встречены треугольные скобки. Также обрабатываются символы $$ - результат правила, $1, $2, ... - значения терминалов и нетерминалов слева направо. Такие символы приняты в YACC для обработки аргументов правила. При этом символы $$, $n заменяются на:

$n -> LRParser.GetReductionSyntaxNode(n-1)

$$= -> return

Терминальные шаблоны используются grmCommentCompiler для формирования кода правила обработки терминального символа. Рассмотрим пример терминального шаблона:

!*

[TERMINALTEMPLATE]

{

%NAME% _%NAME%=new %NAME%(%PARAMS%);

_%NAME%.source_context=parsertools.create_source_context(token);

%CODE%_%NAME%;

}

*!

Терминальные правила, использующие такой шаблон, будут выглядеть так:

tkHex ='$'{Hex Digit}+

!*$$=parsertools.create_hex_const(this,$$);*!='#'{Number}+

!*$$=parsertools.create_sharp_char_const(this,$$);*!=''({String Char}|'''')*''

!*$$=parsertools.create_string_const(this,$$);*! ='-'

!**! ='+'

!**! = '/'

!**!

Нетерминальные шаблоны используются grmCommentCompiler для формирования кода правила обработки нетерминального символа. Рассмотрим пример нетерминального шаблона:

!*

[NONTERMINALTEMPLATE6]

//TemplateList for %NAME% (create)

{

%NAME% _%NAME%=new %NAME%();

_%NAME%.source_context=((%CODE%)$1).source_context;

_%NAME%.%PARAMS%.Add((%CODE%)$1);_%NAME%;

}

*!

!*

[NONTERMINALTEMPLATE7]

//TemplateList for %NAME% (add)

{

%NAME% _%NAME%=(%NAME%)$1;.create_source_context(_%NAME%,$$,$3);

_%NAME%.%PARAMS%.Add((%CODE%)$3);_%NAME%;

}

*!

Приведем пример использования нетерминальных шаблонов для создания списка:

::= ident*!

|

!*7ident_listident*!

После генерации CGT файла и файла с правилами, запускается программа ResxMaker, которая упаковывает CGT файл (используется стандартный алгоритм GZIP), а затем генерирует файл ресурса. Текст программы ResxMaker ввиду ее простоты приведен ниже:

#define USEGZIPSystem;System.Resources;System.Reflection;System.Globalization;System.Th

s