ГОСТ Р ИСО/ТС 10303-1106—2013
(item_element > > AND value_range_wr1 (item_element >;
WR2: value_range_wr2 (item_element );
WR3: value_range_wr3 (item_element );
END_ENTITY;
(*
Формальные утверждения
WR1 - объект value_range должен иметь в качестве своего атрибута item_element объект
set_representation_item. который должен содержать в своем наборе точно два элемента
одинаковоготипаданных.Этиэлементыдолжныбытьэкземплярамиобъекта
measure_representation_item или value_representation_item;
WR2 -один экземпляр объекта ropresentationjtem из набора, заданного атрибутом
item_element. должен иметь наименование ’upper limit1, а второй - ’lower limit’;
WR3 - если набор, заданный атрибутом item_element. состоит из экземпляров объекта
moasure_representation_item. то их атрибут unit_component должен быть представлен одним и тем
же экземпляром объекта named_unit или derived_unit.
5.2.2 Определенно функций ИММ
В данном пункте определены функции ИММ прикладного модуля «Расширенное представление
меры».
5.2.2.1 Функция value_range_wr1
Функция value_range_wr1 получает на входе данные агрегированного типа, содержащие
объекты representationjtom. и возвращает булев результат. Функция value_range_wr1 возвращает
значение TRUE, если входные данные содержат точно два объекта measure_representation_item или
value_ropresentation_item. В противном случае данная функция возвращает результат FALSE.
Примечание - Данная функция реализует первоелокальное правилообъекта value_range.
EXPRESS-спецификация:
*>
FUNCTIONvalue_range_wrl (agg: compound_item_definition)
:BOOLEAN;
BEGIN
IF (SIZEOF(agg) = 2} AND ((SIZEOF(QUERY (il <* agg | (
’QUALIFIED_MEASURE_SCHEMA.MEASURE_REPRESENTATION_ITEM’
IN
TYPEOF (il)))) =2) OR
(SIZEOF(QUERY (i2 <* agg | (
’REPRESENTATION_SCHEMA.VALUE_REPRESENTATION_ITEM’ IN
TYPEOF
(
12
)))) =
2
))
THEN
RETURN(TRUE);
ELSE
RETURN(FALSE);
END_IF;
END;
END_FUNCTION;
(*
Определение аргумента
agg - проверяемые данные агрегированного типа, содержащие объекты ropresentationjtem.
5.2.2 2 Функция value_range_wr2
13