ГОСТ Р ИСО/МЭК 8824-4—2016
- ParametrizedObject(CM. 9.2).
6.2.6В настоящем стандартеопределенаследующаянотация, которая можетбытьиспользована
какальтернативадля множества объектов «ObjectSet» (см. ИСО/МЭК8824-2. подраздел 12.2):
- ParametrizedObjectSet(cM.9.2).
6.3 Символы
В настоящем стандарте определена следующая нотация, которая может быть использована как
альтернативадля символа «Symbol» (см. ИСО/МЭК8824-1, подраздел 12.1):
- ParametrizedReference (см. 9.1).
7 Элементы АСН. 1
В настоящем стандарте используют элементы АСН.1, определенные в ИСО/МЭК 8824-1, раз
дел 11.
8 Параметризованные присвоения
8.1 Существуют операторы параметризованного присвоения, соответствующие каждому из опе
раторов присвоения, определенному в ИСО/МЭК8824-1 и ИСО/МЭК8824-2.
Конструкция «ParameterizedAssignment»:
ParameterizedAssignmont ::=
ParamctorizcdTypoAssignmcnt
|ParameterizedValueAssignment
jParameterizedValueSetTypeAssignment
j
ParameterizcdObjectClassAssignment
|ParamctcrizedObjoctAssignmcnt
jParameterizedObjectSotAssignment
8.2 Каждая конструкция «Parameterized<X>Assignment» имеет тот же самый синтаксис, что и
«<X>Assignment», за исключением того, что имеется начальный элемент «ParameterList». Таким обра
зом. начальный элемент становится параметризованным именем ссылки (см. 3.4.2).-
П р и м е ч а н и я
1 ИСО/МЭК8824-1 налагаеттребование,заключающееся в том, что всеименассылки, назначенныев преде
лах модуля, параметризованные или нет. должны различаться.
2 Там, где нотация значений регулируется параметризованным типом (или типом, который является пара
метром) достоверность нотации значений внутри параметризованного назначения может быть определена только
после инстанцирования параметризованного типа, и может быть действительна для одних инстанцирований и
недопустима для других.
ParameterizedTypeAssignment
typereference
ParameterList
41» , «и**
Type
ParameterizedValueAssignment ::=
valuereforence
ParameterList
Type
4». , = »1
Value
ParameterizedValuoSetTypeAssignment::*
typereforence
ParameterList
Type
3