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

     4.3 Определения типов данных схемы shape_aspect_definition_schema

4.3.1 Тип данных common_datum_list

Тип данных common_datum_list является списком объектов datum_reference_element, представляющих ссылки на базы. Если не указано иное, тип данных common_datum_list должен использоваться в соответствии с понятием общей базы, определение которого дано в ИСО 5459.

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

*)

TYPE common_datum_list = LIST[2:?] OF datum_reference_element;

WHERE

WR1: SIZEOF( QUERY(dre <* SELF | dre\shape_aspect.of_shape <> SELF[1]\shape_aspect.of_shape)) = 0;

END_TYPE;

(*

Формальное положение:

WR1: Все входящие в список экземпляры объекта datum_reference_element должны ссылаться на один и тот же экземпляр объекта product_definition_shape.

4.3.2 Тип данных datum_or_common_datum

Тип данных datum_or_common_datum является списком альтернативных типов данных. Он представляет механизм для ссылки на экземпляры одного из этих типов данных.

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

*)

TYPE datum_or_common_datum = SELECT

(common_datum_list,

datum);

END_TYPE;

(*

4.3.3 Тип данных datum_reference_modifier

Тип данных datum_reference_modifier является расширяемым списком альтернативных типов данных. Он предоставляет механизм для ссылки на экземпляры данных типов, входящих в список выбора типа данных datum_reference_modifier или в списки выбора его расширений.