ГОСТ Р ИСО 10303-59—2012
•PRODUCT_DATA_QUALITY_INSPECTION_RESULT„SCHEMA.’+
•DATA_QUAUTY_INSPECTION_REPORT>
’INSPECTIONJRESULT))|
’SHAPEJDATA_QUALITYJNSPECTION_RESULT_SCHEMA.’+
’SHAPE_DATA_QUALITY_INSPECTION_INSTANCE_REPORr
INTYPEOF(q));
END_REPEAT:
IF(SIZEOF(sdir) =0) THEN
RETURNfTRUE);
ENDJF;
REPEAT i:= 1TO SIZEOF(sdir);
sdiri := sdiri ♦ QUERY(q <* sdir[i].inspectedjnstances|
’SHAPEJDATA_QUALITYJNSPECTION_RESULT_SCHEMA>
■SHAPE_DATA_QUALITYJNSPECTIONJNSTANCE_REPORTJTEM’
INTYPEOF(q));
END_REPEAT;
--STEP—2
- - check if the types of inspected_elements of the collected
- - instances are exactly coincident with the type names in the
- - type list given as an input argument ofthis function.
- - If there is no instance_report_item. then return true.
IF(SIZEOF(sdiri) = 0) THEN
RETURNCTRUE);
ENDJF;
- - When reports exist, then perform the following checking process.
REPEAT i:= 1 TO SIZEOF(sdiri);
- - If the size of inspected_elements is not equal to the size of
- - typeJist. then return false.
IF(SIZEOF(sdiri[i].inspected_elements)<>
SIZEOF(typeJist)) THEN
RETURN(FALSE);
ENDJF;
- - check all elements in the typejist
- - for each element ofinspected_elements.
tjy p e jis t := typejist;
REPEATj:= 1TOSIZEOF(sdiri[i).inspected_elements);
REPEAT k;= 1TO SIZEOF(tJypeJist);
IF(t_typeJist(k] IN
TYPEOF(sdiri[i].inspected_elements(j])) THEN
t typejist := t_typeJist - tjypejistfk];
ESCAPE;
ENDJF;
END_REPEAT;
END REPEAT;
IF(SIZEOF(tJypeJist) >0) THEN
RETURN(FALSE);
ENDJF;
END_REPEAT;
RETURN(TRUE);
END_FUNOTION;
r
Определение параметров
oi — экземпляр объекта shape_data_quality_criterion, которыйдолжен быть проверен;
ty p e jis t — множество (BAG), задающее приемлемые типы данных из числа типов данных,
используемых в определении типа данных lnspected_shape_elemont_select.
138