ГОСТ Р ИСО/ТС 10303-1052—2009
WR5: default JoleranceJable_cell_wr5(SELFteompound_representationJtem.item_element);
END_ENTITY; "
( *
Формальные утверждения:
WR1 — объект default_tolerance_tablo_cellдолжен присутствоватьв множествеэлементов толь
ко одногообъекта default_tolerance_table;
WR2 — каждый экземпляр объекта dofault_tolerance_table_cell должен ссылаться не более чем
на пятьобъектов ropresentationjtem;
WR3 — либо только один объект ropresentationjtem из множества элементов объекта
compound_represontationjtem должен быть объектом moasure_representationjtem с именем
significant numberofdigits’, либо в этом множестведолжно бытьдва объекта representationJtem. отно
сящихся к типу measure_representationJtem, один из которых имеет имя lowerlimit’, а второй — ’upper
limit’:
WR4 — либо только один объект ropresentationjtem из множества элементов объекта
compound_representationJtem должен быть объектом measure_representationJtem с именем plus
minus tolerance value’, либо в этом множестве должно быть два объекта represontationjtem, относя
щихся к типу measure_represontationJtem, один из которых имеет имя ’lower tolerance value’, а вто рой
— ’uppertolerance value’;
WR5 — не более одного объекта representationjtem из множества элементов объекта
compound_representationJtem должно принадлежать к типу descriptive_representationJtem. Если
такой объект присутствует, то данный объект dGscriptive_ropresentation_item должен иметь имя cell
description’.
5.2.2 Определения функций ИММ
В данном подразделе определены функции ИММ для настоящего прикладного модуля. Функции
ИММ и ихопределения приведены ниже.
5.2.2.1 Функция defaultJoleranceJable_cell_wr2
Входным аргументом функции defaultJoleranceJablo_cell_wr2 является агрегированная сово
купностьэлементовпредставления, относящаясяктипуданныхAGGREGATE, а ее результатом являет
ся значение типа BOOLEAN. Функция возвращает значение TRUE, если размер агрегированной
совокупности меньше или равен пяти, в противном случае функция возвращаетзначение FALSE.
П р и м е ч а н и е — Даннаяфункцияреализуетвтороелокальноеправилообъекта
default_tolerance_table_cell.
EXPRESS-специФикация:
* )
FUNCTION default_tolerance_table_cell_wr2 (agg: compoundJtem_definition) BOOLEAN;
BEGIN
IF SIZEOF(agg)<= 5THEN
RETURN(TRUE),
ELSE
RETURN(FALSE);
ENDJF;
END;
END_FUNCTION;
Г
Определение аргумента
agg — агрегированная совокупностьэкземпляров объектов, подлежащих проверке.
5.2 2.2 Функция defaultJoleranceJable_cell_wr3
Входным аргументом функции dofaultjoleranceJable_cell_wr3 является агрегированная сово
купностьэлементовпредставления, относящаясяктипуданныхAGGREGATE, а ее результатом являет
ся значение типа BOOLEAN. Функция возвращает значение TRUE, если агрегированная совокупность
15