Приложение С (обязательное). Тип "экземпляр-из"

Приложение С
(обязательное)

Тип "экземпляр-из"

С.1 В настоящем приложении специфицирована нотация типа и значение для типов "экземпляр-из" (см. 3.4.13). Такие типы могут передавать любые значения из любого информационного объекта в классе информационных объектов, определенного как класс TYPE-IDENTIFIER (см. приложение А), используя присвоение класса информационных объектов (ссылка на класс информационных объектов определяется как часть этой нотации).

С.2 Нотация "InstanceOfType", указанная в ГОСТ Р ИСО/МЭК 8824-1, 16.2 как одна из нотаций, образующих "Туре", определяется следующим образом:

InstanceOfType : : = INSTANCE OF DefinedObjectClass

Примечание - В ИСО/МЭК 8824-3, раздел 10 установлен способ, в котором этот тип может быть ограничен с использованием "табличного ограничения". При этом значения типа ограничиваются теми, которые представляют некоторое конкретное множество информационных объектов этого класса.

С.3 Данная нотация специфицирует тип, который переносит поле &id (OBJECT IDENTIFIER) и значение поля &Туре из любого экземпляра класса "DefinedObjectClass".

Примечание - Обычно эта конструкция будет ограничиваться множеством объектов, которое будет (но не обязательно) пустым именем ссылки, как определено в ИСО/МЭК 8824-4, 8.3 - 8.11, с фактическим множеством объектов, определенным в другом месте.

С.4 Все типы "экземпляр-из" имеют тег универсального класса 8.

Примечание - Это тот же самый универсальный тег, что и для внешнего типа, и использование типа "экземпляр-из" может быть бит-совместимым с внешним типом, когда используются базовые правила кодирования АСН. 1.

С.5 Тип "экземпляр-из" имеет ассоциированный тип "последовательность", который используется для определения значений и подтипов типа "экземпляр-из".

Примечание - Когда этот тип ограничивается нотацией ограничения ИСО/МЭК 8824-3, то также ограничивается ассоциированный тип "последовательность". Ограничения на ассоциированный тип "последовательность", получающиеся из ограничения на тип "экземпляр-из", определены в ИСО/МЭК 8824-3, приложение А.

С.6 Принимается, что ассоциированный тип "последовательность" должен определяться в окружении, в котором установлено тегирование "EXPLICIT TAGS".

С.7 Ассоциированный тип "последовательность" должен быть:

    SEQUENCE

    {

       type-id <Defined ObjectСlass >. &id,

       value   [0] <DefinedObjectClass>.&Type

    }

где "<DefinedObjectClass>" замещается конкретным классом "DefinedObjectClass", использованным в нотации "InstanceOfType".

С.8 Нотацией значения "InstanceOfValue" для нотации "InstanceOfType" должна быть нотация значения для ассоциированного типа "последовательность".

InstanceOfValue : : = Value

С.9 Пример

На примере, данном в А.4, можно построить следующий пример.

Тип

INSTANCE OF MHS-BODY-CLASS

имеет ассоциированный тип "последовательность"

SEQUENCE

{

type-id MHS-BODY-CLASS.&id,

value [0] MHS-BODY-CLASS.&Type

}

Пример применения табличного ограничения к этому типу приведен в ИСО/МЭК 8824-3, приложение А.