ГОСТ Р ИСО/МЭК 8825-3—2016
Приложение А
(обязательное)
Добавление к ИСО/МЭК 8824-1
Настоящее приложение определяет изменения, которые должны применяться при ссылках в настоящем
стандарте на продукции и/или разделы ИСО/МЭК 8824-1.
А.1 Разделы об экспортах и импортах
Продукции
«
Assignedldentifier
» .
вSymbol» и
«
Reference» из 13.1, а также ИСО/МЭК 8824-1. пункты 13.13 и
13.16 изменяются следующим образом:
13.1
Assignedldentifier ::= Definitiveldentifier |
empty
Symbol ::=
Reference
| BuiltinEncodingClassReference
| ParameterizedReference
Reference ::=
encodingclassreference
| ExtemalEncodingClassReference
| encodingobjectreference
| encodingobjectsetreference,
где "Definitiveldentifier” описывается как:
Definitiveldentifier ::=
"{" DefinitiveObjldComponentList
|empty
П ри м ечания
1 Продукция «Assignedldentifier» изменена потому, что «valuereference» не может быть определена или им
портирована в модули ELM или EDM.
2 «BuiltinEncodingClassReference» может использоваться в качестве «Symbol» только в разделе импортов.
Использование продукции «ExtemalEncodingClassReference» в «Reference» поясняется в 14.11.
13.13 Когда выбрана альтернатива «SymbotsExported» для «Exports», каждый «Symbol» в «SymbolsExported»
должен удовлетворять одному и только одному из следующих условий:
a) он определен в модуле, из которого экспортирован или
b
) он появляется только один раз в альтернативе «Symbolslmported» для «Imports» в модуле, из которого он
экспортирован.
13.16 Когда выбрана альтернатива «Symbolslmported» для «Imports»:
a) каждый «Symbol» в «SymboIsFromModule» должен быть:
1) определен в теле модуля, обозначенном с помощью «GlobalModuleReference» в «SymboIsFromModule». или
2) представлен только один раз в разделе импортов в модуле, обозначенном с помощью «GlobalModuleRef
erence» в «SymboIsFromModule»:
b
) во всех «SymboIsFromModule» в «SymboIsFromModuleList» должен присутствовать «GlobalModuleRefer
ence» так. чтобы:
i) все «modulereference» в них отличались друг от друга (как для модулей АСН.1. так и для модулей EDM) и
от «modulereference», связанной с модулем, делающим ссылку, а также
ii) «Assignedldentifier». когда он не пустой, обозначал значения идентификатора объекта, которые все от
личаются друг от друга и от значения идентификатора объекта (если он есть), связанного с модулем, делающим
ссылку.
А.2 Добавление REFERENCE
П р и м е ч а н и е — Это изменение вводится исключительно для применения в разделе 23.
157