Вики проекта PascalABC.NET - Вклад [ru]

Заглавная страница

2012-01-23T16:52:51Z

Ibond: Правки Criss22 (обсуждение) откачены к версии Ibond

== Cтатьи==
* [[FAQ по PascalABC.NET]]

== Примеры==
* [[Программы для начинающих|Программы и алгоритмы для начинающих]]
* [[Особенности языка: базовый уровень]]
* [[Стандартные модули: базовый уровень]]
* [[Особенности языка: продвинутый уровень]]
* [[Стандартные модули: продвинутый уровень]]
* [[Алгоритмы для студентов|Программы и алгоритмы для студентов ИТ]]
* [[Алгоритмы средней сложности]] (пока не реализовано)

== Обучение==
* [[GPLex + GPPG|Задания по курсу "Методы построения компиляторов"]]
* [[Комплект юного разработчика парсеров]]
* [[Как создать компилятор]]
* [[Построение синтаксического дерева программы на языке Паскаль]]
* [[МПОК 2011]]

== Web-среда разработки PascalABC.NET ==

*[[Основная страница проекта WDE PascalABC.NET|Основная страница проекта]]

==Другие проекты==

* [[Идеи курсовых 2011]]
*[[Обзор реализации основных возможностей функционального языка программирования в среде PascalABC.NET|Проект "Реализация основных возможностей функционального языка программирования в среде PascalABC.NET" (Бушманова Н.)]]
*[[Рефакторинг|Проект "Рефакторинг по семантическому дереву PascalABC.NET" (Малеванный М., Коноплев Е.)]]
*[[Аспектно-ориентированное программирование|Проект "Аспектно-ориентированное программирование" (Зарубин М.)]]
* [[Реализация языка программирования Оберон на базе PascalABC.NET]]

* [[Проект Optimus - учебная система оптимизации программ]]

== Для разработчика PascalABC.NET ==

* [[Что менять при переходе к новой версии PascalABC.NET]]
* [[Архитектура PascalABC.NET]]
* [[Создание нового языка программирования - с чего начать]]
* [[Интерфейс подключения нового языка программирования|Интерфейс подключения нового языка программирования (проект)]]
* [[Директивы компилятора]]
* [[Синтаксическое дерево]]
* [[Семантическое дерево]]
* [[Формат PCU]]
* [[Отладчик]]
* [[Intellisense]]
* [[Шаблоны кода]]
* [[Создание нового стандартного модуля (для разработчика)]]

== Статьи по программированию в PascalABC.NET ==
* [[Локализация приложений]]
* [[Плагины для PascalABC.NET]]
* [[Отслеживание изменений в файловой системе]]
* [[OpenGL]]

== Разное ==
* [[GPPG+GPLex - что исправить для русской кодировки]]
[[Ош]]
[[Ош1]]
[[ОшWDE2]]

Заглавная страница

2012-01-20T20:34:30Z

Ibond:

Заглавная страница

2012-01-20T20:34:08Z

Ibond:

Плагины для PascalABC.NET

2011-10-04T16:30:37Z

Ibond:

Среда PascalABC.NET позволяет расширять функционал с помощью плагинов. Ниже приведен пример простого плагина на паскале, который создает программу в редакторе и запускает ее:

<source lang="Pascal">
{$apptype dll}

//для доступа к IVisualPascalABCPlugin, IVisualEnvironmentCompiler
{$reference PluginsSupport.dll}
//для доступа к IVisualEnvironmentCompiler.Compiler
{$reference Compiler.dll}

{$reference System.Windows.Forms.dll}
{$reference System.Drawing.dll}

//Ресурс - иконка кнопки
{$resource PABCTestPlugin_newfile.png}

unit PABCTestPlugin;

uses System.Collections.Generic,
System.Drawing,
VisualPascalABCPlugins;

const NL = #13#10;

type
//Тестовый плагин - должен иметь имя *_VisualPascalABCPlugin и реализовывать
//интерфейс VisualPascalABCPlugins.IVisualPascalABCPlugin
//Этот плагин добавляет конпку на панель и в меню, по нажатию на которую:
// 1. создается новый pas файл
// 2. он открывается в оболочке
// 3. он компилируется и запускается
PABCTestPlugin_VisualPascalABCPlugin = class(IVisualPascalABCPlugin)
private
//интерфейс на оболочку компилятора
compiler: IVisualEnvironmentCompiler;

//для получения нового имени файла
function GetNewFileName():string;
begin
var fileTemplate := 'C:\PABCWork.NET\NewProgram{0}.pas';
var pasFile := '';
var i := 1;
repeat
pasFile := string.Format(fileTemplate, i);
i += 1;
until(not System.IO.File.Exists(pasFile));
result := pasFile;
end;
//обработчик нажатия на кнопку
procedure Click1;
begin
//создаем файл
var fileName := GetNewFileName;
System.IO.File.WriteAllText(fileName, string.Format('begin'+NL+'Write(''Im new program "{0}" :)'');'+NL+'end.', fileName));
//Открываем его в оболочке
compiler.ExecuteAction(VisualEnvironmentCompilerAction.OpenFile, fileName);
//Запускаем компиляцию и выполнение
compiler.ExecuteAction(VisualEnvironmentCompilerAction.Run, nil);
end;

