ГОСТ Р ИСО 10303-55—2015
TYPEOF(SELF) );
END_ENTITY;
(*
Формальное утверждение
WR1 - список объектных типов данных экземпляра объекта procedural_wireframe_ rcprcsonta-
tionsoquencoдолженсодержатьобъектshell_based_wireframe_modelили
edge_based_wireframe_model.
Неформальное утверждение
IP1 - операции, указанные в экземпляре объекта procedural_wireframe_representation_ sequence,
должны относиться к созданию или модификации каркасной модели, а результат последней опера ции
данной последовательности должен быть согласован с типом каркасной модели, указанном в списке
типов данных родительского экземпляра.
5.4.8 Объект usor_selected_shapo_elements
Объект user_solected_shape_eloments является подтипом объекта user_selected_ oloments,
определенного в 4.3.5. который представляет ссылку на один или несколько элементов модели фор мы.
представленных в явном виде и выбранных на экране передающей системы. Наличие экземпля ра
данного объекта в объекте procedural_shape_representation_sequence является признаком, по
которому принимающая система должна начать поиск элементов формы, соответствующих элемен
там, на которые ссылается экземпляр объекта user_selected_shape_elements. Все найденные эле
менты соответствуют элементам, выбранным пользователем передающей системы, как это пояснено в
4.2.3. Элементы формы, на которые ссылается объект user_selected_shape_elements, должны су
ществовать в явно заданной модели формы, генерируемой в принимающей системе в то время, когда
появляется ссылка на выбранный элемент.
EXPRESS-спецификация.
j
j
■>
ENTITY user_selected_shape_elemer.cs
SUBTYPE OF <user_selected_elements);
WHERE
WR1 : SIZEOF(QUERY<q <«
SELF\user_selected_elements.picked_items NOT
(’PROC£L)URAI_SHAPE_MOOEI_SCHEMA. SHAP£_REPRESENTATION_ITEM’
IN TYPEOF(qU)) - 0;
ENU_ENTITY;
(*
Формальное утверждение
WR1 - список объектных типов данных каждого выбранного элемента должен содержать объ
ект shape_represontation_item.
5.4.9 Объект indirectly_selected_shape_elements
Объектindirectly_selected_shape_elementsявляетсяподтипомобъектов
user_selected_shape_elements. определенного в 5.4.8, и indirectly_selectod_elements. определен
ного в 4.3.6. Использование данного объекта подходит для случая, когда выбранный в явном виде
элемент (или элементы) формы предназначен для того, чтобы представлять некоторый другой, свя
занный с ним элемент (или элементы) формы. Поэтому данный объект определяет дополнительный
атрибут, используемый для задания множества экземпляров объекта shape_representation_item. на
которые есть косвенные ссылки. Примеры использования данного объекта приведены в 4.3.6.
При реализации объекта indirectly_selected_shape_elements предполагается, что элементы
формы, на которые даны косвенные ссылки, также как и элементы, на которые даны прямые ссылки,
должны иметь соответствующие им элементы в явно заданной модели формы, генерируемой в при
нимающей системе. Хотя элементы, на которые даны косвенные ссылки, в дальнейшем должны ис
пользоваться в конструкционной процедуре, передача элементов, на которые даны прямые ссылки,
составляет часть обмена содержимым конструкции.
EXPRESS-спецификация:
*>
ENTITY indirectly_selected_shape_elements
SUBTYPE OF (indirectly_selected_elements/
user_selected_shape_elements);
22