ГОСТ Р ИСО 10303-517— 2009
ты могут быть стилизованными илинвстилиэованными. Элемент может быть объектом mappedjtem. Ис
пользованиестилей иатрибутов стилей ограниченодля точек, кривых и поверхностей.
EXPRESS-слеииФикаиия:
*)
ENTITY mechanical_design_geometric_presentation_representation
SUBTYPE OF (representation);
WHERE
WR1: SIZEOF(QUERY(it <* SELF.items |
NOT (SIZEOF(
[’AIC_MECHANICAL DESIGNJ3EOMETRICPRESENTATION.MAPPEDJTEM’.
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.STYLED_ITEM’.
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATIONAXIS2_PLACEMENT’.
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.CAMERA_MODEL_D3’]
* TYPEOF(it)) = 1))) = 0;
WR2; - - объекты mappedjtem могут ссылаться
- - только на объекты shapejepresentation и
- - mechantcal_design_geometric_presentation_representation
SIZEOF(QUERY(mi <* QUERY(it <* SELF.items |
fAIC_MECHANICAL_DESIGN_GEOMETRICJ,RESENTATION.MAPPEDJTEM’
INTYPEOF(it))) | NOT(S!ZEOF(
(’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
’SHAPE_REPRESENTATION’.
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
’MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION_REPRESENTATION’]
*TYPEOF(mi\mappedJtem.mapping_source.mappedjepresentation))
= 1))) = 0;
WR3: - -стилизованные объекты mapped_itemдолжны ссылаться
- - на объекты shapejepresentation
SIZEOF(QUERY(smi <* QUERY(si <* QUERY(it <* SELF.items |
CAIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.STYLED_ITEM’
INTYPEOF(it))) |
fAIC_MECHANICAL_DESIGN_GEOMETRICJ:>RESENTATION.MAPPED JTEM’
INTYPEOF(si\styled item.item))) |NOT (
CAIC_MECHANICAL_DESIGN GEOMETRICJ^ESENTATION.’+
’SHAPE_REPRESENTATION* IN TYPEOF <smi\styledJtem.
item\mappedJtem.mapping_source. mapped jepresentation))))) =0;
WR4; SIZEOF(QUERY(si <* QUERY(it <* SELF.items |
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.STYLED_ITEM-
INTYPEOF(it)) |NOT (SIZEOF(QUERY(psa <* si\styled_item.styles |
NOT (SIZEOF(QUERY(pss <* psa.styles |NOT (SIZEOF(
[’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.POINT_STYLE’,
’AJC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.CURVE_STYLE’,
’AIC_MECHANICAL DESIGN_GEOMETRIC_PRESENTATION.SURFACE_STYLE_USAGE’]
* TYPEOF(pss)) = 1))) = 0))) = 0») = 0;
WR5: SIZEOF(QUERY(si <* QUERY(it <‘ SELF.items |
,AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.STYLED_ITEM’
INTYPEOF(it)) |
NOT (SIZEOF(QUERY(psbc <* QUERY(psa <* si\stytedjtem.styles |
’AIC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.’ +
■PRESENTATION_STYLE_BY_CONTEXT INTYPEOF(psa)) |NOT(SIZEOF(
[*AIC_MECHANICAL DESIGN_GEOMETRIC_PRESENTATION.’ +
’REPRESENTATION JTEM’.
’AlC_MECHANICAL_DESIGN_GEOMETRIC_PRESENTATION.REPRESENTATION’]
*TYPEOF(psbc\presentation style_by_context.style_context))
= 1))) = 0))) = 0;
9