ГОСТ Р HCO/HL7 27951— 2016
В.1.11 Тип данных DataValue (ANY)
Этот тип данных определяет базовые свойства любого типа данных. Он является абстрактным, го есть зна
чение не может иметь этот тип данных и не принадлежать к какому-либо конкретному типу. Каждый конкретный тип
данных является специализацией общего абстрактного типа данных DataValue.
abstract
TYPE
BN
CS
BN
BL
BL
BL
BL
i;
type DataValue alias ANY 1
dataType;
nonNull;
nullFlavor
;
isNull;
notApplicable;
unknown;
O ther;
equal
(ANY x>;
B.1.11.1 Свойство dataType TYPE
Определение: это свойство отражает тот факт, что каждое значение данных неявно несет информацию о
своем типе данных. Таким образом, получив значение данных, можно запросить его тип данных.
invariant(ANY х) (
х . ааtaType. nonKu11;
);
В. 1.11-2 Свойство nonNull: BN
Определение: указывает, чтоданное значениеявляется непустым, тоестьдопустимымдляданного типа данных.
invariant(ANY х> I
х.isNull.equal(x,nonNull.not>;
i ;
Еслисвойство, атрибут модели RIM или поле сообщения объявлены обязательными и непустыми (mandatory),
то любое непустое значение типа данных, к которому принадлежит свойство, должно иметь непустое значение
этого свойства. Другими словами, поле не может быть пустым, коль скоро его контейнер (объект, сегмент и т.
д.) должно иметь непустое значение.
В.1.11.3 Свойство isNull: BN
Определение: указывает, что значение является исключительным, то есть пустым (NULL). Пустота означает,
что информация не существует, или недоступна, или не может быть представлена в нормальном наборе значений
этого типа данных.
Каждый элемент данных либо имеет допустимое значение, либо считается пустым. Если (и только если) оно
пусто, то свойство nullFlavor предоставляет более детальную информацию о том. каким образом и почему у этого
свойства нет правильного значения.
invariant(ANY х> t
x.isNul1.equal(x.nullFlavor.implies(NI
>) ;
t ;
B.1.11.4 Свойство nullFlavor. CS
Определение: если значение является исключительным (NULL), то это свойство указывает, каким образом и
почему подходящая информация отсутствует.
invariant (ANY х> t
x.nonNul1.equal(x.nullFlavor.isNul1>;
t ;
Таблица B.3 — Словарный домен свойства nullFlavor (причина пустоты)
КодИмяОпределение
N1Noinformation Отсутствует какая бы то ни было информация, которую можно вывести из
данного исключительного значения. Это наиболее общее исключительное
значение, оно также используется по умолчанию
299