ГОСТ Р ИСО/М ЭК 8824-4-2003
9.4 Для используемой альтернативы “Defined<X>” ограничения, определенные в ГОСТ Р
ИСО/МЭК 8824-1 и ГОСТ Р ИСО/МЭК 8824-2 для обычных имен ссылок, должны использоваться и
для соответствующих параметризованных имен ссылок.
П р и м с ч а н и с —По существу, ограничения следующие: каждый “Defined<Х>” имеет две альтерна
тивы —"<x>rcferencc" и "E\tcrnal<x>Reference”. Первая используется в модуле определения или когда опре
деление было импортировано и нет противоречия имени: вторая используется тогда, когда ист перечисленного
импорта (нс рекомендуется) или если есть конфликт между импортированным именем и локальным опреде
лением (также нс рекомендуется), или есть конфликт между импортированными именами.
9.5 Список фактических параметров “ActualParameterList” есть:
Actual ParameterList: : =
“(” Actual Parameter
Actual Parameter: : =
Type|
Value
ValueSet
DefmedObjectClass|
Object
ObjectSet
9.6 Должен быть ровно один параметр “ActualParameter” для каждого “Parameter” в соответ
ствующем “ParameterizedAssignmctu”, и они должны появляться в том же самом порядке. Конкрет
ный выбор “ActualParameter” и упраатяющего (если он есть) должен определяться синтаксической
формой “Parameter” и контекстов, в котором он встречается в “ParameterizedAssignment”. “Actual-
Parameter” должен иметьформу, необходимую для замены “DummyReference” в области еедействия (см.
8.4).
Пр им е р
Параметризованный класс объектов предыдущего примера (см. 8.5) может быть указан следу
ющим образом:
MY-OBJЕСТ-CLASS : : = PARAMETERIZED-OBJECT-CLASS (BIT STRING, 123, {4|5|6}}
9.7 Фактический параметр занимает место имени пустой ссылки в определении фактического
типа, значения, множества значений, класса объектов, объекта или множества объектов, которые
указываются данным экземпляром использования параметризованного имени ссылки.
9.8 Смысл любых ссылок, которые появляются в “ActualParameter”, и умалчиваемый тег,
применяемый к любым появляющимся тегам, определяются в соответствии со средой тегирования
“ActualParameter”, а не “DummyReference”.
П р и м е ч а н и е —Таким образом, иарлмезрнзаиии. подобно ссылкам, селективным типам и "COM
PONENTS OF”, нс является точной текстуальной заменой.
П р и м е р
Рассмотрим следующие модули:
Ml DEFINITIONS AUTOMATIC TAGS : : = BEGIN
EXPORTS TI;
TI :: = SET {
fl INTEGER,
Г2 BOOLEAN
>
END
М2 DEFINITIONS AUTOMATIC TAGS : : = BEGIN
IMPORTS TI FROM Ml:
T3 :: = T2{T!}
T2{X| : : = SEQUENCE {
7