ГОСТ Р ИСО 10303-518—2009
DRAUGHTING_PRE_DEFINED_COLOUR] * TYPEOF
(ssbd’.surface_sty1e_boundary.styl
0
_of_bounda ry\
curve_styie_rendering.rendering_properties.rendered_colour))
=
1
)»)) =
0
))) =
0
))) =
0
)))=
0
;
WR16: (*для всехобъектов surface_sty1e_rendering. на которыессылаются
любые объекты surface_side_style, обеспечивается
допустимое представление цвета *)
SIZEOF (QUERY (si <* QUERY (it<* SELF.items |
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.STYLED_ITEM’
IN TYPEOF (it)) |
NOT (SIZEOF (QUERY (psa <* si\styledJtem.styles |
NOT (SIZEOF (QUERY (ssu <* QUERY (pss <* psa.styles |
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.SURFACE_STYLE_USAGE’
INTYPEOF (pss)) |
NOT(SIZEOF (QUERY (ssre <* QUERY (sses <*
ssu\surface_style_usage.style\surface_side_style.styles|
■AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.+
’SURFACE_STYLE_RENDERING’ IN TYPEOF (sses)) |
NOT
(SIZEOF (fAIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.COLOUR_RGB\
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.’+
DRAUGHTINGJ>RE_DEFINED_COLOUR] *TYPEOF
(ssre\surface_style_rendering.surface_colour)) = 1)))
=0))) =0))) =0))) =0;
END_ENTITY;
r
Формальные утверждения
WR1 — каждый объект из множества items должен быть объектом styledjtem. mappedJtem,
axis2_placement или camera_model_d3.
WR2 — объект mapped_representation из ropresentation_map. то есть объект mapping_source
из mappodjtem. в mechanical_design_shaded_presontation_representation должен быть объектом
shape_representation или другим объектом mechanical_design_shaded_presentation_represen-
tation
WR3 — элементitem объекта styled_item можетбыть только объектом mappedjtem. если уобъ
екта mappedJtem атрибут mapped_representation является объектом shape_representation.
WR4 — каждый элемент множества styles из presentation_style_assignment. на который ссыла
ются объекты styledjtem из множества items, должен быть объектом point_style. curve_style или
surface_style_usage
WR5 — атрибут style_context объекта presentation_style_by_context должен быть объектом
representation или representationJtem.
WR6 — для каждого объекта point_style из множества stylos объекта presentation_style_
assignment, на которыйссылается объектstyledjtem из множестваitems, атрибутmarker_colourдол
жен быть объектом colour_rgb или draughting_pre_defined_colour; атрибут marker_size должен быть
объектом positiveJength_measure; атрибут markerдолжен бытьобъектом markerJype.
WR7 — для каждого объекта curve_style из множества styles объекта presentation_style_
assignment, на который ссылается объект styledjtem из множества items, атрибут curve_colourдол
жен бытьобъектом colour_rgb или draughting_pre_defined_colour, атрибут curve_width должен быть
объектом positiveJength_moasure; атрибут curveJont должен быть объектом curve_styleJont или
draughting_pre_defined_curveJont.
WR8 — атрибут style каждого объекта surface_style_usage из множества styles объекта
presontation_style_assignment, на который ссылаются объекты styledjtem из множества items, дол
жен бытьобъектом surface_side_stylo.
WR9 — каяедый элемент множества styles объекта surface_side_style должен быть объектом
surface_style_parameterJine.surface_style_control_grid.surface_style_silhouette. surface_style_
sogmentation_curve. surface_style_boundary. surface_style_fill_area или surface_style_rendering.
17