ГОСТ Р ИСО/МЭК 8824-1-2001
Reference :: =
typereference|
valuereference
objectclassreference
object reference
objectsetreference
Assignment List: : =
Assignment|
Assignment List Assignment
Assignment :: =
TypeAssignment|
ValueAssignment
ValueSetTypeAssignment
ObjectClassAssignment
ObjectAssignment
ObjectSetAssignment
ParameterizedAssignment
П р н м с ч а н и я
1 Использование ParameterizedReference в списках EXPORTS иIMPORTS специфицировано в
ИСО/МЭК 8824-4.
2 Впримерах (иопределениях внастоящем сганлартс типовстегами универсальногокласса)"ModuleBody"
может использоваться вне "ModuIcDcfiniliori’.
3 Продукции “TypeAssignment’ u "ValueAssignment" сисцифниированы в разделе 15.
4 Группирование типов данных АСН.1 в модули нс определяет обязательного формирования значений
данных уровня прсдстаатсипя впоименованные абстрактные синтаксисы с цельюопределения контекста пред
ставления.
5 Значение "TagDclauIt" для определения модули влияет только на типы, явно определенные в модуле.
Оно нс атпяст на интерпретацию импортированных типов.
6 Точка с запятой нс ставиться в спецификации списка присвоений "AssignmentList" или в какой-либо
подчиненной продукции, а зарезервирована для использования разработчиками инструментов ACH.I.
12.2 Если тег по умолчанию "TagDefault" равен “empty", то подразумевается “EXPLICIT TAGS".
П р и м е ч а н и е - Смысл “EXPLICIT TAGS”. "IMPLICIT TAGS" и ’AUTOMATIC TAGS" определя
ется в разделе 32.
12.3 Когда выбрана альтернатива "AUTOMATIC TAGS" для “TagDefault", то говорят, что для
модуля выбрано автоматическое тегирование. Автоматическое тегирование - это синтаксическое
преобразование,котороеприменяется(с дополнительнымиусловиями)кпродукциям
"ComponentTvpeList" и "AltemativeTypeList”, встретившимся в определении модуля. Это преобразо
вание формально специфицировано в подразделах 24.7—24.9, 26.3 и 28.2 для нотаций типов после
довательностей. множеств и выборочных типов соответственно.
12.4 Опция “EXTENSIBILITY IMPLIED" эквивалентна вставке в модуле маркера расширения
(...) в определении каждого типа, для которого это допустимо. Подразумеваемый маркер расшире
ния располагается в типе в последней позиции, в которой допустима явная спецификация маркера
расширения. Отсутствие “EXTENSIBILITY IMPLIED" означает, что расширение обеспечивается
только для тех типов в модуле, для которых маркер расширения присутствует явно.
П р и м е ч а н и е —"EXTENSIBILITY IMPLIED* влияет только на типы, но нс влияет на множества
объектов.
12.5 Ссылка на модуль “modu Preference", появляющаяся в продукции "Moduleldentifier", назы
вается именем модуля.
П р и м е ч а н и е —Возможностьопределения одного модуля ACH.I с помощью нескольких элементов
"ModuIcBody" с присвоением одной и гой же "modulereference" допускалась предшествующими спецификаци
ями. Настоящей спецификацией это нс допускается.
12.6 Имена модулей должны использоваться только один раз (за исключением, определенным
в 12.9) в сфере применения определения модуля.
12.7 Если определяющий идентификатор "DeFinitiveldentifier" не пуст, то значение идентифи
катора обьекта недвусмысленно и однозначно идентифицирует определяемый модуль. Не опреде
ленное значение может быть использовано в определяющем значении идентификатора объекта.
19