ГОСТ 1» ИСО/МЭК 8824-2-2001
ПРИЛОЖЕНИЕ С
(обязательное)
Тип «экземпляр-из»
С.1 Внастоящем приложении спснифицирована нотация типа изначение для типов «экземпляр-из» (см.
3.4.13). Такие типы могут передавать любые значения из любого информационного объекта в классе инфор
мационных объектов, определенного как класс TYPE-IDENTIFIER (см. приложение А), используя присвоение
класса информационных объектов (Ссылка на класс информационных объектов определяется как часть этой
нотации).
С.2 Нотация • InstanccOfType», указанная в ГОСТ Р ИСО/МЭК 8824-1, 16.2 как одна из нотаций,
образующих «Туре», определяется следующим образом:
InstanccOfType : : = INSTANCE OF DclinedObjcclClass
Примечание —В ИСО/МЭК 8824-3, раздел 10 установлен способ, в котором этот тип может быть
ограничен с использованием «табличного ограничения». При этом значения типа ограничиваются теми,
которые представляют некоторое конкретное множество информационных объектов этого класса.
С.З Данная нотация специфицирует тип. который переносит поле &id (OBJECT IDENTIFIER) и
значение поля &Туре из любого экземпляра класса «DefincdObjectCIass».
Примечание —Обычно эта конструкция будет ограничиваться множеством объектов, которое будет
(но не обязательно) пустым именем ссылки, как определено в ИСО/МЭК 8824-4. 8.3 —8.11. с фактическим
множеством объектов, определенным в другом месте.
С.4 Все типы «экземпляр-из* имеют тег универсального класса 8.
Примечание —Эго тот же самый универсальный тег, что идля внешнего типа, и использование типа
«экземпляр-из» может быть бит-совместимым с внешним типом, когда используются базовые правила коди
рования АСН. 1.
С.5 Тип «экземпляр-нз» имеет ассоциированный тип «последовательность*, который используется для
определения значений и подтипов типа «экземилир-из».
Примечание —Когда этот тип ограничивается нотацией ограничения ИСО/МЭК 8824-3. то также
ограничивается ассоциированный тип «последовательность». Ограничения на ассоциированный тип «последо
вательность». получающиеся изограничения на тип «экземпляр-из», определены в ИСО/МЭК 8824-3. прило
жение А.
С.6 Принимается, что ассоциированный тип «последовательность» должен определяться в окружении, в
котором устаноатсно тегирование «EXPLICIT TAGS».
С.7 Ассоциированный тип «последовательность® должен быть:
SEQUENCE
{
type-id
value
<DefinedObjcctClass>.&id,
|0| <DcfmcdObjcctClass>.&Tvpe
I
где «<DefinedObjectClass>* замешается конкретным классом «DefinedObjectClass». использо
ванным в нотации «InstanceOIType*.
С.8 Нотацией значения «InstanccOfValue» для нотации «InstanccOfTурс»должна быть нотаиия значения
для ассоциированного типа «последовательность».
InstanccOfValue :: =■Value
С.9 Пример
На примере, данном вА.4, можно построить следующий пример.
Тин
INSTANCE OF MHS-BODY-CLASS
имеет ассоциированный тип «последовательность»
SEQUENCE
I
type-id MHS-BODY-CLASS.&id.
value |0| MHS-BODY-C’LASS.&Typc
}
Пример применения табличного ограничении к этому типу приведен в ИСО/МЭК 8824-3, приложение А.
21