public
//обязателен конструктор с одним параметром типа IVisualEnvironmentCompiler
constructor(compiler: IVisualEnvironmentCompiler);
begin
self.compiler := compiler;
end;
//Обязательно
function get_Name:string;
begin
result := 'PABC Test Plugin';
end;
//Обязательно
function get_Version:string;
begin
result := '1.0';
end;
//Обязательно
function get_Copyright:string;
begin
result := 'PascalABCNet Team';
end;
//Обязательно
//Визуальная оболочка с помощью этой функции получает спиок кнопок на панели и кнопок в меню:
//Плагин должен добавить в соответвующий список необходимые кнопки.
procedure GetGUI(MenuItems:List<IPluginGUIItem>; ToolBarItems:List<IPluginGUIItem>);
begin
//Грузим изображение из ресурса
var img:Image := Image.FromStream(System.Reflection.Assembly.GetExecutingAssembly().GetManifestResourceStream('PABCTestPlugin_newfile.png'));
//Создаем кнопку
var item1 := new PluginGUIItem('Новый файл', 'Создать новый файл', img, Color.Transparent, Click1);
//Добавляем в меню
MenuItems.Add(item1);
//Добавляем на панель
ToolBarItems.Add(item1);
end;

end;

end.

</source>

Скомпилированную dll-библиотеку плагина нужно затем поместить в папку PascalABC.NET. Также необходимо создать иконку PABCTestPlugin_newfile.png размером 16x16.

Директивы компилятора

2011-06-08T16:06:41Z

Ibond: /* Основные директивы, обрабатываемые препроцессором */

== Основные директивы, обрабатываемые препроцессором ==

'''{$apptype <тип приложения>}''' - Задание типа приложения (windows/console).

'''{$reference <имя файла>}''' - Подключение библиотеки.

'''{$gendoc <параметр>}''' - Генерация документации в XML формате. Параметры: '''true''', '''false'''.

'''{$mainresource <имя файла>}''' - Подключение .res файла в качестве неуправляемого ресурса

'''{$resource <имя файла>}''' - Подключение файла в качестве управляемого ресурса

'''{$product <название продукта>}''' - Название продукта

'''{$version <версия продукта>}''' - Версия продукта

'''{$company <компания>}''' - Компания

'''{$copyright <копирайт>}''' - Копирайт

'''{$trademark <торговая марка>}''' - Торговая марка

'''{$include <имя файла>}''' - Включение в текст программы содержимого указанного файла.

'''{$define <идентификатор>}''' - Определение имени, используемого в директивах '''$ifdef''', '''$ifndef'''.

'''{$undef <идентификатор>}''' - Исключение имени, используется для отмены действия директивы '''$define'''.

'''{$ifdef <идентификатор>}''' - Начало блока условной компиляции (проверяется условие: "идентификатор определен").

'''{$ifndef <идентификатор>}''' - Начало блока условной компиляции (проверяется условие: "идентификатор не определен").

'''{$else}''' - Директива "иначе" в блоке условной компиляции.

'''{$endif}''' - Завершение блока условной компиляции.

Директивы '''$ifdef''', '''$ifndef''' совместно с директивами '''$else''' и '''$endif''' управлют условной компиляцией частей исходного файла. Каждой директиве '''$ifdef''', '''$ifndef''' должна соответствовать завершающая ее директива '''$endif'''. Между директивами '''$ifdef''', '''$ifndef''' и '''$endif''' допускается произвольное количество блоков условной компиляции (в том числе вложенных) и не более одной директивы '''$else'''.

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

{$apptype console}
{$reference library.dll}
{$define DEBUG}
{$define GO}
begin
{$ifdef GO}
{$ifndef DEBUG}
writeln('Имя DEBUG не определено');
{$else}
writeln('Имя DEBUG определено');
{$endif}
{$endif}

{$include test.pas}
end.

== Отключение препроцессора ==
Для отключения препроцессора необходимо закомментировать следующие строки в файле Core\Parsers\PascalABCParser\Parser.cs
216
225-228
237-238
246-247

Множества произвольного типа

2010-08-03T11:07:16Z

Ibond:

Базовый тип для множества может быть произвольным.
<source lang="Delphi">var
s1: set of string := ['Иванов','Попов','Сидорова','Петров'];
s2: set of string := ['Козлов','Петров','Иванов'];
begin
writeln('Множество s1: ',s1);
writeln('Множество s2: ',s2);
writeln('Объединение множеств s1 и s2: ',s1+s2);
writeln('Пересечение множеств s1 и s2: ',s1*s2);
writeln('Разность множеств s1 и s2: ',s1-s2);
Include(s1,'Умнов');
s1 -= ['Иванов']; // делает то же, что и Exclude
writeln('Множество s1: ',s1);

