Статус документа
Статус документа

ГОСТ Р ИСО/ТС 10303-1270-2016 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1270. Прикладной модуль. Сообщение (Переиздание)

     4.2 Определение типов данных ПЭМ


В настоящем подразделе определены типы данных ПЭМ рассматриваемого прикладного модуля.

4.2.1 Тип данных content_item_or_referenced_content_item

С помощью типа данных content_item_or_referenced_content_item можно обозначать экземпляры данных типов Content_item и Referenced_content_item.

EXPRESS-спецификация:

*)

TYPE content_item_or_referenced_content_item = SELECT

(Content_item,

Referenced_content_item);

END_TYPE;

(*

4.2.2 Тип данных message_approval_select

Выбираемый тип данных message_approval_select является расширением типа данных approval_item. В настоящем типе данных к списку альтернативных выбираемых типов данных добавлен именованный тип Message.

Примечание - В прикладных модулях, использующих конструкции настоящего прикладного модуля, список объектных типов данных может быть расширен.


Утверждение является подтверждением того, что содержимое сообщения соответствует цели сообщения.

Примечание - Утверждение списка получателей сообщения относится к области действия прикладного модуля "Envelope" (конверт).


EXPRESS-спецификация:

*)

TYPE message_approval_select = EXTENSIBLE GENERIC_ENTITY SELECT

BASED_ON approval_item WITH

(Message);

END_TYPE;

(*

4.2.3 Тип данных message_content_item

Тип данных message_content_item является расширяемым списком альтернативных именованных типов данных. Дополнительные альтернативные типы данных задаются в выбранных (SELECT) типах данных, расширяющих тип данных message_content_item.

Примечание - Для того чтобы обеспечить уверенность в том, что для объектов, ссылающихся на пустой расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в прикладных модулях, использующих этот тип данных, требуется его расширение.


EXPRESS-спецификация:

*)

TYPE message_content_item = EXTENSIBLE SELECT;