ГОСТ Р ИСО 10303-501—2006
EXPRESS-спеиификация
*>
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
- рекурсивная проверка на допустимость основных кривых для типа curve_replica
IF (AIC_EDGE_BASED_WIREFRAME.CURVE_REPLICA) IN TYPEOF (crv)
THEN RETURN (valid_wireframe_edge_curve
(crv \ curve_replica.parent_curve));
ELSE
- рекурсивная проверка на допустимость основных кривых для типа offset_curve
IF( ’AIC_EDGE_BASED_WIREFRAME.OFFSET_CURVE_3D’) IN TYPEOF (crv)
THEN RETURN (valid_wireframe_edge_curve
(crv \ offset_curve_3d.basis_curve));
ENDJF;
END_IF ;
ENDJF;
RETURN (FALSE);
END_FUNCTION ;
(*
Определение аргумента
crv — заданная кривая, которая должна быть проверена на допустимость. Допустимой кривой
является кривая типов line, conic, b_spline_curve. offset_curve_3d. polyline или curve_replica. Если
тип кривой offsot_curve_3d или curve_replica. то кривая, на которую дается ссылка как на базовую
(basis_curve) или порождающую (parent_curve), также должна быть допустимой кривой.
4.4.2Функция valid_wireframe_vertex_point проверяет, действительно ли заданная аргументом
точка является допустимой для использования в представлении формы, определенной топологически
ограниченным каркасом.
EXPRESS спецификация
*)
FUNCTION valid_wireframe_vertex_point (pnt: point): BOOLEAN ;
- проверка на допустимость основных типов точек
IF ( ’AIC_EDGE_BASED_WIREFRAME.CARTESIAN_POINT ) IN TYPEOF (pnt)
THEN RETURN (TRUE);
ELSE
- рекурсивная проверка на допустимость основных типов точек как порождающих для
- типа point_replica
IF ( ’AIC_EDGE_BASED_WIREFRAME.POINT_REPLICA-) IN TYPEOF (pnt)
THEN RETURN (valid_wireframe_vertex_point
(pnt \ point_replica.parent_pt));
ENDJF;
ENDJF;
RETURN (FALSE);
END_FUNCTION;
r
6