ГОСТ Р ИС010303-507—2009
EXPRESS-спецификация:
*)
ENTITY geometrically_bounded_surface_shape_representation
SUBTYPE OF (shape_representation);
WHERE
WR1 : SIZEOF (QUERY (it <* SELF.items |
NOT(SIZEOF(fAIC_GEOMETRICALLY_BOUNDED_SURFACE.GEOMETRIC_SET\
’AIC_GEOMETRICALLY_BOUNDED_SURFACE.MAPPED_ITEM\
•AIC_GEOMETRICALLY_BOUNDED_SURFACE.AXIS2_PLACEMENT_3DT*TYPEOF
<*t)) = 1))) = 0;
WR2 : SIZEOF (QUERY (it <* SELF.items |
SIZEOF ([AIC_GEOMETRICALLY_BOUNDED_SURFACE.GEOMETRIC_SET,
’AIC_GEOMETRICALLY_BOUNDED_SURFACE.MAPPED_ITEM’] *TYPEOF
(it)) = 1))>0;
WR3 : SIZEOF (QUERY (mi <* QUERY (it <* SELF.items |
*AIC_GEOMETRICALLY_BOUNDED_SURFACE.MAPPED_ITEM’ INTYPEOF (it)) |
NOT{(’AIC_GEOMETRICALLY_BOUNDED_SURFACE.’+
’GEOMETRICALLY_BOUNDED_SURFACE_SHAPE_REPRESENTATION’
INTYPEOF (mi\mappedjtem.mappir>g_source.mapped_representation))
AND
(SIZEOF(QUERY (mr_it<*
mi\mapped_item.mapping_source.mapped_representation.items|
(AIC_GEOMETRICALLY_BOUNDED_SURFACE.GEOMETRIC_SET
IN TYPEOF (mr_it)))) > 0 )))) = 0;
WR4 : SIZEOF (QUERY (gs <* QUERY (it <* SELF.items |
’AIC_GEOMETRICALLY_BOUNDED_SURFACE.GEOMETRIC_SEP INTYPEOF(it)) |
NOT (SIZEOF (QUERY (pnt <* QUERY (gsel <*
gsVgeometric_set.elements |
’AIC_GEOMETRICALLY_BOUNDED_SURFACE.POINT’ INTYPEOF (gsel)) |
NOT (gbsf_check_point(pnt)))) =0)))=0;
WR5 : SIZEOF (QUERY (gs <* QUERY (it <* SELF.items |
•AIC_GEOMETRICALLY_BOUNDED_SURFACE.GEOMETRIC_SET INTYPEOF(it)) |
NOT(SIZEOF (QUERY (cv <* QUERY (gsel <*
gs\geometric_set.elements |
’AIC_GEOMETRICALLY_BOUNDED_SURFACE.CURVE’ INTYPEOF (gsel)) |
NOT (gbsf_check_curve(cv)))) =0)))=0;
WR6 : SIZEOF (QUERY (gs <* QUERY (it <* SELF.items |
•AIC_GEOMETRICALLY_BOUNDED_SURFACE.GEOMETRIC_SEr INTYPEOF(it)) |
NOT (SIZEOF (QUERY (sf<* QUERY (gsel <*
gs\geometric_set.elements |
’AIC_GEOMETRICALLY_BOUNDED_SURFACE.SURFACE’ INTYPEOF (gsel)) |
NOT (gbsf_check_surface(sO))) =0))) =0;
WR7 : SIZEOF (QUERY (gs <* QUERY (it <* SELF.items |
’AIC_GEOMETRICALLY_BOUNDED_SURFACE.GEOMETRIC_SET INTYPEOF(it)) |
SIZEOF (QUERY (gsel <*gs\geometric_set.elements |
’AIC_GEOMETRICALLY_BOUNDED_SURFACE.SURFACE’
IN TYPEOF (gsel))) > 0)) > 0;
END_ENTTTY;
(*
6