ГО СТ Р ИСО/МЭК 8825-5— 2013
25.4 Для каждой альтернативы «identifier» в «NamedType» должен быть сформирован применением
10.3 к имени простого определения типа или сложного определения типа, соответствующему альтер
нативе, и «Туре» в «NamedType» должно быть определением типа АСН.1 («DefinedType»), полученным
применением 10.2 кприсвоению типа АСН.1. полученному применением раздела 30 к простому опреде
лению типа или сложному определению типа.
25.5 Первой альтернативой, добавленной ктипу выбора, должна быть альтернатива, соответствую
щая STD или CTD. Последующие альтернативы должны быть добавлены к типу выбора в порядке, осно
ванном на целевом пространстве имен и имени простого определения типа и сложного определе
ния типа. Определения типа должны быть сначала отсортированы по целевому пространству имен (с
отсутствующим пространством имен, предшествующим всем именам пространства имен, отсортирован
ным по возрастанию в лексикографическом порядке), а затем — по имени (также в лексикографическом
порядке возрастания) внутри каждого целевого пространства имен.
25.6 Заключительная команда кодирования USE
-
туре
должна быть присвоена типу выбора АСН.1.
25.7 Если ограничение значения было предоставлено при инициированииданного пункта, то заклю
чительная команда кодирования
default
-
for
-
empty
должна быть присвоена каждой альтернативе типа
выбора АСН.1. соответствующего простому или сложному определению типа, что проверит гипотети
ческий элемент, содержащий каноническое лексическое представление значения в ограничении значе
ния. но не другим альтернативам (если таковые имеются). Применяется один из трех следующих пунктов.
25.7.1 Если альтернатива соответствует простому определению типа. «Value» в заключительной
команде кодирования
default
-
fo r
-
empt
y
должно быть получено применением раздела 16 кзначению
в ограничении значения, рассматриваемому как значение в области значений простого определения
типа.
25.7.2 Если альтернатива соответствует сложному определению типа, тип содержимого которого
является простым определением типа, «Value» в заключительной команде кодирования
default
-
fo r
-
empty
должно быть получено применением раздела 16 к значению в ограничении значения, рассматри
ваемому как значение в области значений простого определения типа.
25.7.3 Если альтернатива соответствует сложному определению типа со смешанным типом со
держимого. «Value» в заключительной команде кодирования
default
-
for
-
empty
должно быть получе но
применением раздела 16 к значению в ограничении значения, рассматриваемому как значение в
области значений xsd:string с whiteSpace preserve.
25.8 Если ограничение значения было предоставлено при инициировании данного раздела и значе
ние в ограничении значения является фиксированной величиной, то ограничение внутреннего подтипа
АСН. 1должно быть добавлено ктипу выбора АСН.1. Один из четырех следующих пунктов применяется
к каждой альтернативе типа выбора.
25.8.1 Если альтернатива была присвоена заключительной команде кодирования
default
-
for
-
empty
в 25.7 и соответствует простому определению типа, ограничение внутреннего подтипа должно
применить кальтернативе (которой является тип последовательности АСН.1 с заключительной командой
кодирования
USE-NIL)
другое ограничение внутреннего подтипа АСН.1, которое, в свою очередь, должно
применить к компоненту
content
ключевое слово
present и
одиночное ограничение значения АСН.1 с
«Value», идентичным «Value» в заключительной команде кодирования
default
-
for
-
empty
.
25.8.2 Если альтернатива была присвоена заключительной команде кодирования
default
-
for
-
empty
в 25.7 и соответствует сложному определению типа, тип содержимого которого является про
стым определением типа, ограничение внутреннего подтипа должно применять кальтернативе (которой
является тип последовательности АСН.1 с заключительной командой кодирования
use
-
nil
)
другое огра
ничение внутреннего подтипа АСН.1. которое применяет к компоненту content ключевое слово
present
и
одиночное ограничение значения АСН.1 с «Value», идентичным «Value» в заключительной команде коди
рования DEFAULT-FOR
-EMPTY.
25.8.3 Если альтернатива была присвоена заключительной команде кодирования
default
-
for
-
empty
в 25.7 и соответствует сложному определению типа со смешанным типом содержания, ограни
чение внутреннего подтипа должно применить кальтернативе (которой является тип последовательности
АСН.1 с заключительной командой кодирования USE-NIL) другое ограничение внутреннего подтипа АСН.1,
которое применяет к:
а) компоненту
embed-values
одиночное ограничение значения АСН.1 с «Value», состоящем в оди
ночном появлении «Value», идентичном «Value» в заключительной команде кодирования
default
-
for
-
empty
;
и
б)
компоненту
content
ключевое слово
present
.
29