ГОСТ 1» ИСО/МЭК 8824-1—2001
ValueAssignment :: =
valuereference
Type
Typ
_
Value
Значение "Value", которое присваивается ссылке ’valuereference*. управляется Туре" и должно
быть в нотации для значения типа, определяемого "Туре" (как сказано в 15.3).
15.3 Значение "Value" япляется нотацией для значения типа, если:
а) либо "Value" есть нотация "BuiltinValue" для типа (см. 16.8),
б) либо "Value* есть нотация “DefinedValue* для значения этого типа.
15.4 Ссылке на тип "typereference" может быть присвоено множество значений нотацией, за
данной продукцией ValueSetTypeAssignment":
ValueSetTypeAssignroent:: = typereference
•*, ,
e
M
ValueSet
Эта нотация присваивает ссылке "typere fereпсе" тип. определяемый как подтип типа, обозна
ченного Туре", содержащий только те значения, которые специфицированы или допускаются
"ValueSet". Ссылка "typereference" не должна быть зарезервированным словом АСН.1 (см. 11.18) и
может указываться как тип. "ValueSet* определяется в 15.5.
15.5 Множество значений некоторого типа должно быть специфицировано нотацией "ValueSet":
ValueSet :: = "{" ElementSetSpec
Множество значений включает в себя все значения, которые, по крайней мере один раз,
специфицированы "ElementSetSpec" (см. раздел 46).
16 Определение типов и значений
16.1 Тип специфицируется нотацией "Туре":
Туре :: = BuiltinType | ReferencedType | ConstrainedType
16.2 Встроенные типы АСН.1 специфицируются нотацией "BuiltinType", определяемой следу
ющим образом:
BuiltinType :: =
BitStringType|
BooleanType
CharacterSt ringType
ChoiceType
E mbeddedPDVType
EnumeratedType
ExternalType
InstanceOfType
IntegerTvpe
NullType
ObjectClassFieldType
ObjectldentifierType|
OctetSt ringType
RealType
SequenceType
SequenceOfType
SetType
SetOlType
TaggedType
Различные нотации "BuiltinType" определяются в следующих разделах настоящего стандарта
(если не оговорено иное):
BitStringType21
BooleanType 17
CharacterStringTypc35
24