FUNCTION constraints_geometry_shell_based_wireframe_model 
          (m : shell_based_wireframe_model) : BOOLEAN;
 LOCAL      result : BOOLEAN := TRUE;    END_LOCAL;
     REPEAT j := 1 TO SIZEOF(m.sbwm_boundary);      IF (NOT ('TOPOLOGY_SCHEMA.WIRE_SHELL' IN                     TYPEOF(m.sbwm_boundary[j])) AND         (NOT ('TOPOLOGY_SCHEMA.VERTEX_SHELL' IN                       TYPEOF(m.sbwm_boundary[j]))))      THEN        result := FALSE;        RETURN(result);        (* A wireframe model is composed OF WIRE_ AND VERTEX_SHELLs *)      END_IF;    END_REPEAT;    RETURN(result); END_FUNCTION; -- constraints_geometry_shell_based_wireframe_model 
 |