ГОСТ Р ИСО/ТС 10303-1106—2013
Функция value_range_wr2 получает на входе данные агрегированного типа, содержащие
объекты representationjtem. и возвращает булев результат. Функция value_range_wr2 возвращает
значение TRUE, если входные данные содержат два объекта representationjtem с наименованиями
’upper limit* и ’tower limit1. В противном случае данная функция возвращает результат FALSE.
Примечание - Данная функция реализует второе локальное правилообъекта value_range.
EXPRESS-слецификация;
*)
FUNCTIONvalue_range_wr2 (agg: compour.d_item_definition)
:BOOLEAN;
BEGIN
IF ((SI2EOF(QUERY (i <* agg | (i\represer.tatior._item.name
’upper limit’))) = 1)
AND (SIZEOF(QUERY (i <* agg |
(i\represer.tation_item.name =
’lower limit’))) = 1))
THEN
RETURN(TRUE);
ELSE
RETURN(FALSE);
END_IF;
END;
END_FUNCTION;
(*
"
Определение аргумента
agg - проверяемые данные агрегированного типа, содержащие объекты representationjtem.
5.2.2.3 Функция value_range_wr3
Функция value_range_wr3 получает на входе данные агрегированного типа, содержащие
объекты representationJtem. и возвращает булев результат. Функция value_range_wr3 возвращает
значение TRUE, если входные данные содержат два объекта measure_representationJtem. которые
ссылаются на один и тот же атрибут unit_component. В противном случае данная функция
возвращает результат FALSE.
Примечание - Данная функция реализует третье локальное правилообъекта value_range.
EXPRESS-слецификация:
*)
FUNCTIONvalue_range_wr3 (agg:compound_item_definition)
:BOOLEAN;
BEGIN
IF (SIZEOF(QUERY(il <* agg I
(’QUALIFIED_MEASURE_SCHEMA.MEASURE_REPRESENTATION^ТЕМ’ IN
TYPEOF (il)) AND (SIZEOF (QUERY (i2 <* agg I
(’QUALIFIED_MEASURE_SCHEMA.MEASURE_REPRESENTATION_ITEM’ IN
TYPEOF (i2)) AND
(il :<>: i2) AND (il\measure_with_unit.unit_component :=:
14