ГОСТ Р HCO/HL7 27951—2016
В.2.5.5 Свойство reference: TEL (фиксированное)
invarrant(ST x>
where x.nonNull f
x.reterence.notApplicable;
i ;
Значения типа ST не могут быть ссылаться на содержание, находящееся в каком-то другом месте.
В.2.5.6 Свойство integrityCheck: BIN (фиксированное)
invariant (ST х)
where х.nonNuН I
х.rntegntyCheek.notApplicable;
l i
Контрольная сумма значений типа ST не вычисляется.
В.2.5.7 Свойство integrityCheckAlgonthm: CS (фиксированное)
invariant(ST х>
where x.nonNull (
х.integrityCheckAlgonthm.notApplicable;
J;
К значениям типа ST алгоритм контрольного суммирования не применяется.
В.2.5.8 Свойство thumbnail: ED (фиксированное)
invariant (ST х)
where x.nonNu
11
\
x.thumbnai1.notApplicable;
i ;
Эскизы для значений типа ST не могут быть определены.
В.2.5.9 Литеральная форма
Определены два варианта литералов типа данных ST: форма токена и строка в кавычках^. Форма токена со
стоит из строчных и прописных символов латинского алфавита, десяти десятичных цифр и подчеркивания. Строка
в кавычках может содержать между кавычками любой символ. Кавычки предотвращают интерпретацию строки
символов как литерал другого типа. Форма токена используется для представления имен и ключевых слое, раз
бираемых в языке спецификации типов данных.
ST.literal ST
\
ST : /"!’]♦"/(S.equal($1); i /♦ quoted string */
I
I
|a-zA-20-9_l■*/
\
3.equal(SI); i; /’* token lorm */
) ;
П р и м е ч а н и е — Поскольку литералы типа данных ST играют фундаментальную роль в технологии реа
лизации. в большинстве спецификаций реализуемой технологии будет использоваться некоторая модифицирован
ная форма литерала строки символов. Однако разработчики этих спецификаций должны учитывать возможность
пересечения литеральной формы типа данных ST с литеральными формами, определенными для других типов
данных. Такое пересечение особенно критично, если литеральная форма другого типа данных структурирована в
виде основных компонентов, разделенных специальными символами (например, вещественное число, физиче ская
величина, литералы множества и списка и т. д.).
Литерал типа данных ST представляет собой преобразование строки символов в другой тип данных. Оче
видно. литералы типа данных ST для символьных строк представляют собой циклическое, если не избыточное
образование. Поэтому литеральная форма в основном указывает, каким образом осуществляется разбор строк
символов на языке определения типов данных.
314