ГОСТ Р HCO/HL7 27951—2016
П ри м ечание — Преобразования являются квазисинонимами одного понятия реального мира. Предпо
лагается. что каждое преобразование в этом множестве выражает то же самое понятие «другими словами». Одна ко
между двумя структурно различными системами кодирования редко существует точная синонимия. Поэтому не все
преобразования будут абсолютно точными.
В.2.11.8 Свойство qualifier: LIST<CR> (фиксированное)
mvandlU (СЕ х) (
x.qualifier.notApplicable;
) ;
B.2.12 Тип данных CharacterStringWithCode (SC) (специализация типа данных ST)
Определение: строка символов, с которой может быть связан необязательный код. Если код присутствует,
обязательно должен присутствовать и текст. В качестве кода нередко используется местный код.
Т аблица В. 16 — Сводка свойств типа данных CharaclerStringWithCode
ИмяТипОписание
codeСЕ Код. представляющий строку символов. Например, такая строка может быть сообщением
пользователю, выбираемым из каталога сообщений, а код представляет собой идентифика
тор сообщения в этом каталоге
type- CharacterStringWithCode alias SC specializes ST {
CE coae;
l ;
Тип данных SC используется в случаях, когда кодирование является скорее исключением, чем правилом
(например, сообщения пользователю являются в основном текстовыми, и пользователю важно знать печатаемое
сообщение). Однако иногда сообщения берутся из каталога заранее заготовленных текстов, ссылки на которые
содержатся в значении типа SC.
Любое непустое значение типа SC МОЖЕТ иметь код. но код НЕ ДОЛЖЕН быть указан без текста.
invariant(SC х;
where x.nonNull (
x.eode.nonNul1.implies(x.notEmpty);
и
B.2.12.1 Свойство code: CE
Определение: код, представляющий строку символов. Например, такая строка может быть сообщением
пользователю, выбираемым из каталога сообщений, а код представляет собой идентификаторсообщения в этом
каталоге.
J jT : ANY)
LIST
I
а
♦fOQtO UD {notNul}
*exten»ion()
• ST
*d»playabteO: BL
eb(nd»(NT]
OIO
•leaf():WT
♦butLeafQ OD
*value(0D namespace) OD
UUIO
-timeLow(): INT
«ttneMdO: WT
-timeHighAndVersion(). INT
’•ctockSequenceO: WT
-node(): WT
Рисунок B.5 — Тилы данных экземпляров идентификаторов
331