ГОСТ Р ИСО 10303-46-2002
WR2: SIZEOF (QUERY (item<* (SELF \representation.items |
( PRESENTATION DEFINITION SCHEMA-ANNOTATION OCCURRENCE’ IN
TYPEOF (item))
» > e i;
END ENTITY;
<*
Формальные утверждения
WR1 — в набор элементов объекта view_dependent_annotation_representation должны входить
виды representationjtems. представляюшне объекты annotation_occurrence или axis2_placement;
WR2 — одним из элементов в view_dependent_annotation_representation должен быть объект
annotation_occurrence.
Нейчормальнос утверждение
IP1 — при наличии объекта vie»_dependent_annotation_representation он должен входить в
presentation_view.
П р и м е ч а н и е —Ограничения но применению рассматриваемого объекта установлены правилами
для объекта prc4cntation_rcprcNcnta(ion_rdalionship
4.4.9 О б ъ е к т p r e s e n l a t i o n_s i г e
Объект prcsentatk>n_size используют для определения размера объектов presentation_area или
preseiitation_view. Размер объекта presentation_area может быть задан непосредственно или присвоен в
зависимости от объекта presentation set, содержащего presentation_area. Данный метод позволяет
назначать различные размеры для одного объекта presentation_area в каждом presentation_set. опи
сывающем определенную область.
EXPRESS-спеиификаиия
*)
ENTITY presentation_size;
unit: presentation_size_assignmentwselect;
size : planar_box
WHERE
WRI: ((’PRESENTATION_ORGANIZATION_SCHEMA.PREZENTATION_REPREZENTAT10N*
IN TYPEOF (SELF.unit)) AND
item_in_context (SELF.size,
SELF.unit\representation.coniext_of_items)
)
OR
(
CPRESENTATION_ORGANIZATION SCHEMA.AREA IN_SET
IN TYPEOF (SELF.unit)) AND
(SIZEOF (QUERY (ais<* SELF.unit\area_in _set.in_set.areas |
NOT item_in_context (SELF.size, ais.area\representation.
context of items) )) = 0)
);
END ENTITY;
<*
Описания атрибутов
unit — объекты presentation_view. presentationarea или area_in_set. определяющие связь
presentation_area c presentation_set:
size - объект planar_box. описывающий размер блока.
Формальное утверждение
WR1 —если блоком (unit) является объект presentation_representation, тогда planax_box должен
быть элементом представления» имеющего тот же контекст, что и unit. Если блоком (unit) является
объект area_in_set. тогда planar_box должен быть элементом в контексте, связанном с данной обла
стью.
4.4.10 О б ъ е к т b a c k g r o u n d_c о 1о u г
Объект background_colour определяет цвет, используемый для фонов представления области
или вида.
14