ГОСТ Р И С 010303-59—2012
sdei := sdei + QUERY(q <* sdir[i].inspected_instances|
■SHAPE_DATA_QUALITYJNSPECTION_RESULT_SCHEMA>
■|NSTANCE_REPORT_ITEM_WITH_EXTREMEJNSTANCES’
IN TYPEOF(q));
END_REPEAT:
--STEP—2
- - check ifthe types of locations_of_extreme_value attributes
- - of all extremejnstances attributes of the collected instances are
- - exactly coincident with the type names in the type list given as an
- - input argument of this funcUon.
- - If there is no instance report, then return true.
IF(SIZEOF(sdei) =0)THEN
RETURNfTRUE);
ENDJF;
- - If the typeJist is empty and
- - instance_report_item_with_extreme„instances exists, then return false.
IF((SIZEOF(type_list) = 0) AND (SIZEOF(sdei) <> 0)) THEN
RETURN(FALSE);
ENDJF;
- - When reportjtems exist, then perform the following checking process.
REPEAT i:= 1 TO SIZEOF(sdei);
REPEATj:= 1 TO SIZEOF(sdei[i]extremeJnstances);
- - If the size of locations_of_extreme_value is not equal to
- - the size of typeJist. then return false.
IF(SIZEOF(sdei[i].extremeJnstances[j].
Iocations_of_extreme_value) <>
SIZEOF(typeJist)) THEN
RETURN(FALSE);
ENDJF;
tjy p e jis t := type_list;
- - check all elements of the typeJist
- - for each element of locations_of_extreme_value.
REPEAT k:= 1 TO SIZEOF(sdei[i].extremeJnstances[j]
,k>cations_of_extreme_value):
REPEAT l:= 1 TO SIZEOF(tJypeJist);
IF(t_typeJist(l] IN
TYPEOF(sdei[i].extremeJnstances[j].
Iocations_of_extreme_value[k])) THEN
t type list := t typejist - tjy p e listp]:
ESCAPE;
ENDJF;
END_REPEAT:
END_REPEAT;
IF(SIZEOF(tJypeJist) >0) THEN
RETURN(FALSE).
ENDJF;
END_REPEAT;
END_REPEAT;
RETURNfTRUE):
END_FUNCTION;
г
Определение параметров
ei — экземпляр объекта shape_data_quality_critorion, которыйдолжен быть проверен:
typ e jist — множество (BAG), задающее приемлемые типы данных из числа типов данных, исполь
зуемых в определении типаданных location_of_extreme_value_select.
140