Слайд 32. Список (list)
Пояснения
Агрегированный тип «Список» представляет собой последовательность значений. Элементы последовательности упорядочены, но размер последовательности по умолчанию не фиксирован. Элементы списка не являются проиндексированными, а доступ к ним осуществляется по номеру позиции, которую они занимают в списке. Примером списка является перечень операций, которые необходимо выполнить при проектировании изделия. Эти операции упорядочены, но их перечень и количество могут меняться из-за добавления и удаления операций. При обозначении списка используется ключевое слово «LIST», за которым может идти спецификация его размера: минимальное и максимальное количество элементов (в противном случае размеры списка не фиксированы). При этом список может иметь наименьшую границу, но быть неограниченным сверху, для этого вместо второго числа после двоеточия ставится знак неопределенного значения, т.е. «?».
На слайде приведены примеры объявления списков:
LIST OF INTEGER – список неограниченного числа элементов типа INTEGER;
LIST [1:10] OF UNIQUE something - список десяти элементов типа something, значения которых должны быть уникальными. Наименьший номер элемента списка 1, наибольший 10;
LIST [1: ?] OF STRING - неограниченный сверху список элементов типа STRING. Наименьшая граница списка 1.
Слайд 33. Множество (set)
Пояснения
Элементы типа «Множество» неупорядочены, размер множества по умолчанию не фиксирован. При этом не допускается наличие во множестве одинаковых элементов. С помощью множества можно, например, представить все население земного шара. На Земле нет двух одинаковых людей, причем люди неупорядочены и их численность продолжает увеличиваться. При обозначении множества используется ключевое слово «SET». Размеры множества задаются аналогично списку.
На слайде приведены примеры объявления множеств:
SET OF point - множество из одного или более элементов типа point;
SET [0:15] OF point -множество из 16-ти элементов типа point.
Слайд 34. Мультимножество (bag)
Пояснения
Тип данных «BAG» представляет собой так называемое «мультимножество» значений, т.е. множество с возможностью повторения элементов. Остальные свойства мультимножества аналогичны типу «SET»: элементы неупорядочены, а количество значений по умолчанию не фиксировано. К примеру, мультимножеством может быть представлен перечень всех деталей изделия, в котором какая-либо деталь (скажем, винт) может встречаться много раз. При обозначении мультимножества используется ключевое слово «BAG». Размеры мультимножества задаются аналогично списку.
На слайде приведены примеры объявления мультимножеств:
BAG OF point – мультимножество из неограниченного количества элементов типа point;
BAG [1: ?] OF point – неограниченное сверху мультимножество из элементов типа point.
Слайд 35. Многомерные агрегированные типы
Пояснения
Агрегированные типы языка EXPRESS являются одномерными по своей природе. Однако в EXPRESS существует возможность задания многомерных агрегированных типов. Для этого необходимо задать в качестве базового типа одного агрегированного типа другой агрегированный тип. Таким способом можно задавать агрегированные типы неограниченной вложенности, поддерживающие произвольное количество измерений. На слайде объявлено множество списков, содержащих элементы типа INTEGER.