ГОСТ Р ИСО 10303-518—2009
4.2.2 Объект mechanical_design_shaded_presontation_reprosentation
Объект mechanical_design_shaded_presentation_representation определяет форму и. факуль
тативно. относящиеся к ней стили представления, которые должны воспроизводиться в объекте
mechanical_design_shaded_presentation_area. Данныйобъектявляется подтипомобъекта
representation. Все элементы item объекта mechanical_design_shadod_presentation_representation
должны быть объектами styiedjtem. описывающими форму. camera_model_d3 или mappedjtem.
Объекты mappedjtem должны бытьотображениямиобъектов shape_representation или других объек
тов mechanical_design_shaded_presentation_representation. Элемент item объекта styiedjtem
можетпрямоссылатьсянаобъект geometric_representation_item или
topological_representationJtem либо косвенно — посредством объекта mappedjtem. который явля
ется отображением объекта shape_representation. Использование стилей и атрибутов стилей ограни
чено для точек, кривых иповерхностей.
EXPRESS-споииФикаиия:
*)
ENTITY mechanical_design_shaded_presentation_representation
SUBTYPE OF (representation);
WHERE
WR1:SIZEOF(QUERY(it <* SELF.items |
NOT (SIZEOF(
[’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.MAPPEDJTEM’.
’AICJ.1ECHANICAL_DESIGN_SHADED_PRESENTATION.STYLEDJTEM\
•AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.AXIS2_PLACEMENT’.
•AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.CAMERA_MODEL_D3T
* TYPEOF(it))= 1))) = 0;
WR2: (*для всех объектов mappedjtem проверяется, что
ониссылаются только наобъекты shape_representat»on и
mechanical_design_shaded presentation_representation *)
SIZEOF(QUERY(mi <* QUERY(it <* SELF.items |
(’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.MAPPEDJTEM’
IN TYPEOF(it))) | NOT (SIZEOF(
(‘AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.’ +
SHAPEJREPRESENTATION’,
■AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.’ ♦
MECHANICAL_DESIGN_SHADED_PRESENTATION_REPRESENTATION]
*TYPEOF(mi\mapped item.mapping_source.mapped_representation))
—1)))=0;
WR3: (*для всехобъектов styledJtem.item проверяется, что если они
являются объектами mappedjtem. то они являются и объектами
shape_representation *)
SIZEOF(QUERY(smi <* QUERY(si <* QUERY(it <* SELF.items |
(’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.STYLEDJTEM’
INTYPEOF(it))) |
(’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.MAPPED_ITEM’
INTYPEOF(siVstyledJtem.item))) |NOT(
(*AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.’ +
SHAPE_REPRESENTATION‘IN TYPEOF (smi\styled_item.
item\mapped_item.mapping_source.mapped_representation)))))=0;
WR4: (* для всехобъектов styiedjtem получаются их стили посредством
presentation_style_assignment.styles и проверяетсядопустимость
типов стилей *)
SIZEOF (QUERY (si <* QUERY (it<* SELF.items |
•AIC MECHANICALJDESIGN_SHADED PRESENTATION.STYLEDJTEM’
INTYPEOF (it))|
NOT (SIZEOF (QUERY (psa <*sAstyledJtem.styles |
NOT (SIZEOF (QUERY (pss <* psa.styles |
NOT(SIZEOF (
10