write('Множество s2: ');
foreach str: string in s2 do
write(str,' ');
end. </source>
Множества внутри устроены не как битовые векторы, а как хеш-таблицы, за счет этого операции с ними менее эффективны.
== Ссылки ==
*[[Особенности языка: базовый уровень]]
*[http://pascalabc.net/ru/bazovyie-osobennosti-yazyika-i-bibliotek.html Сайт PascalABC.NET: Особенности языка]

Создание нового стандартного модуля (для разработчика)

2010-04-20T19:29:55Z

Ibond:

* В ReleaseGenerators\sect_Core.nsh добавить имена .pas и .pcu-файлов в двух местах. Например, при добавлении Core.pas:
<source lang="Delphi">
File ..\bin\Lib\Core.pcu
${AddFile} "Core.pcu"

File ..\bin\Lib\Core.pas
${AddFile} "Core.pas"

</source>

* В ReleaseGenerators\RebuildStandartModules.pas в uses добавить имя стандартного модуля

Создание нового стандартного модуля (для разработчика)

2010-04-20T19:28:54Z

Ibond:

Семантическое дерево

2010-02-02T16:14:20Z

Ibond: Отмена правки 1509 участника Wloki (обсуждение)

'''Семантическое дерево''' в PascalABC.NET представляет собой атрибутированное дерево (точнее граф) разбора программы. Оно строится во время семантического анализа (включая восстановление из PCU). Семантическое дерево сериализуется в [[PCU]], по нему генерируется IL-код. Классы, реализующие узлы семантического дерево, предоставляют соответствующие интерфейсы. Например, генератор кода оперирует не непосредственно классами, а лишь интерфейсами семантического дерева.

Заглавная страница

2010-01-16T10:12:11Z

Ibond:

== Некоторые статьи о PascalABC.NET==
* [[FAQ по PascalABC.NET]]
== Примеры==
* [[Программы для начинающих|Программы и алгоритмы для начинающих]]
* [[Особенности языка: базовый уровень]]
* [[Стандартные модули: базовый уровень]]
* [[Особенности языка: продвинутый уровень]]
* [[Стандартные модули: продвинутый уровень]]
* [[Алгоритмы средней сложности]] (пока не реализовано)

== Web-среда разработки PascalABC.NET ==

*[[Основная страница проекта WDE PascalABC.NET|Основная страница проекта]]

==Другие проекты==

*[[Обзор реализации основных возможностей функционального языка программирования в среде PascalABC.NET|Проект "Реализация основных возможностей функционального языка программирования в среде PascalABC.NET" (Бушманова Н.)]]
*[[Проект "Каталог алгоритмов"|Проект "Каталог алгоритмов" (Альшаев О.)]]
*[[Проект "MonoDevelop Add-in для PascalABC.NET"|Проект "MonoDevelop Add-in для PascalABC.NET" (Венцко А.)]]
*[[OpenMP|Проект "OpenMP для PascalABC.NET" (Ткачук А. - все надежды на него)]]
*[[Рефакторинг|Проект "Рефакторинг по семантическому дереву PascalABC.NET" (Малеванный М., Коноплев Е.)]]
*[[Аспектно-ориентированное программирование|Проект "Аспектно-ориентированное программирование" (Зарубин М.)]]

== Статьи о внутреннем представлении PascalABC.NET ==

* [[Архитектура PascalABC.NET]]
* [[Интерфейс подключения нового языка программирования]]
* [[Директивы компилятора]]
* [[Синтаксическое дерево]]
* [[Семантическое дерево]]
* [[Формат PCU]]
* [[Отладчик]]
* [[Intellisense]]
* [[Шаблоны кода]]

== Статьи по программированию в PascalABC.NET ==
* [[Локализация приложений]]
* [[Плагины для PascalABC.NET]]
* [[Отслеживание изменений в файловой системе]]
* [[OpenGL]]

Отслеживание изменений в файловой системе

2010-01-16T10:10:30Z

Ibond: Новая: Для отслеживания изменений в файловой системе (изменение, переименование, удаление файлов и папок) ис...

Для отслеживания изменений в файловой системе (изменение, переименование, удаление файлов и папок) используется класс System.IO.FileSystemWatcher. Он позволяет подписаться на соответствующие события и задавать фильтр для файлов и папок.

Ниже приведен пример кода, отслеживающий изменения файлов с расширением .txt в текущем каталоге.

<source lang="Pascal">
{$reference System.Windows.Forms.dll}

uses
System, System.IO, System.Windows.Forms;

procedure FileSystemChanged(source: object; e: FileSystemEventArgs);
begin
writeln('Изменился файл '+e.Name);
end;

procedure FileSystemCreated(source: object; e: FileSystemEventArgs);
begin
writeln('Создан файл '+e.Name);
end;

procedure FileSystemDeleted(source: object; e: FileSystemEventArgs);
begin
writeln('Удален файл '+e.Name);
end;

var
watcher: FileSystemWatcher;

begin
watcher := new FileSystemWatcher(GetCurrentDir());
watcher.EnableRaisingEvents := true;
watcher.Filter := '*.txt';
watcher.Changed += FileSystemChanged;
watcher.Created += FileSystemCreated;
watcher.Deleted += FileSystemDeleted;
Application.Run();
end.
</source>

Описание концепции проекта WDE

2009-07-09T21:30:21Z

Ibond:

WDE - Web-среда разработки (по аналогии с IDE - интегрированная среда разработки)

WDE PascalABC.NET - это простая Web-среда, позволяющая запускать консольные приложения PascalABC.NET непосредственно из браузера. Такие приложения компилируются и выполняются на стороне сервера, возвращая на сторону клиента результаты работы.

Технически WDE PascalABC.NET - asp.net-приложение.

'''Ближайшие возможности:''' <br />
* Компиляция и выполнение программы.
* Будут доступны два режима работы: для зарегистрированных и незарегистрированных пользователей соответственно. Преимущество первых — возможность хранения файлов на сервере.
* Одновременная работа с несколькими файлами.
* Скачивание текущего файла (и, возможно, архива всех рабочих файлов)
* Веб-сервис для компилятора
* Справка PascalABC.NET
* FAQ по web-среде

В перспективе предполагается:
* Хранение файлов на сервере
* Интерактивная справочная система
* Многомодульные проекты
* Группы пользователей с разными правами
* Система автоматической проверки заданий

[[Категория:WDE]]
== Размышления о WDE ==
В процессе разработки возникли [[Сценарии использования WDE | несколько мыслей о сценариях использования]] WDE. Это привело разработчиков к мысли о наличии ''режимов работы''.

Скорее всего, режимы работы будут соответствовать [[Сценарии использования WDE | сценариям использования]]. И, при этом, каждый режим доступен и гостям, и зарегистрированным пользователям, причем последние получают некоторый приоритет.

Пока более менее оформились мысли по трем режимам.
* '''для начинающих'''
На самом деле это и режим по умолчанию, в котором находится среда при первой загрузке. Т.е. тут пользователь должен получать общее представление о среде и иметь доступ к наглядным примерам, иллюстрирующим работу языка Pascal (и, со временем, других языков).
* '''публикации'''
В этом режиме будет легко управлять всеми доступными файлами и публиковать необходимые файлы с минимальными усилиями.
* '''кодирования'''
А это уже режим, основное назначение которого — максимально удобное программирование. Минимум лишней информации (и при этом несложный доступ ко всему необходимому), простота управления проектом.

По сути режимы — это всего лишь разница в интерфейсе. Чем больше сценариев работы, и чем больше они отличаются, тем сложнее скомпоновать все в едином интерфейсе. Например, в режиме для ''начинающего'' под рукой должны быть разнообразные примеры и FAQ по среде. А если среда нужна для непосредственной работы с собственным проектом, то основной акцент предполагается на редакторе. Примеры будут доступны, но не так близко, дабы не загружать лишним рабочее пространство.

Архитектура PascalABC.NET

2009-06-20T11:03:22Z

Ibond: /* Краткое описание библиотек и папок PascalABC.NET */

'''PascalABC.NET''' реализован на платформе .NET. Разработка ведется на языке C# в Visual Studio и SharpDevelop.

==Краткое описание библиотек и папок PascalABC.NET==
* '''PascalABCNET.exe''' (проект VisualPascalABCNET) визуальная среда PascalABC.NET, [[отладчик]], дизайнер форм
* '''pabcnetc.exe''' (проект PABCNETC) консольный компилятор
* '''Compiler.dll''' (проект Compiler) компиляция программы и модулей, классы для работы с [[PCU]], генерация XML-документации
* '''ParserTools.dll''' (проект ParserTools) подключение парсеров
* '''PascalABCParser.dll''' (проект PascalABCParser) парсер языка PascalABC.NET
* '''TreeConverter.dll''' (проект TreeConverter) семантический разбор, классы, представляющие семантическое дерево
* '''NETGenerator.dll''' (проект NETGenerator) генератор IL-кода
* '''SyntaxTree.dll''' (проект SyntaxTree) классы, представляющие [[Синтаксическое дерево|синтаксическое дерево]]
* '''SemanticTree.dll''' (проект SemanticTree) интерфейсы [[Семантическое дерево|семантического дерева]]
* '''CodeCompletion.dll''' (проект CodeCompletion) движок [[Intellisense]]
* '''CompilerTools.dll''' (проект CompilerTools) различные утилиты, необходимые компилятору
* '''Errors.dll''' (проект Errors) классы для представления семантических и синтаксических ошибок
* '''PluginsSupport''' (проект PluginsSupport) интерфейсы подключения визуальных плагинов к PascalABC.NET
* '''ICSharpCode.TextEditor.dll''' (сторонняя библиотека) текстовый редактор
* '''Debugger.Core.dll''' (сторонняя библиотека) библиотека для отладки .NET-приложений

Заглавная страница

2009-06-20T11:00:44Z

Ibond: /* Некоторые статьи о внутреннем представлении PascalABC.NET */

== Web-среда разработки PascalABC.NET ==

[[Основная страница проекта WDE PascalABC.NET|Основная страница проекта]]

== Некоторые статьи о внутреннем представлении PascalABC.NET ==

* [[Архитектура PascalABC.NET]]
* [[Интерфейс подключения нового языка программирования]]
* [[Директивы компилятора]]
* [[Синтаксическое дерево]]
* [[Семантическое дерево]]
* [[Формат PCU]]
* [[Отладчик]]
* [[Intellisense]]

Архитектура PascalABC.NET

2009-06-20T10:59:40Z

Ibond: /* Краткое описание библиотек и папок PascalABC.NET */

'''PascalABC.NET''' реализован на платформе .NET. Разработка ведется на языке C# в Visual Studio и SharpDevelop.

==Краткое описание библиотек и папок PascalABC.NET==
* '''PascalABCNET.exe''' (проект VisualPascalABCNET) визуальная среда PascalABC.NET, отладчик, дизайнер форм
* '''pabcnetc.exe''' (проект PABCNETC) консольный компилятор
* '''Compiler.dll''' (проект Compiler) компиляция программы и модулей, классы для работы с [[PCU]], генерация XML-документации
* '''ParserTools.dll''' (проект ParserTools) подключение парсеров
* '''PascalABCParser.dll''' (проект PascalABCParser) парсер языка PascalABC.NET
* '''TreeConverter.dll''' (проект TreeConverter) семантический разбор, классы, представляющие семантическое дерево
* '''NETGenerator.dll''' (проект NETGenerator) генератор IL-кода
* '''SyntaxTree.dll''' (проект SyntaxTree) классы, представляющие синтаксическое дерево
* '''SemanticTree.dll''' (проект SemanticTree) интерфейсы семантического дерева
* '''CodeCompletion.dll''' (проект CodeCompletion) движок Intellisense
* '''CompilerTools.dll''' (проект CompilerTools) различные утилиты, необходимые компилятору
* '''Errors.dll''' (проект Errors) классы для представления семантических и синтаксических ошибок
* '''PluginsSupport''' (проект PluginsSupport) интерфейсы подключения визуальных плагинов к PascalABC.NET
* '''ICSharpCode.TextEditor.dll''' (сторонняя библиотека) текстовый редактор
* '''Debugger.Core.dll''' (сторонняя библиотека) библиотека для отладки .NET-приложений

Архитектура PascalABC.NET

2009-06-20T10:58:09Z

Ibond:

'''PascalABC.NET''' реализован на платформе .NET. Разработка ведется на языке C# в Visual Studio и SharpDevelop.

==Краткое описание библиотек и папок PascalABC.NET==
* PascalABCNET.exe (проект VisualPascalABCNET) визуальная среда PascalABC.NET, отладчик, дизайнер форм
* pabcnetc.exe (проект PABCNETC) консольный компилятор
* Compiler.dll (проект Compiler) компиляция программы и модулей, классы для работы с [[PCU]], генерация XML-документации
* ParserTools.dll (проект ParserTools) подключение парсеров
* PascalABCParser.dll (проект PascalABCParser) парсер языка PascalABC.NET
* TreeConverter.dll (проект TreeConverter) семантический разбор, классы, представляющие семантическое дерево
* NETGenerator.dll (проект NETGenerator) генератор IL-кода
* SyntaxTree.dll (проект SyntaxTree) классы, представляющие синтаксическое дерево
* SemanticTree.dll (проект SemanticTree) интерфейсы семантического дерева
* CodeCompletion.dll (проект CodeCompletion) движок Intellisense
* CompilerTools.dll (проект CompilerTools) различные утилиты, необходимые компилятору
* Errors.dll (проект Errors) классы для представления семантических и синтаксических ошибок
* PluginsSupport (проект PluginsSupport) интерфейсы подключения визуальных плагинов к PascalABC.NET
* ICSharpCode.TextEditor.dll (сторонняя библиотека) текстовый редактор
* Debugger.Core.dll (сторонняя библиотека) библиотека для отладки .NET-приложений

Отладчик

2009-06-20T10:44:36Z

Ibond:

В PascalABC.NET реализован отладчик, включающий в себя:
* основные команды: F7 (шаг с входом в подпрограмму), F8 (шаг без входа в подпрограмму), F4 (переход к курсору), F10 (выход из подпрограммы)
* окно Watch
* окно локальных переменных
* всплывающие подсказки значений переменных
* точки останова (breakpoint), в т. ч. условные точки останова

== Детали реализации ==
В PascalABC.NET используется сторонняя библиотека Debugger.Core из SharpDevelop. По сути библиотека Debugger.Core - это managed-обертка над COM-интерфейсами, предоставляющих средства для отладки .NET-приложений. Существует альтернативная библиотека mdbgcore, входящая в Windows SDK. Библиотека Debugger.Core позволяет вычислять значения выражений на этапе отладки. Для представления значения используется класс Value.

==Вычисление выражений в окне Watch==
При изменении состояния отладчика (переход к следующей точке останова) вычисляются все выражения в окне Watch. Для выражения строится синтаксическое дерево и далее визитором ExpressionEvaluator по дереву вычисляется значение выражения. Поиск имен происходит согласно семантике PascalABC.NET. То есть, сначала ищется среди локальных переменных текущей подпрограммы, далее в объемлющих подпрограммах, в классе, модуле, подключенных модулях и пространств имен. Список подключенных модулей и пространств имен хранится в атрибуте класса-обертки над модулем. Кроме того в exe-файл сохраняется информация об используемых в модуле пространств имен .NET.

В библиотеке Debugger.Core также предусмотрен случай, когда выражение вычисляется слишком медленно. В таком случае выводится сообщение: Выражение слишком долго вычисляется. В Watch не отсутствует поддержка вызовов функций (только стандартные функции без побочного эффекта). Однако в разработке находится окно Immediate, в котором можно будет вызывать функции и методы.

Архитектура PascalABC.NET

2009-06-20T10:43:23Z

Ibond: Новая: PascalABC.NET реализован на платформе .NET. Разработка ведется на языке C# в Visual Studio и SharpDevelop. ==Краткое описани...

PascalABC.NET реализован на платформе .NET. Разработка ведется на языке C# в Visual Studio и SharpDevelop.

==Краткое описание библиотек и папок PascalABC.NET==
#PascalABCNET.exe (проект VisualPascalABCNET) визуальная среда PascalABC.NET, отладчик, дизайнер форм
#Compiler.dll (проект Compiler) компиляция программы и модулей, классы для работы с [[PCU]], генерация XML-документации
#ParserTools.dll (проект ParserTools)

Отладчик

2009-06-20T10:31:07Z

Ibond:

В PascalABC.NET реализован отладчик, включающий в себя:
# основные команды: F7 (шаг с входом в подпрограмму), F8 (шаг без входа в подпрограмму), F4 (переход к курсору), F10 (выход из подпрограммы)
# окно Watch
# окно локальных переменных
# всплывающие подсказки значений переменных
# точки останова (breakpoint), в т. ч. условные точки останова

== Детали реализации ==
В PascalABC.NET используется сторонняя библиотека Debugger.Core из SharpDevelop. По сути библиотека Debugger.Core - это managed-обертка над COM-интерфейсами, предоставляющих средства для отладки .NET-приложений. Существует альтернативная библиотека mdbgcore, входящая в Windows SDK. Библиотека Debugger.Core позволяет вычислять значения выражений на этапе отладки. Для представления значения используется класс Value.

==Вычисление выражений в окне Watch==
При изменении состояния отладчика (переход к следующей точке останова) вычисляются все выражения в окне Watch. Для выражения строится синтаксическое дерево и далее визитором ExpressionEvaluator по дереву вычисляется значение выражения. Поиск имен происходит согласно семантике PascalABC.NET. То есть, сначала ищется среди локальных переменных текущей подпрограммы, далее в объемлющих подпрограммах, в классе, модуле, подключенных модулях и пространств имен. Список подключенных модулей и пространств имен хранится в атрибуте класса-обертки над модулем. Кроме того в exe-файл сохраняется информация об используемых в модуле пространств имен .NET.

В библиотеке Debugger.Core также предусмотрен случай, когда выражение вычисляется слишком медленно. В таком случае выводится сообщение: Выражение слишком долго вычисляется. В Watch не отсутствует поддержка вызовов функций (только стандартные функции без побочного эффекта). Однако в разработке находится окно Immediate, в котором можно будет вызывать функции и методы.

Отладчик

2009-06-08T18:37:17Z

Ibond:

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

2009-06-04T20:24:15Z

Ibond:

# Интерфейс проектов
#* Список типов проектов
#* Создание проекта указанного типа
#* Генерация кода для проекта указанного типа
# Интерфейс отладчика
#* Запуск откомпилированной программы
#* Команды отладки Step Over, Step In, Step Out
#* Вычисление значения выражения
# Интерфейс интеллисенса
#* Не знаю
# Интерфейс собственно компилятора
#* Подключить список внешних reference
#* Откомпилировать данный модуль
#* Откомпилировать список модулей
#* Доступные опции компиляции и действия по ним
#* Алгоритм компиляции многомодульных проектов(?)
# Интерфейс генератора кода для дизайнера форм
#* Сгенерировать вызов метода
#* Сгенерировать присваивание свойства
#* Сгенерировать значение свойства
# Интерфейс справочной системы.
#* Загрузить справку
#* Загрузить подсказку по слову

Intellisense

2009-04-30T09:29:26Z

Ibond: Новая: В PascalABC.NET реализован Intellisense. На данный момент он включает в себя: * подсказку по точке * подсказку по на...

В PascalABC.NET реализован Intellisense. На данный момент он включает в себя:

* подсказку по точке
* подсказку по нажатии ( и [
* подсказку по наведении мышью
* переход к описанию и реализации
* вывод окна со всеми видимыми именами текущего модуля и всех подключенных модулей и пространств имен (Ctrl+Space)
* вывод окна со всеми видимыми именами текущего модуля (Shift+Space)
* поиск зависимостей (Find References)
* генерация реализации методов (Ctrl+Shift+C)
* вывод окна с переопределяемыми методами базового класса (Ctrl+Shift+Space)
* реализация методов интерфейса (Ctrl+Shift+I)

==Реализация==

Все открытые в редакторе и измененные файлы в фоновом потоке каждые 2 секунды разбираются стандартным парсером (использующимся при компиляции). По синтаксическому дереву строится внутреннее представление, заточенные под нужды интеллисенса. Данное внутреннее представление хранится в памяти, синтаксическое дерево в памяти далее не хранится, что существенно снижает размер потребляемой памяти.

При нажатии клавиши справа налево считывается соответствующее выражение. Например, при нажатии точки считывается выражение перед точкой, при наведении курсора мыши считывается выражение под курсором. Парсинг при этом не происходит, так как внутреннее представление уже имеется. Это существенно ускоряет вывод подсказок.

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

Синтаксическое дерево

2009-04-25T21:39:40Z

Ibond:

'''Синтаксическое дерево''' в PascalABC.NET представляет собой неатрибутированное дерево разбора. Оно строится во время синтаксического анализа. При последующем семантическом анализе оно переводится в атрибутированное семантическое дерево. Такое разделение двух видов деревьев связано с их принципиально разной структурой. Существуют также (например, в CCI) совмещенные реализации синтаксического и семантического дерева, когда не строится новое дерево, а заменяются существующие неатрибутированные узлы дерево.

Синтаксическое дерево

2009-04-25T21:38:37Z

Ibond: Новая: '''Синтаксическое дерево''' в PascalABC.NET представляет собой неатрибутированное дерево разбора. Оно строит...

'''Синтаксическое дерево''' в PascalABC.NET представляет собой неатрибутированное дерево разбора. Оно строится во время синтаксического анализа. При последующем семантическом анализе оно переводится в атрибутированное семантическое дерево. Такое разделение двух видов деревьев связано с их принципиально разной структурой. Синтаксическое дерево можно рассматривать как представление текста программы, удобное для последующего анализа. Существуют также (например, в CCI) совмещенные реализации синтаксического и семантического дерева, когда не строится новое дерево, а заменяются существующие неатрибутированные узлы дерево.

PCU

2009-04-25T21:04:31Z

Ibond: Перенаправление на Формат PCU

#REDIRECT [[Формат PCU]]

Формат PCU

2009-04-25T21:00:48Z

Ibond: Новая: '''PCU''' - промежуточный формат хранения семантического дерева в PascalABC.NET. Он служит для ускорения компил...

'''PCU''' - промежуточный формат хранения семантического дерева в PascalABC.NET. Он служит для ускорения компиляции программ, поскольку отпадает фаза синтаксического и семантического анализа. Выходной размер PCU файла в среднем в 1,5 раза больше исходного текста модуля.
При чтении PCU-файла в таблицу символов заносятся заглушки считываемых сущностей (типов, подпрограмм и т.д.) и по запросу разворачивается семантическое дерево этих сущностей. Таким образом считываются только используемые имена, поэтому размер выходного исполняемого файла сокращается.

==Формат PCU файла==

{| class="wikitable" border="1"
| '''Размер'''
| '''Описание'''
| '''Примечания'''

|-
| 3
| Сигнатура PCU-файла 'PCU'
|

|-
| 2
| Версия PCU
| PCU разных версий несовместимы

|-
| 8
| Контрольная сумма (временно не используется)
|

|-
| 1
| Флаг, включена ли отладочная информация
|

|-
| -
| Имя исходного файла программы при включенной отладочной информации
|

|-
| 4
| Количество записей в таблице интерфеисных имен модуля
|

|-
|
| Таблица имен сущностей interface части модуля. Каждая запись имеет структуру:

имя сущности

смещение сущности в PCU-файле (4 байта)

семантический тип сущности (TreeConverter.SymbolKind) (1 байт)

флаг method extension (1 байт)
|

|-
| 4
| Количество записей в таблице имен implementation части модуля
|

|-
|
| Имеет ту же структуру, что и таблица интерфейсных имен
|

|-
| 4
| Количество элементов в таблице подключаемых модулей
|

|-
|
| Таблица подключаемых модулей. Каждая запись - имя файла модуля без расширения.
|

|-
| 4
| Количество элементов в таблице используемых пространств имен
|

|-
|
| Таблица используемых пространств имен (нужна отладчику и зашивается в exe)
|

|-
| 4
| Количество подключаемых модулей в interface части модуля
|

|-
| 4
| Количество записей в таблице подключаемых сборок
|

|-
|
| Таблица подключаемых сборок .NET. Каждая запись - полное имя сборки (Assembly.FullName).
|

|-
| 4
| Количество элементов в таблице директив компилятора
|

|-
|
| Таблица директив компилятора. Имеет структуру:

- строка директивы (reference, apptype)

- строка значения директивы

- отладочная информация (начало строки, начало колонки, конец строки, конец колонки)
|

|-
| 4
| Количество элементов в таблице импортируемых сущностей
|

|-
|
| Таблица импортируемых сущностей. Имеет вид:

-флаг, откуда импортируется сущность (0-модуль,1-сборка .NET)

- для сущностей, импортируемых из модулей - индекс в таблице подключаемых модулей; из сборок - индекс в таблице подключаемых сборок. Если сущность находится в классе, то здесь указывается индекс класса в таблице импортируемых сущностей

- для сущностей, импортируемых из модуля - фактическое смещение сущности в подключаемом модуле; из сборок - индекс в таблице используемых имен сущностей .NET (ниже)
|

|-
| 4
| Смещение, по которому находится таблица синонимов типов, описанных в interface части модуля
|

|-
| 4
| Смещение, по которому находится таблица синонимов типов, описанных в implementation части модуля
|

|-
| 4
| Количество элементов в таблице используемых имен сущностей .NET
|

|-
|
| Таблица используемых имен сущностей .NET. Имеет структуру:

- семантический вид сущности (тип, поле, свойство, метод, конструктор)

- имя сущности

-дополнительная информация (параметры метода, шаблонного класса) - массив смещений на записи сущностей в данной таблице (например, типы параметров метода)
|

|-
|
| Имя namespace_node (пространство имен .NET) interface части модуля
|

|-
| 16
| Отладочная информация об interface части модуля
|

|-
|
| Имя namespace_node (пространство имен .NET) implementation части модуля
|

|-
| 16
| Отладочная информация об implementation части модуля
|

|-
| 4
| Количество элементов в таблице template-классов
| interface-часть модуля

|-
|
| Таблица template-классов. Каждая запись имеет следующую структуру:

- semantic_node_type

- имя класса

- список имен подключаемых сборок

- список имен подключаемых сборок 2

- имя файла, где описан шаблон

- сериализованное синтаксическое дерево шаблонного класса (если есть)

-
|

|-
| 4
| Количество элементов в таблице типов (классов, записей, перечислений и т. д.) interface части модуля
|

|-
|
| Таблица типов interface части модуля

- semantic_node_type сущности

- флаг, находится ли тип в interface части модуля

-если сущность описана в interface части - индекс в таблице имен имен сущностей модуля, иначе имя сущности

- флаг, является ли тип интерфейсом (IsInterface)

- флаг, является ли тип делегатом (IsDelegate)

- ссылка на тип предка

- флаг, является ли тип размерным (internal_is_value)

- список ''ссылок'' на реализуемые интерфейсы

- type_access_level

- type_special_kind

- element_type

- ссылка на объемлющее пространство имен

- флаг, есть ли у класса свойство по умолчанию

- смещение, по которому находится свойство по умолчанию (если оно есть)

- отладочная информация
|

|-
| 4
| Количество элементов в таблице откомпилированных (в сборках .NET) типов
|

|-
|
| Таблица откомпилированных (в сборках .NET) типов

- semantic_node_type сущности

- флаг, находится ли тип в interface части модуля

- если сущность описана в interface части - индекс в таблице имен имен сущностей модуля, иначе имя сущности
|

|-
| 4
| Количество элементов в таблице синонимов типов
|

|-
|
| Таблица синонимов типов:

- имя синонима

- ''ссылка'' на именуемый тип

- отладочная информация
|

|-
| 4
| Количество элементов в таблице меток
| implementation часть модуля

|-
|
| Таблица меток. Каждая запись имеет следующую структуру:

- имя метки

- отладочная информация
|

|-
| 4
| Количество элементов в таблице template-классов
|

|-
|
| Таблица template-классов (см. выше)
|

|-
| 4
| Количество элементов в таблице типов (классов, записей, перечислений и т. д.) implementation части модуля
|

|-
|
| Таблица типов implementation части модуля (см. выше)
|

|-
| 4
| Количество элементов в таблице откомпилированных (в сборках .NET) типов (см. выше)
|

|-
|
| Таблица откомпилированных (в сборках .NET) типов (см. выше)
|

|-
| 4
| Количество элементов в таблице констант класса (для каждого класса отдельная таблица)
| interface часть модуля

|-
|
| Таблица констант класса. Каждая запись имеет следующую структуру:

- semantic_node_type

- индекс имени метода в таблице имен

- ''ссылка'' на тип константы

- смещение об'емлющего класса

- значение константы

- field_acces_level

- отладочная информация
|

|-
| 4
| Количество элементов в таблице полей класса
|

|-
|
| Таблица полей класса. Каждая запись имеет следующую структуру:

- semantic_node_type

- индекс имени метода в таблице имен

- ''ссылка'' на тип поля

- начальное значение поля

- смещение, по которому находится об'емлющий класс

- field_access_level

- polymorphic_state

- отладочная информация
|

|-
| 4
| Количество элементов в таблице методов класса
|

|-
|
| Таблица методов класса. Каждая запись имеет следующую структуру:

- semantic_node_type

- индекс имени метода в таблице имен

- is_final

- newslot_awaited

- ''ссылка'' на тип возвращаемого значения

- переменная Result (если есть)

- параметры метода

- смещение, по которому находится об'емлющий класс

- is_constructor

- is_forward

- is_overload

- field_access_level

- polymorphic_state

- num_of_default_variables

- num_of_cicles

- флаг override

- локальные переменные

- описания вложенных подпрограмм

- отладочная информация о методе

- смещение, по которому находится код метода
|

|-
| 4
| Количество элементов в таблице свойств класса
|

|-
|
| Таблица свойств класса. Каждая запись имеет следующую структуру:

- semantic_node_type

- индекс имени метода в таблице имен

- ''ссылка'' на тип свойства

- смещение get-аксессора

- смещение set-аксессора

- параметры свойства

- смещение об'емлющего класса

- field_access_level

- polymorphic_state

- отладочная информация
|

|-
| 4
| Количество элементов в таблице констант класса
| implementation

|-
|
| Таблица констант класса: см. выше
|

|-
| 4
| Количество элементов в таблице полей класса
|

|-
|
| Таблица полей класса: см. выше
|

|-
| 4
| Количество элементов в таблице методов класса
|

|-
|
| Таблица методов класса: см. выше
|

|-
| 4
| Количество элементов в таблице свойств класса
|

|-
|
| Таблица свойств класса: см. выше
|

|-
| 4
| Количество элементов в таблице констант модуля
| interface

|-
|
| Таблица констант модуля. Каждая запись имеет следующую структуру:

- semantic_node_type

- флаг interface/implementation

- для констант в interface части — индекс имени в таблице имен, implementation — имя константы

- смещение секции модуля, в котором описана константа

- значение константы

- отладочная информация

|-
| 4
| Количество элементов в таблице переменных модуля
|

|-
|
| Таблица переменных модуля. Каждая запись имеет следующую структуру:

- semantic_node_type

- порядковый индекс переменной в семантическом дереве (нужен для восстановления переменных из pcu в том же порядке, в каком они были в сем. дереве)

- флаг interface/implementation

- для переменных в interface части — индекс имени в таблице имен, implementation — имя переменной

- ссылка на тип переменной

- смещение секции модуля, в котором описана переменная

- начальное значение переменной (если есть)

- отладочная информация
|

|-
| 4
| Количество элементов в таблице подпрограмм модуля
|

|-
|
| Таблица подпрограмм модуля. Каждая запись имеет следующую структуру:

- semantic_node_type

- если подпрограмма является method extension — ссылка на расширяемый тип

- для подпрограмм в interface части — индекс имени в таблице имен, implementation — имя подпрограммы

- тип возвращаемого значения

- переменная Result (если есть)

- список параметров подпрограммы

- смещение об'емлющей секции модуля

- is_forward

- is_overload

- num_of_default_variables

- num_of_cicles

- список переменных подпрограммы

- список вложенных подпрограмм

- отладочная информация
|

|-
| 4
| Количество элементов в таблице типов-указателей модуля
|

|-
|
| Таблица типов-указателей модуля:
|

|-
| 4
| Количество элементов в таблице констант модуля
| implementation

|-
|
| Таблица констант модуля: см. выше
|

|-
| 4
| Количество элементов в таблице переменных модуля
|

|-
|
| Таблица переменных модуля: см. выше
|

|-
| 4
| Количество элементов в таблице подпрограмм модуля
|

|-
|
| Таблица подпрограмм модуля: см. выше
|

|-
| 4
| Количество элементов в таблице типов-указателей модуля
|

|-
|
| Таблица типов-указателей модуля: см. выше
|

|-
|
| Реализации всех методов и подпрограмм
|

|}

'''Примечания'''

# Под ссылкой на тип понимается следующее: флаг, указывающий на род типа (обычный тип, массив, короткая строка, указатель). Обычный тип не сериализуется после флага, так как он уже определен, а массивы, указатели и т. д. сериализуются после флага (var p : ^integer). Для обычного типа после флага идет флаг, описан ли тип в этом модуле. Далее если тип описан в модуле, то пишется смещение в модуле, по которому хранится тип, иначе смещение в таблице импорта.
# Код методов хранится в виде сериализованного семантического дерева. Узлы семантического дерева распознаются по semantic_node_type. Код хранится в конце файла.
# Ссылки на сущности .NET сериализуются следующим образом. Для типов, событий, полей, свойств хранятся их полные имена (System.Collections.ArrayList). Для метода кроме имени записывается список имен типов параметров, чтобы можно было выбрать перегруженный метод. Имена считываются один раз и кэшируются.
# При десериализации семантических деревьев могут проводиться некоторые дополнительные семантические действия, например добавление в тип внутреннего интерфейса ordinal_type_interface, при котором тип становится порядковым.