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

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

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

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

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



!= null) && (Scope2 != null)

&& (Scope1.ScopeNum == Scope2.ScopeNum);

}

FindClassScope - находит область видимости класса, в которую вложена область видимости scope:

private Scope FindClassScope(Scope scope)

{(scope != null && !(scope is ClassScope))(scope is ClassMethodScope)= ((ClassMethodScope)scope).MyClass;= scope.TopScope;scope;

}

FindUnitInterfaceScope - находит интерфейсную область видимости модуля класса, в которую вложена область видимости scope:

private Scope FindUnitInterfaceScope(Scope scope)

{(scope!=null && !(scope is UnitInterfaceScope))= scope.TopScope;scope;

}

 

.2 Генерация узлов семантического дерева

 

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

 

7.2.1 Операции is, as

В синтаксическом дереве операции is и as определяются одним узлом. В узле содержится флаг, который определяет тип операции. Операции были реализованы в виде одного узла, т.к. имеют одинаковые аргументы и схожий семантический смысл.

Функция визитора семантического анализатора для этого узла выглядит следующим образом:void visit(SyntaxTree.typecast_node node)

{_node en = convert_strong(node.left);_node tp = convert_strong(node.right);(type_table.is_derived(en.type, tp) ||_table.is_derived(tp, en.type) || en.type==tp)

{(node.cast_op ==.SyntaxTree.op_typecast.is_op)

{_node isn = new is_node(en, tp,_location(node));_value(isn);

}

{(tp.is_value_type)new OperatorAsMustBeUsedWithAReferenceType(tp.name,_location(node.right));_node asn = new as_node(en, tp,_location(node));_value(asn);

};

}new ExpectedDerivedClasses(get_location(node));

}

Дадим словесное описание алгоритма:

Конвертируется выражение, стоящее слева от операции

Конвертируется тип, стоящий справа от операции

Если тип выражения и тип справа связаны в иерархию или одного типа то

{

Если это оператор is то

Конструируем семантический узел is

иначе

{

Если тип справа это не ссылочный тип то

ошибка Оператор as применим только к

ссылочным типам

Конструируем семантический узел as

}

}

иначе ошибка У обьекта и типа нет общего предка

 

7.2.2 Операции typeof, sizeof

Операция typeof служит для получения обьекта типа System.Type из типа.void visit(SyntaxTree.typeof_operator node)

{_value(new typeof_operator(_type(node.type_name,_location(node.type_name)),_location(node))

);

}

При конструировании семантического узла все необходимые проверки делает функция find_type.

Операция sizeof служит для определения размера типа в байтах.void visit(SyntaxTree.sizeof_operator node)

{_node tn = find_type(node.type_name,_location(node.type_name));(!tn.is_value_type)new OperatorSizeOfMustBeUsedWithAValueType(.name, get_location(name));_value(new sizeof_operator(tn, get_location(node)));

}

Данная операция не применима к ссылочным типам. В случае, если параметр - ссылочный, то происходит ошибка Оператор sizeof не применим к ссылочным типам.

 

7.2.3 Операция new

Операция new является синонимом вызова конструктора Create и позволяет создать новый объект класса. При конструировании операции new происходит поиск подходящего конструктора и создание узла вызова этого конструктора.

public void visit(SyntaxTree.new_expr _new_expr)

{_node tn = ret.visit(_new_expr.name_ref);_list exprs = null;(_new_expr.params_list != null)= convert_expression_list(

_new_expr.params_list.expressions);= new expressions_list();_value(create_constructor_call(tn, exprs,_location(_new_expr.name_ref)));

}

private base_function_call create_constructor_call(type_node tn, expressions_list exprs, location loc)

{si = tn.find_in_type(.compiler_string_consts.default_constructor_name,.CurrentScope);(si == null)new ConstructorNotFound(loc);_node fn = convertion_data_and_alghoritms.select_function(exprs, si, loc);create_static_method_call_with_params(fn, loc, tn, false, exprs);

}

Вначале ищется тип, который необходимо сконструировать. Далее с помощью функции find_in_type ищутся все его конструкторы. Если ни одного конструктора не найдено, то происходит ошибка. Функция convertion_data_and_alghoritms.select_function выбирает конструктор с подходящими параметрами, если подходящая функция не будет найдена, то происходит ошибка. Далее с помощью функции create_static_method_call_with_params создается вызов этого конструктора.

 

7.2.4 Типизированные и бинарные файлы

Типизированный файл - файл с произвольным доступом, хранящий элементы одного типа. Для типизированного файла применимы следующие операции: чтение, запись, переход к записи с определенным номером. Также можно узнать, сколько записей находится в файле. В качестве элементов файла могут выступать записи, примитивные типы, строки фиксированной длины и массивы. В составляющей элемента файла не допустимы ссылочные типы (например, файл не может состоять из записей, содержащих поле типа string или array of integer).

На языке PascalABC.NET типизированные файлы описываются так же как и на языке Object Pascal:f: file of file_type;

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

На языке PasclaABC.NET типизированные файлы описываются так же как и на языке Object Pascal:f: file;

 

7.2.4.1 Часть кода, реализованная на PascalABC.NET

Большинство кода для реализации типизированных и бинарных файлов написано на самом языке PascalABC.NET и находится в системной библиотеке PABCSystem.pas:

Типизированный файл:

TypedFile = class: FileInfo;: FileStream;: BinaryReader;: BinaryWriter;: System.Type;: longint;(ElementType: System.Type);.ElementType := ElementType;:= RuntimeSizeOf(ElementType);;ToString: string; override;:= string.Format('file of {0}', ElementType);;;

Бинарный файл:

BinaryFile = record: FileInfo;: FileStream;: BinaryReader;: BinaryWriter;

s