ГОСТ Р И С 0 10303-11 — 2009
my_equal(i, i) имеет значение TRUE для всех i из S {так как в S нет неопределенных (?) значений, то не
требуется, чтобы значением my_equal (?, ?) было TRUE):
my_equal(i,j) = my_equal(j, i) для всехi иj из S;
(my_equal(i.j) = TRUE) AND (my_equal(j,k) = TRUE) влечет за собой (my_equal(i,k) = TRUE) для ecexi,
j, k из S.
8.3 Именованные типы данных
Именованными типамиданных являются типыданных, которые могут быть объявлены вформальной
спецификации. Существуютдва вида именованных типов данных: объектный и определенный. В данном
подразделе определено обращение кименованным типам данных: объявление этих типовданных опреде
лено в разделе 9.
8.3.1 Объектный тип данных
Объектные типы данных устанавливаются объявлениями посредством ключевого слова ENTITY
(см. 9.2). Объектный типданных задается назначаемым пользователем идентификатором объекта. Обра
щение к объектному типуданных осуществляется посредством данного идентификатора.
Синтаксис:
152 entity_ref = entity_id .
Правило: элемент entity_refдолжен быть ссылкой на объект, видимый в текущей области видимости
(см. раздел 10).
Пример — В данном примере объектный тип данных point использован для представления
атрибута.
ENTITY point;
х, у,z : REAL;
END_ENTTTY:
ENTITY Ипе:
p0, p1: point:
END.ENTITY:
Объект line имеет два атрибута с именами рО и р1. Типом данных каждого из этих атрибутов
является point
8.3.2 Определенный тип данных
Определенные типы данных устанавливаются объявлениями посредством ключевого слова TYPE
(см. 9.1). Определенный тип данных задается назначаемым пользователем идентификатором типа. Обра
щение к определенному типуданных осуществляется посредством данного идентификатора.
Синтаксис:
162 typejref = type_id .
Правило: элемент type_refдолжен быть именем определенного типа данных, видимым в текущей
области видимости (см. раздел 10).
Пример — В данном примере определенный тип данных использован для указания единиц
измерения, связанных с атрибутом.
TYPE volume = REAL:
END_TYPE;
ENTITY PART;
bulk:volume;
END_ENTITY;
Атрибут с именем bulk представлен действительным числом, но использование определенно
го типа данных volume помогает пояснить смысл и контекст данного действительного числа.
В данном примере действительное число определяет объем, а не какое-либо другое понятие,
значение которого может также определяться действительным числом.
8.4 Конструкционные типы данных
Существуют два вида конструкционных типов данных в языке EXPRESS: перечисляемый
(ENUMERATION) и выбираемый (SELECT). Эти типы данных имеют сходную синтаксическую структуру и
могут использоваться только для задания базисных представлений определенных типов данных (см.
9.1).
21