ГОСТ Р ИСО 10303-59—2012
’INSPECTIONJ^ESULT))J
■SHAPE_DATA_QUALITYJNSPECTION_RESULT_SCHEMA>
’SHAPE_DATA_QUALITY_INSPECTlON_INSTANCE_REPORr
IN TYPEOF(q));
END_REPEAT:
- - If there is no report, then return true.
IF((SIZEOF(sdcr) = 0) AND (SIZEOF(sdir) =0)) THEN
RETURN(TRUE);
ENDJF;
REPEAT i:= 1TO SIZEOF(sdir);
sdii := sdii + QUERY(q <* sdirfi],inspected instancesl
•SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA>
■SHAPE_DATA_QUALITYJNSPECTIONJNSTANCE_REPORT ITEM’
IN TYPEOF(q));
END_REPEAT:
REPEAT i:= 1 TO SIZEOF(sdir);
sdei := sdei + QUERY(q <* sdir[i].inspected_instances|
■SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA>
■|NSTANCE_REPORT_ITEM_WITH_EXTREME_INSTANCES’
INTYPEOF(q));
END_REPEAT:
- - When reports exist, then perform the following checking process.
- - Check representative_measured_value of
- - shape_data_quality_inspection_criterion_report
REPEAT i:= 1 TO SIZEOF(sdcr);
IF(NOT(type_strir»g IN
TYPEOF(sdcrti].representative_measured_value)))THEN
RETURN(FALSE);
ENDJF;
END_REPEAT;
- - Check measured_value ofshape_data_quality_inspection_
- - instance_reportJtem
REPEAT i:= 1 TO SIZEOF(sdii);
IF(NOT(type_string IN
TYPEOF(sdii[i].measured_value)))THEN
RETURN(FALSE);
ENDJF;
END_REPEAT;
- - Check measured_value ofextremeJnstances of
- - instance_reportJtem_with_extremeJnstance
REPEAT i;= 1 TO SIZEOF(sdei);
REPEATj:= 1 TO SIZEOF(sdei[i].extremeJnstances);
IF(NOT(type_string IN
TYPEOF(sdei[i].extremeJnstancesfi].measured_value)))
THEN
RETURN(FALSE);
ENDJF;
END_REPEAT;
END_REPEAT;
RETURN(TRUE);
END_FUNCTION;
r
Определение параметров
ei — экземпляр объекта shape_data_quality_criterion, которыйдолжен быть проверен;
type_string — строка, задающая допустимое значение экземпляра типа shape_data_quality_criterion.
142