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

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

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

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

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



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

 

7.1.4 Алгоритмы поиска в областях видимости

Для поиска имен в таблице символов используется свой алгоритм для каждой области видимости. Все алгоритмы поиска возвращают односвязный список элементов типа SymbolInfo (информацию о символе). Опишем алгоритм поиска для каждой области видимости.

Простая область видимости

Ищем в этой области видимости затем в объемлющей области видимости (ТоpScope).

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

Ищем в области видимости интерфейса, затем ищем в массиве областей видимости (TopScopeArray) справа налево (подключенные модули).

Часть модуля, содержащая реализации

Сначала ищем в этой области видимости, затем ищем в массиве областей видимости справа налево. Далее ищем в TopScope (интерфейсной части модуля).

Область видимости класса

Ищем в классе, далее в надклассах (BaseClassScope), затем в модуле, в котором описан класс (ТоpScope), далее в подключенных модулях (ТоpScope.TopScopeArray).

Область видимости метода

Ищем в методе, ищем в классе (MyClass), далее в надклассах, затем в модуле (ТоpScope), в котором описан метод, далее в подключенных модулях (ТоpScope.TopScopeArray).

Область видимости класса в сборке

Поиск осуществляется с помощью рефлексии. При этом происходит кеширование в специальные хеш-таблицы. В зависимости от типа найденного члена класса создается специальный SymbolInfo.

 

7.1.5 Алгоритмы поиска в таблице символов

Первый алгоритм служит для поиска имени только в заданной области видимости.

SymbolInfo FindOnlyInScope(Scope scope,string Name)

1.Если в хеш-таблице такого имени нет то выход;

2.Список=ХешТабица[ХешТабица.ВзятьХеш(Name)].СписокОбластей;

.Если Список.Найти(scope), то вернуть информацию;

.Если Scope типа UnitImplementationScope то

scope=scope.TopArea;

перейти к пункту 3;

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

SymbolInfo FindAll(Scope scope,string Name,bool OnlyInType)

1.Если OnlyIntype и не(Scope типа ClassScope) то выход;

2.ТекущаяОблась=scope;

2.1 Если ТекущаяОблась типа DotNETScope то

Результат.Добавить(ТекущаяОблась,name);

Если Результат.ЕстьХоябыОдин то вернуть Результат;

.2 Если ТекущаяОблась типа UnitPartScope то

Если ТекущаяОблась типа UnitImplementation то

Результат.Добавить(

ПоискПоВсемМодулям(ТекущаяОблась,name));

ТекущаяОблась=ТекущаяОблась.TopScope;

Результат.Добавить(

ПоискПоВсемМодулям(ТекущаяОблась,name));

Если Результат.ЕстьХоябыОдин то вернуть Результат;

.3 Если ТекущаяОблась типа СlassScope то

Двигаться по всей иерархии классов вверх

Результат.Добавить(ТекущаяОблась,name);

Если Результат.ЕстьХоябыОдин или OnlyInType то

вернуть Результат;

.4 Результат.Добавить(ТекущаяОблась,name);

.5 Если Результат.ЕстьХоябыОдин то вернуть Результат;

.6 Если ТекущаяОблась типа СlassMethodScope то

Двигаться по всей иерархии классов вверх

Результат.Добавить(ТекущаяОблась,name);

Если Результат.ЕстьХоябыОдин то вернуть Результат;

.7 Если ТекущаяОблась.TopArea!=null то

ТекущаяОблась=ТекущаяОблась.TopArea;
перейти к пункту 2.1;

Иначе Выход;

Выбор подходящих имен из области видимости происходит в методе

Результат.Добавить() с помощью двух проверок.

Первая проверка реализуется с помощью функции IsNormal:

private bool IsNormal(SymbolInfo to,SymbolInfo add)

{(((to.symbol_kind==symbol_kind.sk_none)&&(add.symbol_kind==symbol_kind.sk_none))&&(to.scope==add.scope))

||

((to.symbol_kind==symbol_kind.sk_overload_function)&&(add.symbol_kind==symbol_kind.sk_overload_function)));

}

Эта функция проверяет, подходит ли add к символу to.

С каждым символом хранится информация

enum symbol_kind {sk_none, sk_overload_function};

т.е. символ может быть обычным либо перегруженной подпрограммой

Алгоритм:

1.Если (to - обычный символ) и (add - обычный символ) и (они в одной области видимости) то разрешить. Далее конвертор дерева, получив в ответ на запрос поиска такой список, поймет, что здесь надо выдать ошибку повторно описанный идентификатор.

2.Если (to - перегруженная подпрограмма) и (add - перегруженная подпрограмма) то разрешить. Конвертор дерева должен сам выбрать подходящую подпрограмму, исходя из анализа параметров подпрограммы.

Вторая проверка реализуется с помощью функции IsVisible:

private bool IsVisible(SymbolInfo ident, Scope fromScope)

{(fromScope == null)true;(FindClassScope(ident.scope) == null)true;(ident.access_level)

{access_level.al_public:access_level.al_internal:true;access_level.al_protected:(ident.scope, fromScope)

||(ident.scope, fromScope);access_level.al_private:IsInOneModule(ident.scope, fromScope);

}true;

}

Эта функция проверяет, виден ли данный символ, исходя из данного контекста поиска символа. Параметр fromScope указывает, из какой области видимости осущесвляется поиск (контекст поиска).

Уровни видимости символа:_level.al_public - публичный, видим для всех;_level.al_internal - видим для всех, но после компиляции становися приватным;_level.al_protected - защищенный, видин только в модуле в котором определен, в классе в котором определен и в о всех потомках этого класса;_level.al_private - приватный, видин только в модуле в котором определен и в классе в котором определен.

Функция IsVisible реализуется с помощью нескольких вспомогательных функций:- определяет, находится ли область видимости IdentScope в одном классе с FromScope, либо в одном из базовых классах FromScope:

private bool IsInOneOrDerivedClass(Scope IdentScope, Scope FromScope)

{= FindClassScope(IdentScope);= FindClassScope(FromScope);(FromScope != null)

{(IdentScope.ScopeNum == FromScope.ScopeNum)true;= ((ClassScope)FromScope).BaseClassScope;

}false;

}

IsInOneModule - позволяет определить, находится ли Scope1 и Scope2 в одном модуле:

private bool IsInOneModule(Scope Scope1, Scope Scope2)

{= FindUnitInterfaceScope(Scope1);= FindUnitInterfaceScope(Scope2);

(Scope1

s