ГОСТ 1» ИСО/МЭК 8824-1—2001
NullValue
Object ldeiuifierValue
OctetStringValue|
Real Value
SequenceValue
SequenceOlValue
SetValue
SetOtValue
TaggedValue
Различные нотации "BuiltinValue* определены в тех же самых разделах, что и соответствующие
нотации "BuiltinType" (см. 16.2).
16.9 Указываемые значения АСН.1 специфицируются нотацией “ReferencedValue":
ReferencedValue : : =
DeflnedValue|
Value FromObject
Нотация ■ReferencedValue" обеспечивает альтернативный способ указания некоторого другого
(а в конечном счете - встроенного) значения. Различные нотации "ReferencedValue" и методы,
которыми указываемое ими значение определяется, специфицированы в следующих пунктах и раз
делах настоящего стандарта (если не оговорено иное):
DefinedValue13.1
Value FromObjectГОСТ Р ИСО/МЭК 8824-2. раздел 15
16.10 Независимо от того, является ли тип "BuiltinType", "ReferencedType"icm "ConstrainedType",
его значение может быть задано либо "BuiltinValue". либо "ReferencedValue" этого типа.
16.11 Значение типа, указанного с использованием нотации “NamedType". должно быть опре
делено нотацией "NamedValue":
NamedValue : : = identifier Value
где “identifier" — тот же самый, который был использован в нотации "NamedType".
П р и м е ч а н и е —"identifier" является частью нотации, но не образует часть самого значения. Он
используется для недвусмысленной ссылки на компоненты типов "множество*, "последовательность" и выбо
рочного типа.
16.12 Подразумеваемое или явное присутствие маркера расширения в определении типа не
влияет на значение нотации. Значение нотации для типа с маркером расширения точно такое же,
как если бы маркер отсутствовал.
17 Нотация для булевского типа
17.1 Булевский тип (см. 3.8.7) должен указываться нотацией "BooleanТуре":
BooleanType :: = BOOLEAN
17.2 Типы, определенные с этой нотацией, имеют тег универсального класса 1.
17.3 Значение булевского типа (см. 3.8.66 и 3.8.88) должно определяться нотацией "BooleanValue":
BooleanValue :: = TRUE | FALSE
18 Нотация для целочисленного типа
18.1 Целочисленный тип (см. 3.8.40) должен указываться нотацией "IntegerType":
IntegerType :: =
INTEGER|
INTEGER "{" NamedNumberList "}"
|
NamedNumber
NamedNumberList . : =
NamedNumber
NamedNumberList
NamedNumber : : =
identifier "(" SignedNumber ")"|
identifier "(" DefinedValue ")"
SignedNumber: : = number | n u m b e r
26