ГОСТ Р ИСО/ТО 10303-12-2000
2 Метка правила используется только в реализации. EXPRESS-I нс определяет механизма для ссылок
на метки правила.
11.3.17 Э к зе м пл я р данных схемы
Область действия: Объявление данных схемы определяет новую область действия. Эта об
ластьпростираетсяотключевогословаSCHEMADATAдоключевогослова
END_SCHEMA DATA, которым заканчивается объявление данных схемы.
Объявления: Следующие элементы могут объявлять идентификаторы в области действия
объявления данных схемы:
- экземпляр константы;
- экземпляр объекта;
- экземпляр перечисления;
- экземпляр выбора;
- простой экземпляр;
- экземпляр типа.
11.3.18Э кзем п ляр выбора
Видимость: Идентификатор экземпляра выбора видим в области действия экземпляра дан
ных схемы, в котором он объявлен, и в любой внешней области действия этого экземпляра дан
ных схемы.
11.3.19 И ростой экземпляр
Видимость: Идентификатор простого экземпляра видим в области действия экземпляра дан
ных схемы, в котором он объявлен, и в любой внешней области действия этого экземпляра дан
ных схемы.
11.3.20 Контрол ьи ы Й пример
Область действия: Контрольный пример определяет новую область действия. Эта область
действия простирается от ключевого слова TEST_CASE до ключевого слова END_TEST_CASE,
которым заканчивается данный контрольный пример.
Объявления: Следующие элементы могут объявлять идентификаторы в области действия
контрольного примера:
-функция;
- процедура;
- переменная.
11.3.21 Тип
Видимость: Идентификатор типа видим в области действия функции или процедуры, в ко
торой он объявлен. Идентификатор типа остается видимым, при определенных условиях, во
внутренних областях действия, переобъявляющих этот идентификатор; для определения допусти
мых условий —см. 11.2.2.
П р и м е ч а н и е - EXPRESS-спецификация (10.3.14 ГОСТ Р ИСО 10303-11) гласит: идентификатор
типа видим в облает действия функции, процедуры, правила или схемы, в которых он объявлен. Иденти
фикатор типа остается видимым ....
Область действия и объявления: Область действия и допустимые объявления определены в
ГОСТ Р ИСО 10303-11.
11.3.22 Э кзем п ля р типа
Видимость: Идентификатор экземпляр типа видим в области действия экземпляра данных
схемы, в котором он объяатен. и в любой внешней области действия этого экземпляра данных
схемы.
11.3.23 Метка типа
Область действия и видимость определены в 10.3.15 ГОСТ Р ИСО 10303-11.
11.3.24 П еременная
Видимость: Идентификатор переменной видим в области действия функции, процедуры или
контрольного примера, п которых он объявлен.
П р и м е ч а н и е - EXPRESS-спсиификацмя (10.3.16 ГОСТ Р ИСО 10303-11) гласит: идентификатор
переменной видим в области действия функции, процедуры или правила, в которых он объявлен.
31