ГОСТ Р HCO/HL7 27951— 2016
х . reminder (у !.e q u al(х .m inus(x.aiviaea’B y(2>. tim e s(у >>) ;
l ;
Даннов определение остатка совпадает с определениями, приведенными в языках программирования С и
Java.
В.2.28.11 Свойство isOne: BL (нейтральный элемент умножения)
Определение: предикат, указывающий, что данное значение является единицей, то есть нейтральным эле
ментом умножения. Этим свойством обладает ровно одно целое значение.
invariant(1NT х, у!
where x.nonNull.ana(y.nonNull) (
х.isOne.ana
(у .
isOne).
im p i
ies(x.equal
(y> >;
x.isOne.and(y.isZero;.implies(x.equal(y>.not>;
t ;
B.2.28.12 Литеральная форма
Литеральной формой целого значения является простоедесятичное число, то есть строка десятичных цифр.
INT.literal ST
<
1NT
digit : "0"( S.isZero; )
1
I
■1"
I
"2"
I
"J"
I
"4"
I
"ъ"
I
"s"
I
"7"
I
"8"
I
1
3.equal(G.successort; i
( $.equal( .successor>; l
1
3.equal(2.successort; i
( $.equal(J.successor>; l
1 3.equal(4.successor}; i
j 3.equal(b.successor>; )
{ 3.equal
(6.
successor); |
! 3.equal(7.successor); i
1
3.equal(8.successor); >;
1NT uint : digit
I
ililtl digit
( 3.equal(31>; »
( 3.equal(31.times(9.successor>.plus(S2>»;
INT: uint( 3.equal(31); j
I
"♦" uint
I
Uint
( 3.equal(32>; 1
I 3.equal(32.negated!; );
В.2.29 Вещественный тип данных RealNumber (REAL) (специализация типа данных QTY)
Определение: дробные числа. Обычно получаются при измерении и оценке физических величин, а также в
результате вычислений, проводимых над другими вещественными числами. Обычно представляются вдесятичной
форме, где число значащих десятичных разрядов именуется как точность.
В настоящей спецификации термин «вещественное число» используется для обозначения дробных значе
ний. не подразумевая под ними полное множество математических вещественных чисел, включающее в себя ир
рациональные числа, например, р, число Эйлера и т. д.1)
П р и м е ч а н и е — В настоящей спецификации вещественный тип данных трактуется в максимально ши
роком смысле. Однако из этого не следует, что любая спецификация реализуемой технологии или реализация,
соответствующая стандарту, должна представлять полный диапазон вещественных чисел, что невозможно для
любой конечной реализации. В настоящее время сценарии использования вещественных чисел в стандартах HL7
ограничиваются измеряемыми и оцениваемыми физическими величинами, а также денежными суммами. В этих
сценариях может использоваться ограниченное пространство вещественных значений, и даже только очень огра
ниченное множество десятичных чисел (масштабируемых целых значений). Однако при этом объявляются такие
представления пространства вещественных значений, как числа с плавающей точкой, рациональные числа, мас
штабируемые целые числа, строки десятичных цифр, и различные ограничения этих представлений не входят в
область применения настоящей спецификации.
В настоящей спецификации предлагаются две альтернативы числового типа данных. Выбор между ними
осуществляется следующим образом: числовой атрибут считается вещественным, если точно неизвестно, что он
11Термин «вещественный» применительно к типуданныхдробных чисел восходит к языкам программирова
ния Algol и Pascal, где он прочно укоренился.
361