ГОСТ РИСО 21090—2016
uncertainty :QTY,
uncertaintyType :uncertaintyType,
uncertainRange : IVL(QTY)
value :Decimal
7.87.3 Атрибуты
7.8.7.3.1 value : Decimal, значение типа REAL.
Это пример шаблона обертки примитивного типа данных. Дополнительные сведения приведены
в 6.3.
7.8.7.4 Равенство
Два непустых экземпляра типа REAL равны, если они не имеют причин пустоты и имеют одно
и то же значение, либо их интервалы неопределенности uncertainRange не пусты, не имеют причины
пустоты nullFlavor и равны.
7.87.5 Инварианты:
- если атрибуты value или uncertainRange не имеют причины пустоты nullFlavor. то они должны
иметь значение:
- атрибуты value и uncertainRange не могут одновременно иметь значение;
- атрибут uncertainty не должен иметь значение;
- типы неопределенности должны быть REAL.
Определения инвариантов на языке OCL:
inv "либо value, либо uncertainRange": r.ot
(value,ocl isDefir.ed and uncertainRange. isKotHull)
inv "либо null, либо value": isNull xor (value.oclIsDetined or
uncertainRange.isNotNull>
inv "типы неопределенности": uncertainRange.low.oclisDefined
implies uncertainRange.low.ocllsKindOf("REAL") ana
uncertainRange.high.oclIsDefined implies
uncertainRange.high.ocllsKindOf("REAL"> and
uncertainty.oclisDefined implies
uncertainty.oclIsKindOf("REAL">
7.87.6 Операции
7.87.6.1 plus[+] (other: REAL): REAL: значение суммы текущего значения (this) и другого значения
(other).
7.87.6.2 minusf-] (other: REAL): REAL: значение разности текущего значения (this) и другого зна
чения (other).
7.87.6.3 times!*] (other: REAL): REAL, значение произведения текущего значения (this) на другое
значение (other).
7.87.6.4 negated!-] ’•REAL: изменение знака текущего значения (this).
7.87.6.5 dividedByf/] (other: REAL): REAL: значение деления текущего значения (this) на другое
значение (other). Если другое значение равно 0. то результат имеет причину пустоты nullFalvor с ко дом
NI.
7.87.6.6 abs(): REAL: абсолютная величина текущего значения (this).
7.87.67 floor(): INT: наибольшее целое число, меньшее текущего значения (this) или равное ему.
7.87.6.8 ceiling(): INT: наименьшее целое число, большее текущего значения (this) или равное
ему.
7.87.6.9 round(). INT: целое число, ближайшее к текущему значению (this). Если таких чисел два.
берется наибольшее из них.
7.8.7.6.10 inverted(): REAL: значение 1. деленное на текущего значение (this).
7.8.7.6.11 max(other : REAL) : REAL: максимум из текущего значения (this) и другого значения
(other).
7.8.7.6.12 min(other: REAL): REAL: минимум из текущего значения (this) и другого значения (other).
7.8.7.6.13 power(other : REAL) : REAL: текущее значение (this), возведенное в степень, равную
другому значению (other).
102