ГОСТ Р HCO/HL7 27951—2016
: Тelements
I Т
1;
1 S.head.equal(31>;
S.tail.equal(S3>; )
( $.head.equal(SI);
S.tail.isEmpty; i;
Т аблица B.39 — Примеры литералов списков
ЛитералЗначение
(1; 3: 5: 7; 19)
Список целых или вещественных чисел
(3; 1:5; 19; 7)
Другой список целых или вещественных чисел
(1.2 м; 2.67 м; 17.8 м)
Дискретный список физических величин
(«яблоко»; «апельсин»; «банан»)
Список строк символов
П ри м ечание — Если спецификация реализуемой технологии, основанной на символьном представле
нии данных, имеет более естественную форму литералов таких коллекций, то она должна использовать ее для
литералов списков.
В.3.2.10 Преобразование значения элемента в список: LIST<T>
Значение типа Т гложет быть преобразовано в тривиальный список, содержащий это значение как единствен
ный элемент.
invariant (Т х) t
((LIST<T>>х>.head.equal(х};
((LIST<T>)x).tail.isEmpty;
j
;
B.3.3 Тип данных GeneratedSequence (GLIST) (специализация типа данных LIST)
Определение: периодическая или монотонная последовательность значений, генерируемая с помощью не
большого числа параметров вместо перечисления. Используется для задания регулярной последовательности
считывания биосигналов.
type GenerateaSequeni;e<QTY Т> alias GLIST specializes LIST<”r> |
Thead;
QTY increment;
INT period;
INT denominator;
i ;
Т аб лиц а B.40 — Сводка свойств типа данных GeneratedSequence
Икя
ТипОписание
head
T Первый элемент данной последовательности. Свойство head является определяю
щим для семантики последовательности
increment
QTY Разность между значением и предшествующим ему отличающимся значением. На
пример. при генерации последовательности (1: 4; 7; 10; 13: ...) свойство increment
равно 3: аналогично, при генерации последовательности (1; 1; 4; 4; 7:7; 10; 10; 13:13;
...) свойство increment также равно 3
period
INT Если это свойство не пусто, то оно определяет чередование последовательности, то
есть через заданное в нем число различных элементов значение элемента последо
вательности возвращается к начальному значению. Например, последовательность
(1; 2; 3; 1; 2; 3; 1; 2; 3:...) имеет период 3; последовательность (1; 1: 2; 2: 3: 3; 1; 1: 2; 2;
3; 3;...) также имеет период 3
denominator
INT Целое число, на которое делится индекс элемента последовательности. Задает чис ло
повторений того же самого значения элемента последовательности перед тем. как
перейти к следующему значению. Например, при генерации последовательности (1; 1;
1; 2; 2; 2; 3; 3: 3:...) свойство denominator равно 3
388