ГОСТ Р HCO/HL7 27951—2016
x. plus
( у .
minus(х>).equal(у>;
y. aataType.implies(x.diffType);
Вопрос: как соотносятся друг с другом выражения (y.dataType.implies(x.diffType)} и {x.compares(y)}?
Если тип значения у не является допустимым для разности значений, имеющих тип значения х, то результа
том операции должно быть пустое значение.
invariant(QTY х, у)
where
у .
dataType.implies(х.diffType}.not (
x.plus(у).notApplicable;
);
В.2.27.7 Свойство isZero: BL (является нулем)
Определение: нейтральный элемент операций разности и сложения, то есть если величина равна нулю, то
сложение с ней или ее вычитание из другой сравнимой величины должно быть равно этой другой величине.
invariant (QTY х) 1
х.minus(xj.isZero;
1;
B.2.27.8 Свойство отношения порядка lessThan: BL (меньше)
Определение: предикат, указывающий асимметричное и транзитивное отношение упорядочения между дан
ной величиной и другой величиной. Это отношение упорядочения то же самое, что и для свойства lessOrEqual. но
не является рефлексивным.
.
invariant (QTY х, у,
г)
where x.nonNull.ana(y.nonNull) (
х.lessThan(у}.equa1(x.lessOrEqual(y)
.and
(x
equal
(y>.not));
t;
B.2.27.9 Свойство отношения порядка greaterOrEqual: BL (больше или равно)
Определение: предикат, указывающий асимметричное и транзитивное отношение упорядочения между дан
ной величиной и другой величиной. Оно является обращением отношения lessOrEqual.
invariant (QTY х, у, z)
where x.nonNull.and(у.nonNu11) {
x.greaterOrEqual(y!.equal(y.lessOrEqual(x));
);
B.2.27.10 Свойство отношения порядка greaterThan : BL (больше)
Определение: предикат, указывающий асимметричное и транзитивное отношение упорядочения между дан
ной величиной и другой величиной. Оно является обращением отношения lessThan.
invariant (QTY х, у,
2
)
where x.nonNull.ana(y.nonNull) (
x.greaterThan(у).equal(у.lessThan(x>;;
j
;
B.2.28 Целочисленный тип данных IntegerNumber (INT) (специализация типа данных QTY)
Определение: целые числа (-1. 0. 1,2, 100. 3398129 и т. д.), являющиеся точными числами, полученными в
результате подсчета и перечисления. Целые числа являютсядискретными, множество целых чисел бесконечно, но
счетно. На диапазон целых чисел не накладывается никакого произвольного ограничения. Для положительной и
отрицательной бесконечности предусмотрены отдельные причины пустоты.
type IntegerNumber alias INT specializes QTY (
INT successor;
INT times(INT x);
INT predecessor;
INT negated;
358