28

3.2. Составные типы данных

*

объединение множеств

+

*

пересечение множеств 

*

*

разность множеств 

-

*

принадлежность к множеству . 

IN.

иевый операнд должен быть базового типа, а правый - множественного

типа. Операция возвращает результат TRUE, если первый операнд

является элементом второго, и FALSE - если не является.

В UniPascal-е над объектами множественного типа определены и следующие

стандартные процедуры: Incl(s, x) и Excl(s, x), где параметр s является множеством, а

параметр x - элементом базового типа множества. Эти процедуры включают в

множество или исключают из множества элемент x, соответственно. Результатом

действия процедуры Incl(s, x) является s:= s + [x], а процедуры Excl(s, x) - s:= s - [x].

Множество не изменится включением элемента, уже принадлежащего ему, и

исключением элемента, непринадлежащего ему.

Множественное значение можно задать с помощью конструктура множества

(Set), в котором содержатся описания элементов множества, отделенные друг от друга

запятыми и заключенные в квадратных скобках.

SetConstructor =

'[' [SetElement {',' SetElement}] ']'.

SetElement =

Expression [ '..' Expression ].

Пустое множество (обозначаемое через [ ]) принадлежит всем множественным

типам. Обозначением X..Y, где X и Y являются выражениями, дефинируется

множество, состоящее из всех элементов базового типа из закрытого интервала [X, Y].

Если X > Y, тогда [X..Y] определяет пустое множество. Когда значение элемента при

конструировании множества выходит вне возможностей реализации (порядковый

номер элемента вне интервала [0, 255]), получается ошибка и о ней сообщается в

процессе компиляции (если этот элемент является константой) или в процессе

выполнения (если он является переменной).

3.2.5. Файловый тип

FileType =

'file' [ 'of' Type ].

Последовательность является одной из основных структур данных. Для описания

последовательности используется файловый тип. Ее компоненты (компоненты

последовательности) должны быть одного типа Type. Здесь Type - имя или описание

любого типа, кроме файлового типа.

Файл - это структура последовательного доступа, т.е. в любой момент времени

доступна только одна компонента файла. Другие компоненты доступны при

последовательном продвижении по файлу. Число компонент (длина файла) не

фиксируется при определении файла. Файл, не содержащий ни одной компоненты,

называется пустым.

Файл используется для представления последовательности объектов, число

которых неизвестно во время создания программы. Поэтому файл не находится

целиком в оперативной памяти, а расположен во внешней памяти и только одна часть

находится в оперативной памяти.

Если слово "of" и описание типа (Type) пропущенны в описании файлового типа,

тогда он называется файлом неопределенного типа и используется для осуществления

прямого доступа к внешнему файлу. Его компоненты обрабатываются специальными

процедурами.