ГОСТ Р ИСО 10303-518—2009
[AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.POINT_STYLE\
•AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.CURVE_STYLE\
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.SURFACE_STYLE_USAGE’]
*TYPEOF (pss))= 1))) =0))) =0))) =0;
WR5: (* для всех объектов styledjtem получаются такие назначенные стили,
которые являются объектами presentation_style_by_context, и
обеспечивается, что они ссылаются только на объекты
representationjtem и representation как надопустимые контексты *)
SIZEOF (QUERY(si <* QUERY (it<* SELF.items |
’AIC_MECHANICAL_DESIGN_SHADEDJ3RESENTATION.STYLEDJTEM’
IN TYPEOF (it)) |
NOT (SIZEOF (QUERY (psbc <*QUERY (psa <* sAstyledJtem.styles |
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.’+
•PRESENTATION_STYLE BY_CONTEXT’ IN TYPEOF (psa)) |
NOT (SIZEOF (
[’AIC_MECHANICAL DESIGN_SHADEDJ ’RESENTATION.REPRESENTATIONJTEM’,
AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.REPRESENTATION’)
*TYPEOF (psbc\presentation_style_by_context.style_context)) = 1)))
=0))) =0;
WR6: (* для всехобъектов styledjtem получаются все назначенные им
объекты point_style иобеспечивается, что объекты marker_select.
marker_size и marker_colour являютсядопустимыми *)
SIZEOF (QUERY(si <‘ QUERY (it<* SELF.items |
AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.STYLED_ITEM’
IN TYPEOF (it)) |
NOT (SIZEOF (QUERY (psa <* siVstyledJtem.styles |
NOT(SIZEOF (QUERY (ps <* QUERY (pss <* psa.styles |
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.POINT_STYLE‘
IN TYPEOF (pss)) |
NOT(
(’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.MARKER_TYPE-
IN TYPEOF (ps\point style.marker))
AND
(’MEASURE_SCHEMA.POSITIVE_LENGTH_MEASURE’ INTYPEOF
(ps\point_style.marker_size))
AND
(SIZEOF ((’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.COLOUR_RGB’,
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.’+
DRAUGHTING_PRE_DEFINED_COLOUR’] * TYPEOF
(ps\point_style.marker_colour)) = 1))))=0))) =0))) =0;
WR7: (* для всех объектов styledjtem получаются все назначенные им
объекты curve_style и обеспечивается, чтообъекты curve_width,
curve_font иcurve_colourявляютсядопустимыми *)
SIZEOF (QUERY(si <* QUERY (it <* SELF.items |
’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.STYLEDJTEM’
IN TYPEOF (it)) |
NOT(SIZEOF (QUERY (psa <* si\styledJtem.styles |
NOT(SIZEOF (QUERY (cs <* QUERY (pss <* psa.styles |
AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.CURVE_STYLE’
IN TYPEOF (pss)) |
NOT (
(SIZEOF ((’AIC_MECHANICAL_DESIGN_SHADED_PRESENTATION.COLOUR_RGB’,
’AIC_MECHANICAL_DESIGN SHADEDJ3RESENTATION.‘+
DRAUGHTING_PRE_DEFINED_COLOUR‘l *TYPEOF
(cs\curve_sty1e.curve_colour))= 1)
AND
(’MEASURE_SCHEMA.POSITIVE_LENGTH_MEASURE’ INTYPEOF
cs\curve_style.curve_width))
11