ГОСТ Р ИСО 10303-59—2012
7.5.3 Функция validate_measured_data_type
Функцияvalidate_measurod_data_type проверяетдопустимость типаданных атрибута roprosentative_
moasured_value объекта shape_data_quality_inspection_criterlon_report. атрибута measurod_value
объекта shape_data_qualityJnspectionJnstance_report_item и атрибутов measured_value объектов
oxtremejnstance. на которые ссылается связанный с объектом shape_data_quality_criterion объект
instance_report_item_with_extrome_instancos.
П р и м е ч а н и е - Если для критерия не существует каких-либо экземпляров объектов типа shape_data_
qualrty_inspection_criterion_report и shape_data_quality_inspection_instance_report. то функция возвращает
значение TRUE’.
EXPRESS-специФикация:
*)
FUNCTION validate_measured_data_type
(ei:shape_data_quality_criterion;
type_string: STRING):LOGICAL;
LOCAL
sdqir: SET OF
SHAPE_DATA_QUALITY_INSPECTION_RESULT:=[];
sdcr: SET OF
SHAPE_DATA_QUALITVJNSPECTION_CRITERION_REPORT:=[];
sdir: SET OF
SHAPE_DATA_QUALITY_INSPECTION_INSTANCE_REPORT:=[]:
sdii: SET OF
SHAPE_DATA_QUALITY_INSPECTION_INSTANCE_REPORT_ITEM:=n;
sdei: BAG OF
INSTANCE_REPORT_ITEM_WITH_EXTREME_INSTANCES:=Q;
END_LOCAL,
--STEP—1
- - collect all shape_data_quality_inspection_criterion_report instances.
- - all shape_data_quality_inspection_instance_reportJtem instances, and
- - instance_report_item_with_extremeJnstances instances
- - associated with the given shape_data_quality_criterion
- - via shape_data_quality_inspection_resu!t.
sdqir := QUERY(q <* bag_to_set(USEDIN(ei.
■PRODUCT_DATA_QUALrrY INSPECT10N_RESULT_SCHEMA>
’DATA_QUALITY INSPECTldN_RESULT.‘+
•CRITERION_INSPECTED,))|
■SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEMA>
’SHAPE_DATA_QUALITY_INSPECTION_RESULr
INTYPEOF(q));
IF(SIZEOF(sdqir) = 0) THEN
RETURNfTRUE);
ENDJF;
REPEAT i:= 1TO SIZEOF(sdqir);
sdcr := sdcr ♦ QUERY(q <* bag_to_set(USEDIN(sdqir(i],
’PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.’+
"DATA QUALrTY INSPECTION REPORT.’*
’INSPECTION_RESULT))J
’SHAPE_DATA_QUALITY_INSPECTION_RESULT_SCHEfM>
‘SHAPE_DATA_QUALITY_INSPECTION_CRITERION_REPORr
INTYPEOF(q));
END_REPEAT;
REPEAT i:= 1TO SIZEOF(sdqir);
sdir := sdir +QUERY(q <* bag_to_set(USEDIN(sdqir[i],
■PRODUCT_DATA_QUALITY_INSPECTION_RESULT_SCHEMA.’+
o
a
t
a
_
o u
a
lit y jn s
p
e
c t io n
_
r
ep
o rt
>
141