6.12.1 Объект occlusion_precedence
Объектом occlusion_precedence является отношение между двумя объектами, один из которых может закрывать или заменять другой. Данное отношение устанавливают, когда один из объектов скрывает или заменяет другой при их перекрытии в представлении.
Данное отношение является транзитивным. Если объект закрывает объект , а объект закрывает объект , тогда объект также закрывает объект .
Данное отношение применяют только для двух объектов, входящих в одно отображение.
Примечание - Если два таких объекта перекрываются и не связаны отношением occlusion_precedence, трудно представить, какой из объектов является "верхним" в данной реализации.
EXPRESS-спецификация | ||
*) | ||
ENTITY occlusion_precedence; | ||
higher_precedence | : hiding_or_blanking_select; | |
lower_precedence | : hiding_or_blanking_select; | |
occlusion_context | : representation; | |
WHERE | ||
WR1 : acyclic_occlusion_precedence (SELF, [SELF.lower_precedence]); | ||
END_ENTITY; | ||
(* |
Определения атрибутов
higher_precedence - объект, который может заменять или скрывать объект lower_precedence;
lower_precedence - объект, который может быть заменен или скрыт объектом higher_precedence;
occlusion_context - объект representation, в котором содержится данное представление.
Формальное утверждение
WR1 - объект occlusion_precedence не должен входить в "дерево" объектов hiding_or_blanking_select, "корнем" которого является "лист дерева" самих объектов.
6.12.2 Объект invisibility
Объект invisibility определяет, что набор (коллекция) из одного или нескольких объектов styled_items, элементы, заданные уровню посредством объекта presentation_style_assignment, или элементы объекта presentation_representation не должны входить в представление.
EXPRESS-спецификация | ||
*) | ||
ENTITY invisibility; | ||
invisible_items | : SET [1:?] OF invisible_item; | |
END_ENTITY; | ||
(* |
Определение атрибута
items - набор объектов styled_item, presentation_Iayer_assignment или presentation_representation, заданных как невидимые.
6.12.3 Объект context_dependent_invisibility
Объектом context_dependent_invisibility является объект invisibility, используемый в контексте изображения или уровня. Элементы, заданные как невидимые, являются таковыми только в контексте определенных объектов presentation_set, presentation_representation или presentation_Iayer_usage.
Пример 13 - Символ входит в качестве элемента в два различных вида, но будет представлен только в первом виде. Объект context_dependent_invisibility использован для указания невидимости символа во втором виде посредством использования данного вида в качестве контекста невидимости.
EXPRESS-спецификация | ||||
*) | ||||
ENTITY context_dependent_invisibility; | ||||
SUBTYPE OF (invisibility); | ||||
presentation_context | : invisibility_context; | |||
END_ENTITY; | ||||
(* |
Определение атрибута