ГОСТ Р ИСО/МЭК 8824-4—2016
ParamoterizedObjectSet
DefinedObjoctSot
ActualParameterList
ParamcterizcdObjcct ::=
OefinedObject
ActualParameterList
9.3 Имяссылкив «Defind<X>» должнобыть именемссылки, для которогосделано присваивание в
«ParameterizedAssignment».-
9.4 Дляиспользуемойальтернативы«Defmed<X>»ограничения,определенныев
ИСО/МЭК 8824-1 и ИСО/МЭК 8824-2 для обычных имен ссылок, должны использоваться идля соотве
тствующихпараметризованных имен ссылок,-
П р и м е ч а н и е — По существу, ограничения следующие: каждый «Def)ned<X>» имеет две альтернати
вы — «<х>ге(егепсе» и «Extemal<x>Reference». Первая используется в модуле определения или когда определе
ние было импортированои нетпротиворечия имени; вторая используется тогда, когда нет перечисленного импорта
(не рекомендуется)или если есть конфликт между импортированным именем и локальным определением (также не
рекомендуется), или есть конфликт между импортированными именами.-
9.5 Список фактических параметров «ActualParameterList»:
ActualParameterList
“{” ActualParameter
ActualParametor ::=
Type
|Value
ValueSet
j
DefinedObjectClass
|Object
j
ObjectSet
9.6 Долженбытьтолькоодин параметр«ActualParameter»длякаждого «Parameter» всоответству
ющем «ParameterizedAssignment». и онидолжны появлятьсявтом жесамом порядке. Конкретныйвыбор
«ActualParameter» и управляющего (если он есть) должен определяться синтаксической формой
«Parameter» и контекстов, в котором он встречается в «ParameterizedAssignment». «ActualParameter»
должен иметь форму, необходимую для замены «DummyReference» в областиее действия (см. 8.4).
Пример
—
Параметризованный классобъектов предыдущего примера (см. 8.5)может бытьуказан
следующим образом:
MY-OBJECT-CLASSPARAMETERIZED-OBJECT-CLASS { BIT STRING, 123, {4\5\6}}
9.7 Фактический параметр занимает место имени пустой ссылки в определении фактического
типа, значения, множествазначений, классаобъектов, объектаили множестваобъектов, которыеуказы
ваютсяданным экземпляром использования параметризованного имени ссылки.
9.8 Смысл любых ссылок, которые появляются в «ActualParameter». и умалчиваемый тег, приме
няемый к любым появляющимся тегам, определяются в соответствии со средой тегирования
«ActualParameter». ане «DummyReference».
П р и м е ч а н и е - [аким образом, парвметризация. подобно ссылкам, селективным типам и
COMPONENTS OF.
не является точной текстуальной заменой.
Пример
—
Рассмотрим следующие модули:
М1 DEFINITIONS AUTOMA TIC TAGS ;:= BEGIN
EXPORTS T1;
T1SET{
7