ГОСТ Р ИСО/МЭК 8825-4 — 2009
13.2.4.5 Использование ALL для "IdentifierList" определяет, что все дословно существующие компо
ненты (и все дословно существующие компоненты тех компонентов до любой глубины) в идентифициро
ванном Туре"— цели, которым назначается команда кодирования XER.
13.2.4.6 Использование COMPONENTSдля "IdentifierList" определяет, что все компоненты (на первом
уровне) идентифицированного Туре" — цели, которым назначается команда кодирования XER.
13.2.5 Использование идентификации импортированных типов.
13.2.5.1 Продукционное правило "ImportodTypesIdentification":
lmportedTypesldentification::=
ALL IMPORTS FROM modulereference
13.2.5.2 "Modulereference"должна быть одной из ссылок"modulereference". используемых в одной из
"GtobalModuleReferences" раздела по импорту модуля.
13.2.5.3 Команда кодирования XER назначена каждой из "typereference" в соответствующем
"SymbolLtsl" после того, как окончательные команды кодирования, продуцированные назначением в моду
ле экспорта, были назначены.
13.2.5.4 Если импортированная "typereference" экспортируется из этого модуля, окончательные ко
манды кодирования, унаследованные этой "typereference" в модуле, который импортирует ее.— унаследо
ванные в этом модуле импортирования, и не затронуты назначением команд кодирования, с использовани ем
"ImportedTypesIdentification". Это назначение затратвает только использование ссылки на тип в преде лах
этого модуля.
14 Множественное назначение команд кодирования XER
14.1 Порядок, в котором рассматривается множественное назначение
14.1.1 "Туре", который не является ссылкой на тип (-typereference"), имеет первоначально пустой на
бор ассоциированных команд кодирования.
14.1.2 "Туре", который является ссылкой на тип ("typereference") (который может быть импортирован)
имеет первоначально набор окончательных команд кодирования "Туре", назначенный этому набору, когда
он был определен (возможно, измененный командами кодирования, назначенными ему в списке импорта
модуля импортирования — см. 13.2.5).
14.1.3 Целевые команды кодированиядля "Туре" (при использовании раздела управления кодирова
нием) назначаются следующими в порядке, вкотором целевые команды кодирования появляются в разде ле
управления кодированием. Если Type" идентифицирован более чем одним элементом "TargetList” (см.
13.2), то должна быть обработка как многократных назначений той же самой команды кодирования к тому
Туре" в порядке, в котором элементы встречаются в "TargetList”.
П р и м е ч а н и е — Эффект 14.1.2 и 14.1.3 означает, что целевое назначение типу Туре" в
TypeAssignment" всегда отменяется целевым назначением типу Туре", определенному с использованием
соответствующей ссылки "typereference", независимо от того, какое целевое назначение появится первым в
разделе управления кодированием. Однако, если целевое назначение сделано всем компонентам типа, и
также некоторому индивидуальному компоненту этого типа, то эффект будет зависеть от порядка команд
кодирования в разделе управления кодированием.
14.1.4 Снабженные префиксами команды кодирования (использующие префикс типа), назначенные
типу, рассматриваются следующим образом: крайняя правая (самая внутренняя) команда кодирования,
снабженная префиксом рассматривается первой, а крайняя левая (наиболее удаленная) команда кодиро
вания. снабженная префиксом, рассматривается последней.
14.1.5 Как определено в 13.2.1.10. команды кодирования назначаются фиктивному параметрутолько
после того, какокончательные команды кодированиядля фактического параметра были определены.
14.1.6 Какопределено в 13.2.1.11 и 13.2.1.12, "Тип выбора" ("SelectionType") и компоненты, продуциро
ванные преобразованием COMPONENTS OF. наследуют сначала окончательные команды кодирования
оригинального типа, и затем применяют команды кодирования, предназначенные для них.
14.1.7 Каждое назначение команды кодирования продуцирует новый набор связанных команд коди
рования. как определено в 14.2 — 14.4.
14.2 Эффект назначения команды кодирования отрицания
14.2.1Все назначения команды кодирования отрицания приводят к удалению (из набора связанных
команд кодирования) любой команды кодирования той же самой категории. Если нет никаких связанных
команд кодирования другой категории, набор становится пустым.
25