ГОСТ Р ИСО 10303-59—2012
END_REPEAT:
IF(NOT(tJogic))THEN
RETURN(FALSE);
ENDJF;
END_REPEAT:
ENDJF;
--STEP—3
- - collect types of range attribute of shape_measurement_accuracy
- - referred from shapeJnspection_result_accuracy_association
- - that refers to shape_data_qualityjnspectk>n_result
- - for the given shape_data_quality_criterion.
sdqir := QUERY(q <* bagJo_set(USEDIN(ei,
‘PRODUCTJDATA_QUALITYJNSPECTION_RESULT_SCHEMA>
■DATA_QUALITYJNSPECTION_RESULT>
•CRITERION INSPECTED’))!
•SHAPE_DATA_QUAUTYJNSPECTION_RESULT_SCHEMA.4
’SHAPE_DATA_QUALITY_INSPECTION_RESULr
INTYPEOF(q));
IF(SIZEOF(sdqir) =0) THEN
RETURNCTRUE);
ENDJF;
REPEAT i:= 1TO SIZEOF(sdqir);
scraa := USEDIN(sdqir(i],
’SHAPE_DATA_QUALITYJNSPECTION_RESULT_SCHEMA.’+
•SHAPE_INSPECTION_RESULT_ACCURACY_ASSOCIATION>
’SHAPE_DATA_QUALITY_RESULT);
IF(SIZEOF(scraa) <> 0) THEN
sma := [];
REPEATj;= 1TO SIZEOF(scraa),
sma ;= sma + scraa(j].applied_specific_accuracy;
END_REPEAT;
. . STEP—4
- - check whether the collected types include all the type
- - names in the type list given as an input argument of
- - this function and they do not include any other type names.
IF(SIZEOF(type list) < SIZEOF(sma)) THEN
RETURN(FALSE);
ENDJF;
REPEATj:= 1 TO SIZEOF(sma).
tjog ic := FALSE;
REPEAT k:= 1TO SIZEOF(typeJist);
IF(typeJist[k] IN valueJimitJype(sma[j].range))THEN
tjog ic := TRUE;
ESCAPE;
ENDJF;
END_REPEAT;
IF(NOT(tJog»c))THEN
RETURN(FALSE);
ENDJF;
END_REPEAT;
ENDJF;
END_REPEAT;
RETURN(TRUE);
END_FUNCTlON;
r
144