ГО СТ Р ИСО/МЭК 8825-5— 2013
наборщиком последовательности, частицу называют «частицей бессмысленной последовательности
(pointless sequence particle)».
б) иначе частицу называют «частицей обязательного присутствия (mandatory presence particle)».
19.2.2 Если min occurs равно нулю, a max occurs равно единице, то:
а) если отображение частицы существует для формирования компонента типа последовательности
АСН.1. частица называется «частицей необязательного присутствия (optional presence particle)»;
б) иначе частица называется «частицей необязательного одиночного появления (optional single
occurrence particle)».
19.2.3 Если max occurs равно двум и более, частица называется «частицей многократного появле
ния (multiple-occurrence particle)».
19.3 «Частица бессмысленной последовательности» должна быть отображена в упорядоченный спи
сок (L, например) из нуля или более «NamedTypo» следующим образом. Список L должен быть изначаль но
пустой. Для каждой частицы (Р. например) в модельной группе, которая является термом частицы по
порядку, упорядоченный список из нуля и более «NamedType» должен быть получен рекурсивным
применением раздела 19 к частице Р. и эти «NamedType» должны быть добавлены в список L в том же
порядке.
19.4 «Частица обязательного присутствия» или «частица необязательного присутствия» должна быть
отображена в «NamedType». как указано далее.
19.4.1 «identifier» в «NamedType» должен быть сформирован применением 10.3 к символьной строке,
указанной в 19.6. и «Туре» в «NamedType» должен быть сформирован с применением 19.7 к терму
частицы.
19.4.2 Если частица является «частицей необязательного присутствия», то «NamedType» должен
следовать за ключевым словом o ptio
n
a
l
.
19.5 «Частица необязательногоодиночного появления» или «Частица многократного появления» должна
быть отображена в «NamedType». как указано далее.
19.5.1 «identifier» в «NamedType» должен быть сформирован с применением 10.3 ксимвольной стро
ке. полученной добавлением суффикса « - lis t » к символьной строке, указанной в 19.6. «Туре» в
«NamedType» должен быть типом последовательности.
19.5.2 Не считая того, когда min occurs равно нулю и max occurs неограниченно (unbounded),
ограничение размера должнобыть добавлено ктипу последовательности в соответствии с таблицей 6.
Т а б л и ц а 6 — АСН.1 ограничение размера соответствующее min occurs и max occurs
min occurs иmax occurs
Ограничение размера ACH 1
min occurs =
n
max occurs =
n
m
2
SIZE (Л)
min occurs
=
m
i
n
max occurs
=
ma
x
ma
x
>
m
i
n
и
ma
x
2
2
(
size
m
i
n
..
ma
x
)
min occurs
=0
max occurs
=1
SIZE (0.. 1)
min occurs
=
m
i
n
max occurs
=
неограниченно
m
i
n
2
1
size {
m
i
n
..
MAX)
19.5.3 Если термом частицы является объявление элемента, то компонент типа последователь
ности должен быть «NamedType». «identifier» в этом «NamedType» должен быть сформирован с примене
нием 10.3 к имени объявления элемента, и «Туре» в этом «NamedType» должно быть сформирован с
применением 19.7 ктерму частицы.
19.5.4 Если термом частицы является групповой символ, то компонент типа последовательности
должен быть «NamedType». «identifier» в этом «NamedType» должен быть elem , и «Туре» в этом
«NamedType» должен быть сформирован с применением 19.7ктерму частицы.
19.5.5 Если термом частицы является модельная группа, то компонент типа последовательности
должен быть «Туре» и должен быть сформирован с применением 19.7 к терму частицы.
19.5.6 Заключительная команда кодирования
o n t
a
g g
e
d
должна быть присвоена ктипу последова
тельности.
21