ГОСТ Р ИСО 10303-59—2012
7.5.2 Функция validate_locations_of_extreme_value_type
Функция validato_locations_of_extreme_value_type проверяет допустимость типов объектов,
играющих роль атрибута locations_of_extremo_values объектов, играющих роль атрибута oxtremo_
instances объекта instance_report_item_with_extreme_instances. связанного с экземпляром объекта
shape_data_quality_criterion. Функция выполняется следующим образом:
1) собрать все экземпляры объекта instance_report_item_with_extremo_instances. связанные
посредством объектов shape_data_quality_inspection_rosult и shape_data_ qualityjnspection_instance_
report с объектом shape_data_quality_criterion. задаваемым в качестве входного параметра настоящей
функции;
2)проверить, точноли соответствуют типы объектов, играющих роль атрибутов locations_of_extreme_
value объектов, играющих роль атрибута extrem ejnstancos во всех собранных экземплярах, именам
типов из списка типов, данного в качестве входного параметра настоящей функции.
П римечание — Если список типов пуст и существует связанный собъектом shape_data_quality_criterion
объект instance_report_item_with_extreme_instances. то функция возвращает значение ’FALSE’.
EXPRESS-специФикация:
•)
FUNCTION val»datejocations_of_extrerr>e_value_type
(ei;shape_data_quality_criterion;
typeJst:BAG OF STRING):LOGICAL;
LOCAL
sdqir: SET OF
SHAPE_DATA_QUALITY_INSPECTION_RESULT:=[];
sdir; SET OF
SHAPE_DATA_QUALITY_INSPECTJONJNSTANCE_REPORT;=[]:
sdei: SET OF
INSTANCE_REPORT_ITEM_WITH_EXTREME_INSTANCES:=[];
t_type_list:BAG OF STRING;=[];
END_LOCAL
..STEP—1
- - collect all instance_report_item_with_extreme_instances instances
- - associated with the given shape_data_quality_criterion
- - via shape_data_quality_inspection_result and
- - shape_data_quality_inspection_instance_report.
sdqir ;= QUERY(q <* bag_to_set(USEDIN(ei.
•PRODUCTJDATA_QUALITY_INSPECT10N_RESULT_SCHEMA.4
■DATA_QUALITYJNSPECTION_RESULT.’+
•CRITERION_INSPECTED’))|
’SHAPEJ)ATA_QUALITY_INSPECTION_RESULT_SCHEMA>
•SHAPE_DATA_QUALITY_INSPECTION_RESULr
INTYPEOF(q));
IF(SIZEOF(sdqir) = 0) THEN
RETURNfTRUE);
ENDJF;
REPEAT i:= 1 TO SIZEOF(sdqir);
sdir := sdir + QUERY(q <* bag_to_set(USEDIN(sdqir[i],
•PRODUCTJWA_QUALITYJNSPECT10N_RESULT_SCHEMA.4
DATA_QUALITYJNSPECT10N_REP0RT>
’INSPECTION_RESULT))|
’SHAPE_DATA_QUAUTY_INSPECTION_RESULT_SCHEMA>
*SHAPE_DATA_QUALITY_INSPECTION_INSTANCE_REPORT
INTYPEOF(q));
END_REPEAT;
REPEAT i:= 1TO SIZEOF(sdir):
139