ГОСТ Р ИСО 10303-203-2003
E N D JF ;
E N D JF ;
E N D JF ;
RETURN (FALSE) :
END_FUNCTION; - - valid_gcometrically_boundcd_wf_point
FUNCTION valid_mcasure_valuc(m: mcasurc_valuc): BOOLEAN;
IF REAL’ IN TYP£OF(m> THEN
RETURN(m > 0);
ELSE
IF ’INTEGER’ IN TYPEOF(tn) THEN RETURN (m > 0);
ELSE
RETURN (TRUE);
ENDJF;
E N D JF ;
END_FUNCTION; - - valid_mcasurc_valuc
FUNCTION valid_timc(timc: local_time): BOOLEAN;
IF EXISTS (timc.sccond_componcnt) THEN
RETURN(EXlSTS(timc.minute_component)) ;
ELSE
RETURN (TRUE);
ENDJF:
END_FUNCT10N; -- validjimc
FUNCTION valid_units(m: mcasurc_wilh_unit): BOOLEAN;
IF CONFIG_CONTROL_DESIGN.LENGTH_MEASURE‘ IN TYPEOF(m.value component)
THEN
IF dcrive_dimcnsional_cxponcnts(m.unit_componcnt) < >
dimensional_cxponents( 1. 0. 0. 0. 0. 0. 0) THEN RETURN)FALSE);
E N D JF ;
ENDJF;
IF ‘CONFIG.CONTROL.DESIGN.MASS.MEASURE’ IN TYPEOF(m.valuc_componcnt)
THEN
IF derive_dimensional_cxponentS(m.unit_component> < >
dimcnsional_cxponcnts (0, I. 0, 0, 0, 0. 0) THEN
RETURN(FALSE);
ENDJF;
ENDJF:
IF CONFlG_CONTROL_DESIGN.TIME_MEASURE’ IN TYPEOF(m.valuc_componcnt>
THEN
IF dcrive_dimensional_exponcnts(m.unit_component) < >
dimensional exponents (0. 0, 1.0, 0. 0, 0) THEN RETURN (FALSE);
ENDJF;
ENDJF:
IF ’C6NFIG_CONTROL_DESIGN.ELECTRIC_CURRENT_MEASURE’ IN TYPEOFOn.
valuc_componcnt) THEN
IF derive_dimensional_cxponents(m.unii_component) < >
dimcnsional_exponents(0. 0, 0. I, 0, 0, 0) THEN RETURN (FALSE);
ENDJF;
ENDJF:
IF CONITG_CONTROL_DESIGN.THERMODYNAMIC_TEMPERATURE_MEASURE’ IN
TYPEOF (m.value_componcnt) THEN
IF derive_dimcnsk>nal_cxponcnts(m.unii_component) < >
dimcnsional_cxponents (0. 0. 0. 0. 1. 0. 0) THEN RETURN (FALSE);
ENDJF;
ENDJF;
IF CONFIG_CONTROL_DESIGN.AMOUNT_OF_SUBSTANCE_MEASURE- IN TYPEOF (m..
valuc_coinponcnl) THEN
IF dcrive_dimcnsional_c\poncnts<m.unit_component) < >
205