ГОСТ Р ИСО/ТО 10303-12-2000
... END.TYPE;
... END_TYPE;
TYPE type 19 =
TYPE type21 =
END_SCHEMA;
Тогда следующая конструкция обозначает два объекта и один тип из схемы a_schema.
WITH a_schema USING (entityI, entity?, type21);
10.3 Ссылки на .чанные контекста
Элементы из CONTEXT могут быть импортированы в TEST.CASE, а фактические значения
могут быть заданы для формальных параметров в CONTEXT
Синтаксис:
141i UseContext Block = CALL ContextRefUseCont extBody END_CALL.
36iContextRef = Context Id .
142i UseContext Body = | ImportSpec | | ParameterSpec | .
84iImportSpec = IMPORT ’(’ { Assignment } ’)’.
47i Assignment = variablejd ’:=* Selectable InstanceRef .
10H ParameterSpec = WITH *(’ { Actual Parameter } ’)’.
113i Selectable InstanceRef = EntitylnstanceRef | EnumerationlnstanceRef |
Select InstanceRef j TypeInstance Ref .
Конкретный CONTEXT обозначается посредством оператора CALL.
Экземпляры предметов, представляющие интерес для контрольного примера и существую
щие в CONTEXT, обозначаются в списке IMPORT. Каждое значение экземпляра должно быть
присвоено переменной.
Значения формальных параметров в CONTEXT (при их наличии) задаются посредством
списка WITH. Эти значения должны отменять значения обозначенных параметров, принятые по
умолчанию (при их наличии).
Пример 46 —Спецификация CALL
CALL a context:
IMPORT (ent_var := @ent_21;
ent_27 := @ent_27;);
WITH (ivl := 771;
a_set := | ’alpha’, ’to’. ’omega’I;);
END.CALL;
11 Область действия н видимость
Объявление EXPRESS-1 создает идентификатор, который можно использовать для ссылки
на объяатениый элемент в других контекстах. Некоторые конструкции EXPRESS-I неявно объяв
ляют элементы EXPRESS путем добавления к ним идентификаторов. В тех областях, где на
иден тификатор объявленного элемента можно ссылаться, объявленный элемент называется
видимым. На элемент можно ссылаться только там. где идентификатор видим. Относительно
правил види мости см. 11.2.
Некоторые элементы EXPRESS-1 определяют участок (блок) текста, называемый областью
действия элемента. Эта область действия ограничивает видимость объявленных в ней идентифи
каторов. Облает действия могут быть вложенными; это значит, что элемент EXPRESS-I, уста-
навливающий область действия, может быть включен в область действия другого элемента. Име ются
ограничения на перечень элементов, которые могут появиться внутри области действия
конкретного элемента EXPRESS-I. Эти ограничения обычно устанавливаются синтаксисом EX
PRESS-1(см. приложение А).
Для каждого из элементов, установленных в таблицах 9 и 10, последующие подразделы на
стоящего раздела устанавливают границы определяемой области действия (при их наличии) и ви
димость объявтяемого идентификатора как в общих терминах, так и в конкретных деталях.
25