ГОСТ Р ИСО 10303-501—2006
EXPRESS-спеиификация
*)
ENTITY edge_based_wireframe_shape_representalion
SUBTYPE OF (shape_representation);
WHERE
WR1: SIZEOF (QUERY (it <* SELF.items |
NOT
(SIZEOF( (’AIC_EDGE_BASED_WIREFRAME.EDGE_BASED_WIREFRAWE_MODEL,1
’AIC_EDGE_BASED_WIREFRAME.MAPPEDJTEM’.
•AIC_EDGE BASED.WIREFRAME.AXIS2 PLACEMENT_3D1 *
TYPEOF (it)) = 1
))) = 0;
WR2: SIZEOF (QUERY (it <* SELF.items |
SIZEOF( [’AIC_EDGE_BASED_WIREFRAME.EDGE_BASED_WIREFRAME_MODEL\
’AIC_EDGE_BASED_WIREFRAME.MAPPED_ITEM’] * TYPEOF (it)) = 1
» > = i ;
WR3: SIZEOF (QUERY (ebwm <* QUERY (it <* SELF.items |
(’AIC_EDGE_BASED_WIREFRAME.EDGE_BASED_WIREFRAME_MODEL‘
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (eb <* ebwm\edge_based_wireframe_model.
ebwm_boundary |
NOT (SIZEOF (QUERY (edges <* eb.ces_edges |
NOT (’AIC_EDGE_BASED_WIREFRAME.EDGE_CURVE’
IN TYPEOF (edges)))) = 0
))) = 0))) = 0 ;
WR4: SIZEOF (QUERY (ebwm <* QUERY (it <* SELF.items |
(‘AIC_EDGE_BASED_WIREFRAME.EDGE_BASED_WIREFRAME_MODEL’
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (eb <* ebwm\odge_based_wireframe_model.
ebwm_boundary |
NOT (SIZEOF (QUERY (pline_edges <* QUERY (edges <* eb.ces_edges |
(’AIC_EDGE_BASED_WIREFRAWE.POLYLINE’ IN
TYPEOF (edges\edge_curve.edge_geometry))) |
NOT (SIZEOF (pline_edges\edge_curve.
edge_geometry\polyline.points) > 2))) = 0
))) =
0
))) =
0
;
WR5: SIZEOF (QUERY (ebwm <* QUERY (it <* SELF.items |
(’AIC_EDGE_BASED_WIREFRAME.EDGE_BASED_WIREFRAME_MODEL’
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (eb <* ebwm\edge_based_wireframe_model.
ebwm_boundary |
NOT (SIZEOF (QUERY (edges <* eb.ces_edges |
NOT ((’AIC_EDGE_BASED_WIREFRAME.VERTEX_POINT’
IN TYPEOF (edges.edge_start)) AND
(’AIC_EDGE_BASED_WIREFRAME.VERTEX_POINT’
IN TYPEOF (edges.edge_end))))) = 0
))) = 0))) = 0 ;
WR6: SIZEOF (QUERY (ebwm <* QUERY (it <* SELF.items |
(’AIC_EDGE_BASED_WIREFRAME.EDGE_BASED_WIREFRAME_MODEL’
IN TYPEOF (it))) |
NOT (SIZEOF (QUERY (eb <* ebwm\edgo_based_wireframe_model.
obwm_boundary |
NOT (SIZEOF (QUERY (edges <* eb.ces_edges |
NOT (valid_wireframe_edge_curve
(edges\edge_curve.edge_geometry))
)) = 0))) = 0))) = o :
4