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

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

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

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

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



eNode SemanticTree.IIsNode.right

{

{_right;

}

}override semantic_node_type semantic_node_type

{

{semantic_node_type.is_node;

}

}override void visit(SemanticTree.ISemanticVisitor visitor)

{.visit(this);

}

}

Как видно из кода, данный узел является потомком узла expression_node. При конструировании мы указываем, что данное выражение имеет тип bool.

 

6.2 Узел для представления операции sizeof

 

Синтаксис: sizeof(type_name)

Операция is позволяет определить размер типа type_name в байтах.

Интерфейс:

public interface ISizeOfOperator : IExpressionNode

{oftype

{;

}

}

Реализация:

public class sizeof_operator : expression_node, SemanticTree.ISizeOfOperator

{type_node _oftype;sizeof_operator(type_node oftype, location loc)

: base(compiled_type_node.get_type_node(typeof(int)), loc)

{

_oftype = oftype;

}type_node oftype

{

{_oftype;

}

}.ITypeNode SemanticTree.ISizeOfOperator.oftype

{

{_oftype;

}

}override semantic_node_type semantic_node_type

{

{semantic_node_type.sizeof_operator;

}

}override void visit(SemanticTree.ISemanticVisitor visitor)

{.visit(this);

}

}

Как видно из кода, данный узел также является потомком узла expression_node. При конструировании мы указываем, что данное выражение имеет тип int.

7. Семантический анализатор

 

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

 

7.1 Таблица символов

 

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

Таблица символов используется лишь на этапе перевода синтаксического дерева в семантическое для быстрого поиска имен. Затем вся информация о переменных хранится непосредственно в семантическом дереве.

Таблица символов в данной реализации устроена как единая хеш-таблица для всех пространств имен. Вместе с каждым именем хранится список пространств имен, в которых данное имя встречается.

 

В качестве хеш-функции была использована:

int HashFunc(string s)

{n=0;(int i=0;i<s.Length;i++)=127*n+s[i]*7;Math.Abs(n % hash_size);

}

В качестве функции разрешения конфликтов была использована:

int GetHash(string s)

{hash=HashFunc(s);i=1;(hash_arr[hash]!=null)

{(hash_arr[hash].Name==s) return hash;=i*11;=Math.Abs((hash + i)%hash_size);

}hash;

}

Эффективность рассмотренной хеш-таблицы была показана в докладе Реализация таблицы символов компилятора [8] (докладчик Ткачук А.В., научный руководитель Михалкович С.С.) в 2004 на студенческой конференции Неделя науки, в секции Теоретическое и прикладное программирование. В докладе было обосновано, что хеш-таблица с такой хеш-функцией показывает результаты производительности, близкие к теоретическим [9].

 

7.1.1 Дерево областей видимости

Дерево областей видимости реализовано в виде динамического массива. На следующем примере показано, как дерево областей видимости можно упаковать в одномерный массив. Красными стрелками отмечен путь по дереву областей видимости из области с номером 5 в область с номером 0:

 

 

Области видимости объединены в иерархию классов. Далее в пункте 7.1.3 мы подробно рассмотрим все типы областей видимости и алгоритмы поиска в них.

 

7.1.2 Общий алгоритм поиска

Рассмотрим общий алгоритм поиска в таблице символов на примере.

 

 

Поиск в таблице символов (ТС) происходит следующим образом: допустим в ТС поступает запрос: найти имя a в области видимости 5 и выше. В хеш-таблице находим имя a. Далее смотрим, есть ли в списке областей видимости область 5. Такой нет, и мы начинаем подниматься по таблице из области 5. Рассмотрим верхнюю область 4: ее в списке тоже нет. Поднимаемся выше - там находим область 1. Она есть в списке, и мы можем дать ответ a найден в области видимости 1.

7.1.3 Иерархия областей видимости

Рассмотрим все классы областей видимости и их члены.

1. BaseScopeSymbolInfo Find(string name)

Базовый класс для всех областей видимости. Содержит виртуальную функцию Find.

. Scope->BaseScope

Scope TopScopeSymbolInfo Find(string name)FindOnlyInScope(string name)FindOnlyInType(string name)AddSymbol(string Name,SymbolInfo Inf)

Используется для задания простых областей видимости, имеющих только одну объемлющую область видимости. Например как область видимости подпрограммы.

. DotNETScope->Scope

Служит для объявления области видимости класса из сборки .NET

Разработчик блока доступ к .NET (см. структура компилятора PascalABC.NET) Бондарев И. порождает потомка этого класса, в котором переопределяет метод Find. Процессом добавления таких областей видимости занимается блок Интерфейс TC. Таким образом, таблица символов не занимается поиском в сборках, а лишь знает о том, что эта область - из .NET сборки. Тем самым удалось отделить собственно поиск имен в сборках от таблицы символов.

. UnitPartScope->Scope[] TopScopeArray

Предок для областей, которые являются частями модуля. Содержит массив областей видимости (строится по секции uses), которые по смыслу являются интерфейсными частями модулей либо сборками .NET.

. UnitInterfaceScope->UnitPartScope

Интерфейсная часть модуля.

. UnitImplementationScope->UnitPartScope

Часть модуля, содержащая реализации. Свойство TopScope в этом классе всегда должно иметь тип UnitInterfaceScope.

. ClassScope->ScopeBaseClassScope

Используется для задания области видимости класса. Хранит область видимости базового класса.

. ClassMethodScope->Scope

Scope MyClass

Исп

s