ГОСТ Р И С 0 10303-11 — 2009
- перечисление:
- функция;
- процедура;
- правило;
-ограничение подтипа;
-тип.
Пример— Приведенный ниже фрагмент некорректен по двум причинам. Во-первых, идентифи
катор adef импортирован в схему посредством оператора USE, но повторно объявлен как имя типа.
Во-вторых, имя fdef использовано как идентификатор в двух объявлениях (относящихсяк объекту и к
функции, хотя тип элемента является несущественным).
SCHEMA incorrect;
USE FROM another_schema (adef);
FUNCTION fdef(parm : NUMBER) : INTEGER;
END_FUNCTK)N;
TYPE adef = STRING;
ENDTYPE;
ENTITY fdef;
END_ENTTTY;
END_SCHEMA:
10.3.14 Ограничение подтипа
Видимость: идентификатор ограничения подтипа является видимым вобласти видимости схемы, в
которой он объявлен.
П р и м е ч а н и е — Идентификатор ограничения подтипа гложет использоваться в реализациях и в
метке комментария (см. 7.1.6.3).
Область видимости: ограничение подтипа расширяет область видимости объекта, для которого он
объявлен. Данноерасширение области видимости размещаетсяот ключевого слова SUBTYPE_CONSTRAINT
до ключевого слова END_SUBTYPE_CONSTRAINT. которым завершается объявление данного ограниче
ния подтипа.
10.3.15Тип
Видимость: идентификатор типа является видимым в области видимости функции, процедуры,
правила или схемы, в которой он объявлен. Идентификатор типа остается видимым при условиях,
определенных в 10.2, во внутренних областях видимости, в которых данный идентификатор объявляется
повторно.
Область видимости: объявление типа создает новую область видимости. Данная область видимости
размещается от ключевого слова TYPE до ключевого слова ENDJTYPE, которым завершается объявление
данного типа.
Объявления: следующие элементы языка EXPRESS могут объявлять идентификаторы, видимые в
области видимости объявления типа:
- перечисление:
- метка правила (правилообласти определения).
10.3.16 Метка типа
Видимость: метка типа является видимой в области видимости объекта и всех подтипов данного
объекта, функции или процедуры, вкоторой она объявлена. Метка типа неявно объявляется при первом ее
появлении в области видимости. В функциях и процедурах первое появление метки типа должно иметь
место вспецификации формального параметра. На объявленную таким образом меткутипа можноссылать ся
где-либо вдругом месте вспецификации формального параметра или в локальных объявлениях функ ции
или процедуры. Если метка типа объявлена вфункции, то на метку типа можно ссылаться вспецифика ции
типа результата функции.
10.3.17 Переменная
Видимость: идентификатор переменной является видимым вобласти видимости функции, процедуры
или правила, вкоторой он объявлен.
64