Integrated Resource: aic_edge_based

Schema: aic_edge_based_wireframe

Source : ISO 10303-501



SCHEMA aic_edge_based_wireframe;


         USE FROM
         geometric_model_schema   -- ISO 10303-42
  (edge_based_wireframe_model);


         USE FROM
         geometry_schema   -- ISO 10303-42
  (axis2_placement_3d,

           
         b_spline_curve_with_knots,

           
         bezier_curve,

           
         cartesian_transformation_operator_3d,

           
         circle,

           
         conic,

           
         curve,

           
         curve_replica,

           
         ellipse,

           
         geometric_representation_context,

           
         hyperbola,

           
         line,

           
         offset_curve_3d,

           
         parabola,

           
         point,

           
         point_replica,

           
         polyline,

           
         quasi_uniform_curve,

           
         rational_b_spline_curve,

           
         uniform_curve);


         USE FROM
         product_property_representation_schema   -- ISO 10303-41
  (shape_representation);


         USE FROM
         representation_schema   -- ISO 10303-43
  (mapped_item);


         USE FROM
         topology_schema   -- ISO 10303-42
  (edge_curve,

           
         vertex_point);


ENTITY edge_based_wireframe_shape_representation

           SUBTYPE OF (shape_representation);
WHERE

           WR1: SIZEOF (  QUERY ( it <* SELF.items| NOT ( SIZEOF ([ 'AIC_EDGE_BASED_WIREFRAME.EDGE_BASED_WIREFRAME_MODEL', 'AIC_EDGE_BASED_WIREFRAME.MAPPED_ITEM',
            'AIC_EDGE_BASED_WIREFRAME.AXIS2_PLACEMENT_3D' ] * 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) )) >= 1;

           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\edge_based_wireframe_model.ebwm_boundary| NOT ( SIZEOF (  QUERY ( pline_edges
            <*  QUERY ( edges <* eb.ces_edges| ('AIC_EDGE_BASED_WIREFRAME.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\edge_based_wireframe_model.ebwm_boundary| NOT ( SIZEOF (  QUERY ( edges <* eb.ces_edges|
            NOT valid_wireframe_edge_curve(edges\edge_curve.edge_geometry) )) = 0) )) = 0) )) = 0;

           WR7: 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 (valid_wireframe_vertex_point(edges.edge_start\vertex_point.vertex_geometry) AND valid_wireframe_vertex_point(edges.edge_end\vertex_point.vertex_geometry))
            )) = 0) )) = 0) )) = 0;

           WR8: SIZEOF (  QUERY ( mi <*  QUERY ( it <* SELF.items| ('AIC_EDGE_BASED_WIREFRAME.MAPPED_ITEM' IN TYPEOF (it)) )| NOT ('AIC_EDGE_BASED_WIREFRAME.'
            + 'EDGE_BASED_WIREFRAME_SHAPE_REPRESENTATION' IN TYPEOF (mi\mapped_item.mapping_source.mapped_representation)) )) = 0;

           WR9: SELF.context_of_items\geometric_representation_context.coordinate_space_dimension = 3;

         
         END_ENTITY;


FUNCTION valid_wireframe_edge_curve
 (crv : curve) : BOOLEAN;

 IF SIZEOF ([ 'AIC_EDGE_BASED_WIREFRAME.LINE', 'AIC_EDGE_BASED_WIREFRAME.CONIC', 'AIC_EDGE_BASED_WIREFRAME.B_SPLINE_CURVE', 'AIC_EDGE_BASED_WIREFRAME.POLYLINE' ] * TYPEOF (crv)) = 1 THEN 
 RETURN (TRUE);
 ELSE 
 IF 'AIC_EDGE_BASED_WIREFRAME.CURVE_REPLICA' IN TYPEOF (crv) THEN 
 RETURN (valid_wireframe_edge_curve(crv\curve_replica.parent_curve));
 ELSE 
 IF 'AIC_EDGE_BASED_WIREFRAME.OFFSET_CURVE_3D' IN TYPEOF (crv) THEN 
 RETURN (valid_wireframe_edge_curve(crv\offset_curve_3d.basis_curve));
 END_IF ;
 END_IF ;
 END_IF ;
 RETURN (FALSE);


         END_FUNCTION;


FUNCTION valid_wireframe_vertex_point
 (pnt : point) : BOOLEAN;

 IF 'AIC_EDGE_BASED_WIREFRAME.CARTESIAN_POINT' IN TYPEOF (pnt) THEN 
 RETURN (TRUE);
 ELSE 
 IF 'AIC_EDGE_BASED_WIREFRAME.POINT_REPLICA' IN TYPEOF (pnt) THEN 
 RETURN (valid_wireframe_vertex_point(pnt\point_replica.parent_pt));
 END_IF ;
 END_IF ;
 RETURN (FALSE);


         END_FUNCTION;



         END_SCHEMA;  -- aic_edge_based_wireframe