ГОСТ Р HCO/HL7 27951—2016
2
1
х.
power
(о).equal(i) ;
х.
power(i).equal
(x)
;
x.power(y).power().equal(x.power(y.tones(z>>J;
x.power<уJ.times(x.powertz)).equal(x.power(y.plus(z))};
x.power(y).rivertea.equal(x.power(y.negated)};
x.power<уJ.power(y.invertea).equal(x>;
B.2.29.10 Литеральная форма
Литеральными формами вещественного значения являются строка десятичных цифр с необязательным ве
дущим знаком «+» или «-» и необязательной десятичной точкой и необязательная экспоненциальная нотация, в
которой используется символ «е» (нечувствительный к регистру) между мантиссой и экспонентой. Число значащих
цифр должно соответствовать свойству точности precision.
REAL.literal ST
\
REAL
:mantissa
Imantissa /|eE)/ INT
1
S.equal(SI); i
(S.equal(SI.times(10.power(S3)); );
REAL mantissa : /0*7
0
1
I
/0 * /
I
/0 * /
Iinteger
Iinteger
(S.isZero;
S.precision.equal(); l
/0 * /
{
S.isZero;
$.precision.equal(S3.length.successor>; )
/
0
*/
tractional <$.equal(S4);
S.precision.equal($4.precision); l
{
S.equal( S I )
fractional(S.equal(SI.plus(52)>;
S.precision.equal(
SI.precision.pius(S3.precisлon)>; );
1
"
4
* umtval
1
uintval
real
integer:mntval
i
S.equal(S3); i
( S.equal(SI.times($2)); i
( S.equal(SI.times(S3).negated); i;
REAL umtval
;/
0
*/ uint
(S.equal(S3); );
REAL uint
;digit
( S. equal(SI>;
S.precision.equal(1); I
Iuint digit
( S.equal
( S I
.times(10).plus
( S 3 )
);
S.precision.equal(
SI.precision.successor>; );
REAL fractional :digit
I
digit tract
iOttal
{S.equal(SI.times(10.inverted));
S.precision.equal(1); )
iS.equal(
SI.plus(S3.times(10.inverted));
S.precision.equal(
SI.precision.successor); );
INT digit:/(0-9)/
(S.equal(SI); 1
t;
Примерами литералов вещественного значения «две тысячи» служат 2000, 2000.. 2еЗ. 2.0е+3. +2.0е+3.
Следует обратить внимание, что литеральная форма не несет информации о типе данных. Например.
«2000» является допустимым представлением как вещественного, так и целого числа. Для отличия от целых зна
чений концевая десятичная точка не используется. Спецификация реализуемой технологии, использующая эту
литеральную форму, должна получать информацию о тиле значения из других источников.
В.2.29.11 Свойство precision для десятичной формы: INT
Определение: число значащих цифр в десятичном представлении.
Формальное определение точности основано на литеральной форме.
Атрибут precision характеризует только точность десятичного представления, а не точность вещественного
значения.
364