ГОСТ Р ИСО/ТС 10303-1106—2013
i2\measure_with_unit.unit_component))) =1))) =2)
THEN
RETURN(TRUE);
ELSE
RETURN(FALSE);
END_IF;
END;
END_FUNCTION;
(*
Определение аргумента
agg - проверяемые данные агрегированного типа, содержащие объекты representationJtem.
5.2.3 Определение правила ИММ
В данном пункте определено правило ИММ прикладного модуля «Расширенное представление
меры».
5.2.3.1 Правило subtype_exclusiveness_representation_item
Правило subtype_exclusiveness_representation_item устанавливает, что некоторые подтипы
объекта representationjtem являются взаимно исключающими.
EXPRESS-спецификация:
*)
RULE subtype_exclusiveness_representation_item FOR
(representation^tem);
WHERE
WR1: SIZEOF(QUERY (cri <* representation_item |NOT
(type_check_function(cri,
[’QUALIFIED_MEASURE_SCHEMA.MEASURE_REPRESENTATION_ITEM’,
’REPRESENTATION_SCHEMA.VALUE_REPRESENTATION_ITEM’,
’REPRESENTATION_SCHEMA.COMPOUND_REPRESENTATION_ITEM’] , 3)))) =
0;
END_RULE;
(*
Определение аргумента
representation_item - множество всех экземпляров объекта representationjtem.
Формальное утверждение
WR1 - любой экземпляр объекта measure_ropresentationJtem, value_ representation_ item
или compound_representation_item не должен одновременно быть экземпляром двух других
подтипов объекта representationjtem.
*>
END_SCHEMA; -- Extended_measure_representation_mim
(*
15