ГОСТ Р HCO/HL7 27951— 2016
list.item(inaex>.equal (
list.scale.times(digits.item(maex;;
.plus(list.origin;;;
};
B.3.4.1 Свойство origin: T
Определение: начало шкалы значений элементов списка, то есть значение величины, которой соответствует
нулевое значение элемента списка.
В.3.4.2 Свойство scale: QTY
Определение: величина масштаба, на которую умножаются значения элементов списка.
invariant (SL1ST<T> х) (
х.scale.dataType.implies(T.diftType;;
t;
B.3.4.3 Свойство digits: LIST<INT>
Определение: последовательность целых значений считываний. Обычно это исходные значения, получае
мые от аналого-цифрового преобразователя.
В.3.5 Тип данных BAG (специализация типа данных ANY)
Определение: неупорядоченная коллекция значений, в которой каждое значение может присутствовать бо
лев одного раза (мультимножество).
BL
BL
BAG<T>
BAG<T>
promotion BAG<T>
l;
isEmpty;
notEmpt y;
plus
(BAG<T> x>;
minus(BAG<T> x
) ;
(T
x>;
template*:ANY Т>
type Bag<T> alias BAG<T> specialises ANY
\
INTcontains(T Kirin);
П ри м ечание — значение типа BAG может быть представлено двумя способами: как перечисление
элементов, включая повторяющиеся, или как «сжатое мультимножество», содержание которого представляется
парами «значение элемента» — «число значений». Гистограмма, показывающая абсолютные количества, может
служить примером сжатой формы представления значения типа BAG. Поэтому тип данных BAG полезен для пере
дачи необработанных статистических данных.
В.3.5.1 Свойство contains: INT
Определение: число элементов с данным значением, присутствующих в данном мультимножестве.
Свойство contains является примитивным семантическим свойством типа данных BAG. исходя из которого
определяются все остальные свойства.
invariant(BAG<T> bag; Т item;
where bag.nonNull.andUtem.nonNull,1 1
bag.contains(item).nonNegative;
bag.lsEmpty.equal(bag.contains(item;.isZero;;
B.3.5.2 Свойство notEmpty: BL
Определение: предикат, указывающий, что данное мультимножество содержит элементы.
invariant (BAG<T> bag;
where bag.nonNull 1
bag.notEmpty.equal(exists(T item; )
bag.contains(item;;
I);
i ;
B.3.5.3 Свойство isEmpty: BL
Определение: предикат, указывающий, что данное мультимножество не содержит элементов (отрицание
предиката notEmpty). Пустое мультимножество является допустимым, а не исключительным значением.
391