ГОСТ Р МЭК 61360-2—2013
Пояснение к тексту программы:
WR1: класс, используемый в атрибуте name_scope. является суперклассом для класса, где дан
ный тип datatype определен.
Примечание — Атрибут name_scope используется для кодирования ссылки на класс, которому при
надлежит соответственный тип данных. Данный атрибут, кроме сущности data_type_element (см. ниже), является
частью кода атрибута «Видимый тип» класса.
5.10.2.2 Элемент типа данных (Data_type_element)
Сущность data_type_element описывает типы словарных элементов. Отметим, что нет необходи
мости в каждом отдельном случае для заданного типа данных data_type иметь BSU и словарный эле
мент dictionary_element. потому что атрибут property_DET может ссылаться на тип данных datatype
прямо. Использование BSU соотношений необходимо, если поставщик ссылается на один и тот же
тип в различных физических файлах.
Пример представления на языке EXPRESS:
*)
ENTITY data_type_element
SUBTYPE OF(dictionary_elemer.t);
SELF\dictionary_eiement.identified_by:data_type_BSU;
names: item_names,’
type definitior.:data_type;
END_ENTITY; -- data_type_element
<•
Определения атрибутов:
identified_by: BSU. задающий описанный элемент data_type_element.
names: имена, дающие описания определенного элемента data_type_element.
type_dofinition: описание типа элемента data_type_element.
Примечание — Повторно объявленный атрибут identified_by используется для кодирования ссылки
на BSU. к которому относится данный элемент типа данных data_type_element. Данный элемент, кроме сущности
data_type_BSU (см. выше), используется для кодирования атрибута класса «Видимые типы».
5.10.3 Система типов
5.10.3.1 Тип данных (Data_type)
Сущность datatype служит общим супертипом для сущностей, используемых для указания типа
ассоциированного типа элемента данных DET.
Пример представления на языке EXPRESS:
*)
ENTITY data_type
ABSTRACT SUPERTYPE OF<ONEOF<
simple_type,
complex_type,
named_type>);
constraints: SET (0:?) OF domain_cor.straint;
WHERE
WR1: QUERY (cons <* constraints
:NOT correct_constraint_type(cons, SELF)) - [);
EMD_ENTITY; -- data_type
("
Определения атрибутов.
constraints: набор ограничений, ограничивающих область значений типа данных.
Примечание — Каждое ограничение области в атрибуте constraints должно быть выполнено. Таким
образом, атрибут constraints есть сопряжение ограничений.
43