ГОСТ Р ИСО 10303-203-2003
wife
(
<*
(
<*
| (
wr2: (S1ZEOF (QUERY ( it <* SELF.itcms | (SlZEOF(|
*C’ONFIG_CONTROL_DESIGN.GEOMETRIC_SET*,
*CONFIG_CONTROL_DESIGN.MAPPED_ITEM*| * TYPEOF(it)) - ! ) ) ) >
0);
wr3: (SIZEOF (QUERY ( mi <• QUERY ( it <* SELF.itcms | (
C0NF1G_C0NTR0L_DESIGN.MAPPED_ITEM* IN TYPEOF(it)) ) | (NOT
(((’CONFlG_CONTROL_DESIGN.* +
*GEOMETRICALLY_BOUNDED_SURFACE_SHAPE_REPRESENTATION* ) IN
TYPEOF (mi\mappcd itcm.mapping sourec. mapped representation))
AND <SIZEOF(QUERY <mr_it <* mi\mapped_itcm.mapping_saurce.
mappcd_reprcscntation.itcms | (
*CONFIG_CONTROL_DESIGN.GEOMETRIC_SET* IN TYPEOF (mr_it)) » >
0 » )» = 0):
wr4: <SIZEOF(QUERY ( gs <• QUERY ( it <* SELF.itcms | (
*CONFIG_CONTROL_DESIGN.GEOMETRIC_SET* IN TYPEOF (it)) ) | (
NOT (SIZEOF(QUERY ( pnt <* QUERY ( g*l <* gs\gcomctric_set.
elements | (*CONFIG_CONTROL_DESIGN.POINT* IN TYPEOF(gscl)) )
| (NOT gbsf_chcck_point(pnt)) )) ™0» )) * 0);
w r5 :
(SIZEOF(QUERY ( gs <* QUERY ( it <* SELF.itcms | (
*CONFIG_CONTROL_DESIGN.GEOMETRIC_SET* IN TYPEOF(it)) ) | (
NOT (SIZEOF(QUERY ( cv <* QUERY ( gscl <♦ gs\geometric_set.
elements | <*CONFIG_CONTROL_DESIGN.CURVE* IN TYPEOF(gscl>) )
i (NOT gbsf_check_curve(cv)) )) = 0» » = 0);
(SlZEOF(QUERY gsQUERY itSELF.itcms
CONFIG_CONTROL DESIGN.GEOMETRIC_SET‘ IN TYPEOF (it)) ) | (
NOT (SIZEOF(QUERY ( sf<* QUERY ( gscl <* gs\,gcomctric_sct.
elements | (*CONFIG_CONTROL_DESIGN.SURFACE’ IN
TYPEOF(gsel)) ) | (NOT ghsf_chcck_surfacc(sf)) ))
- 0)) )) - 0);
wr7: (SIZEOF (QUERY ( gs <* QUERY ( it <* SELF.itcms | (
’CONFIG_CONTROL_DESIGN.GEOMETRIC_SET’ IN TYPEOF (it)) ) |(
SIZEOF(QUERY ( gscl <* gs\geomctric_sct.elcmcnts | (
‘CONFIG_CONTROL_DESIGN.SURFAC’E’ IN TYPEOF(^cl)) )) > 0) ))
>
0
) ;
END ENTITY; - - geometrically_boundcd_surfacc_shapc_rcpirscntation
ENTITY geomcirically_bounded_wireframe_shape_representatk>n
SUBTYPE OF (shape_rcprcscntation);
WHERE
wrl: <SIZEOF(QUERY <it <• SELF.itcms | (NOT (SIZEOF(TYPEOF(it) * |
CONFIG_CONTROL_DESIGN.GEOMETRIC_CURVE_SET- .
’C’ONFIG_CONTROL_DESIGN.AXIS2_PLACEMENT_3D’,
*CONFIG_CONTROL_DESIGN.MAPPED_ITEM‘|) = I)) )) - 0):
wr>: (SIZEOF(QUERY <it <* SELF.itcms | (SlZEOF(TYPEOF(it) * |
CONFIG_CONTROL_DESIGN.GEOMETRIC_CURVE_SET‘ ,
CONFIG_CONTROL_DESIGN.MAPPED_lTEM |) - 1)))>-= I);
wr3: (SlZEOF(QUERY ( ges <* QUERY ( it <* SELF.itcms | (
CONFIG_CONTROL_DESIGN.GEOMETRIC_CURVE SET* IN TYPEOF (it)) )
| (NOT (SIZEOF(QUERY ( erv <• QUERY ( clem <* gcs\
gcometric_sct.elements | (*CONFIG_CONTROL_DESIGN.CURVE* IN
TYPEOF (clem)) ) | (NOT va1id_geomctrkally boundcd_wf_curse(
erv)) )) = 0» ) ) = 0);
wr4: (SIZEOF (QUERY ( ges <* QUERY ( it <* SELF.itcms | (
*CONFIG_CONTROL_DESIGN.GEOMETRIC_CURVE_SET* IN TYPEOF(it)) )
| (NOT (SIZEOF (QUERY ( pnls <* QUERY ( clem <* gcs\
gcomctric_sct.clcments | (’CONFIG_CONTROL_DESIGN.POINT* IN
TYPEOF (clem)) ) | (NOT valid_geomctrically_boundcd_wf_point<
pnls)) )) - 0» )) - 0);
wr5: (SIZEOF (QUERY ( ges <* QUERY ( it <* SELF.itcms | (
*CONFIG_CONTROL_DESIGN.GEOMETRIC_CURVE_SET* IN TYPEOF(it)) )
145