Х. Мёссенбёк, Н. Вирт - Язык программирования Оберон-2 (1160786), страница 2
Текст из файла (страница 2)
Этопроизвольные последовательности символов, начинающиеся скобкой (* и оканчивающиеся *).Комментарии могут быть вложенными. Они не влияют на смысл программы.Каждый идентификатор, встречающийся в программе, должен быть объявлен, если это нестандартный идентификатор. Объявления задают некоторые постоянные свойства объекта,например, является ли он константой, типом, переменной или процедурой. После объявленияидентификатор используется для ссылки на соответствующий объект.Область действия объекта x распространяется текстуально от точки его объявления до концаблока (модуля, процедуры или записи), в котором находится объявление. Для этого блока объектявляется локальным.
Это разделяет области действия одинаково именованных объектов, которыеобъявлены во вложенных блоках. Правила для областей действия таковы:1. Идентификатор не может обозначать больше чем один объект внутри данной областидействия (то есть один и тот же идентификатор не может быть объявлен в блоке дважды);2. Ссылаться на объект можно только изнутри его области действия;3. Тип T вида POINTER TO T1 (см. 6.4) может быть объявлен в точке, где T1 еще неизвестен.Объявление T1 должно следовать в том же блоке, в котором T является локальным;4. Идентификаторы, обозначающие поля записи (см. 6.3) или процедуры, связанные с типом,(см.
10.2) могут употребляться только в обозначениях записи.Идентификатор, объявленный в блоке модуля, может сопровождаться при своем объявленииэкспортной меткой ("*" или "-"), чтобы указать, что он экспортируется. Идентификатор x,экспортируемый модулем M, может использоваться в других модулях, если они импортируют M(см. гл. 11). Тогда идентификатор обозначается в этих модулях М.x и называется уточненнымидентификатором.
Переменные и поля записей, помеченные знаком "-" в их объявлении,предназначены только для чтения в модулях-импортерах.УточнИдент =[идент "."] идент.ИдентОпр =идент ["*" | "-"].Следующие идентификаторы являются стандартными; их значение определено в указанныхразделах:ABSASHBOOLEANCAPCHARCHRCOPYDECENTIEREXCLFALSEHALTINCINCLINTEGER(10.3)(10.3)(6.1)(10.3)(6.1)(10.3)(10.3)(10.3)(10.3)(10.3)(6.1)(10.3)(10.3)(10.3)(6.1)LENLONGLONGINTLONGREALMAXMINNEWODDORDREALSETSHORTSHORTINTSIZETRUE(10.3)(10.3)(6.1)(6.1)(10.3)(10.3)(10.3)(10.3)(10.3)(6.1)(6.1)(10.3)(6.1)(10.3)(6.1)6Объявление константы связывает ее идентификатор с ее значением.ОбъявлениеКонстанты =ИдентОпр "=" КонстантноеВыражение.КонстантноеВыражение =Выражение.Константное выражение - это выражение, которое может быть вычислено по его тексту безфактического выполнения программы.
Его операнды - константы (Гл. 8) или стандартныефункции (Гл. 10.3), которые могут быть вычислены во время компиляции.Примеры объявлений констант:N = 100limit = 2*N - 1fullSet = {MIN(SET) .. MAX(SET)}Тип данных определяет набор значений, которые могут принимать переменные этого типа, и наборприменимых операций. Объявление типа связывает идентификатор с типом. В случаеструктурированных типов (массивы и записи) объявление также определяет структурупеременных этого типа.
Структурированный тип не может содержать сам себя.ОбъявлениеТипа =ИдентОпр "=" Тип.Тип=УточнИдент | ТипМассив | ТипЗапись | ТипУказатель | ПроцедурныйТип.Примеры:Table = ARRAY N OF REALTree = POINTER TO NodeNode = RECORDkey : INTEGER;left, right: TreeENDCenterTree = POINTER TO CenterNodeCenterNode = RECORD (Node)width: INTEGER;subnode: TreeENDFunction = PROCEDURE(x: INTEGER): INTEGER6.1 Основные типыОсновные типы обозначаются стандартными идентификаторами. Соответствующие операцииопределены в 8.2, а стандартные функции в 10.3.
Предусмотрены следующие основные типы:1.BOOLEAN2.CHAR3.SHORTINT4.INTEGER5.LONGINT6.REAL7.LONGREAL8.SETлогические значения TRUE и FALSEсимволы расширенного набора ASCII (0X .. 0FFX)целые в интервале от MIN(SHORTINT) до MAX(SHORTINT)целые в интервале от MIN(INTEGER) до MAX(INTEGER)целые в интервале от MIN(LONGINT) до MAX(LONGINT)вещественные числа в интервале от MIN(REAL) до MAX(REAL)вещественные числа от MIN(LONGREAL) до MAX(LONGREAL)множество из целых от 0 до MAX(SET)7Типы от 3 до 5 - целые типы, типы 6 и 7 - вещественные типы, а вместе они называютсячисловыми типами.
Эти типы образуют иерархию; больший тип поглощает меньший тип:LONGREAL >= REAL >= LONGINT >= INTEGER >= SHORTINT6.2 Тип массивМассив - структура, состоящая из определенного количества элементов одинакового типа,называемого типом элементов. Число элементов массива называется его длиной. Элементымассива обозначаются индексами, которые являются целыми числами от 0 до длины массиваминус 1.ТипМассив =ARRAY [Длина {"," Длина}] OF Тип.Длина=КонстантноеВыражение.Тип видаARRAY L0, L1, ..., Ln OF Tпонимается как сокращениеARRAY L0 OFARRAY L1 OF...ARRAY Ln OF TМассивы, объявленные без указания длины, называются открытыми массивами. Они могутиспользоваться только в качестве базового типа указателя (см.
6.4), типа элементов открытыхмассивов и типа формального параметра (см. 10.1). Примеры:ARRAY 10, N OF INTEGERARRAY OF CHAR6.3 Тип записьТип запись - структура, состоящая из фиксированного числа элементов, которые могут бытьразличных типов и называются полями. Объявление типа запись определяет имя и тип каждогополя. Область действия идентификаторов полей простирается от точки их объявления до концаобъявления типа запись, но они также видимы внутри обозначений, ссылающихся на элементыпеременных-записей (см.
8.1). Если тип запись экспортируется, то идентификаторы полей,которые должны быть видимы вне модуля, в котором объявлены, должны быть помечены. Ониназываются доступными полями; непомеченные элементы называются скрытыми полями.ТипЗапись=RECORD ["(" БазовыйТип ")"] СписокПолей {";" СписокПолей} END.БазовыйТип =УточнИдент.СписокПолей =[СписокИдент ":" Тип].Тип запись может быть объявлен как расширение другого типа запись.
В примереT0 = RECORD x: INTEGER ENDT1 = RECORD (T0) y: REAL ENDT1 - (непосредственное) расширение T0, а T0 - (непосредственный) базовый тип T1 (см. Прил. A).Расширенный тип T1 состоит из полей своего базового типа и полей, которые объявлены в T1. Всеидентификаторы, объявленные в расширенной записи, должны быть отличны от идентификаторов,объявленных в записи(записях) ее базового типа.8Примеры объявлений типа запись:RECORDday, month, year: INTEGERENDRECORDname, firstname: ARRAY 32 OF CHAR;age: INTEGER;salary: REALEND6.4 Тип указательПеременные-указатели типа P принимают в качестве значений указатели на переменныенекоторого типа T.
T называется базовым типом указателя типа P и должен быть типом массив илизапись. Типы указатель заимствуют отношение расширения своих базовых типов: если тип T1 расширение T и P1 - это тип POINTER TO T1, то P1 также является расширением P.ТипУказатель = POINTER TO Тип.Если p - переменная типа P = POINTER TO T, вызов стандартной процедуры NEW(p) (см. 10.3)размещает переменную типа T в свободной памяти. Если T - тип запись или тип массив сфиксированной длиной, размещение должно быть выполнено вызовом NEW(p); если тип T n-мерный открытый массив, размещение должно быть выполнено вызовом NEW(p, e0, ..., en-1),чтобы T был размещен с длинами, заданными выражениями e0, ..., en-1. В любом случае указательна размещенную переменную присваивается p.
Переменная p имеет тип P. Переменная p^(динамическая переменная), на которую ссылается p, имеет тип T.Любая переменная-указатель может принимать значение NIL, которое не указывает ни накакую переменную вообще.6.5 Процедурные типыПеременные процедурного типа T, имеют значением процедуру (или NIL). Если процедура Pприсваивается переменной типа T, списки формальных параметров (см.
Гл. 10.1) P и T должнысовпадать (см. Прил. A). P не должна быть стандартной или связанной с типом процедурой, и неможет быть локальной в другой процедуре.ПроцедурныйТип = PROCEDURE [ФормальныеПараметры].Объявления переменных дают описание переменных, определяя идентификатор и тип данных дляних.ОбъявлениеПеременных = СписокИдент ":" Тип.Переменные типа запись и указатель имеют как статический тип (тип, с которым они объявлены называемый просто их типом), так и динамический тип (тип их значения во время выполнения).Для указателей и параметров-переменных типа запись динамический тип может бытьрасширением их статического типа.
Статический тип определяет какие поля записи доступны.Динамический тип используется для вызова связанных с типом процедур (см. 10.2).Примеры объявлений переменных (со ссылками на примеры из Гл. 6):9i, j, k: INTEGERx, y: REALp, q: BOOLEANs: SETF: Functiona: ARRAY 100 OF REALw: ARRAY 16 OF RECORDname: ARRAY 32 OF CHAR;count: INTEGERENDt, c: TreeВыражения - конструкции, задающие правила вычисления по значениям констант и текущимзначениям переменных других значений путем применения операций и процедур-функций.Выражения состоят из операндов и операций. Круглые скобки могут использоваться длягруппировки операций и операндов.8.1 ОперандыЗа исключением конструкторов множества и литералов (чисел, символьных констант или строк),операнды представлены обозначениями.
Обозначение содержит идентификатор константы,переменной или процедуры. Этот идентификатор может быть уточнен именем модуля (см. Гл. 4 и11) и может сопровождаться селекторами, если обозначенный объект - элемент структуры.Обозначение=УточнИдент { "." идент | "[" СписокВыражений "]" | "^" | "("УточнИдент ")" }.СписокВыражений =Выражение {"," Выражение}.Если а - обозначение массива, a[e] означает элемент а, чей индекс - текущее значение выраженияe.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
