ГОСТ Р И С 010303-11— 2009
ENTITY illegal
SUBTYPE OF (may_be_ok);
aatt : INTEGER;
batt : INTEGER;
WHERE
lab : batt<0:
END_ENTTTY;
10.3.6 Функция
Видимость; идентификатор функции является видимым вобласти видимости функции, процедуры,
правила или схемы, в которой он объявлен.
Область видимости; объявление функции определяет новую область видимости. Данная область ви
димости размещается от ключевого слова FUNCTION до ключевого слова END_FUNCTION. которым за
вершается объявлениеданной функции.
Объявления; следующие элементы языка EXPRESS могут объявлять идентификаторы, видимые в
области видимости объявления функции;
- константа;
-объект;
- перечисление;
- функция;
- параметр;
- процедура;
-тип;
- метка типа;
- переменная.
Пример — Приведенный ниже фрагмент некорректен, поскольку идентификатор формального
параметра рагт используется одновременно и как идентификатор локальной переменной.
FUNCTION iltegal(parm : REAL) : LOGICAL;
LOCAL
parm : STRING;
ENDLOCAL;
END_FUNCTION;
10.3.7 Параметр
Видимость; идентификаторформального параметра является видимым вобласти видимости функции
или процедуры, в которой он объявлен.
10.3.8 Процедура
Видимость; идентификатор процедуры является видимым вобласти видимости функции, процедуры,
правила или схемы, в которой он объявлен.
Область видимости; объявление процедуры определяет новую область видимости. Данная об
ласть видимости размещается от ключевого слова PROCEDURE до ключевого слова END_PROCEDURE,
которым завершается объявление процедуры.
Объявления; следующие элементы языка EXPRESS могут объявлять идентификаторы вобласти ви
димости объявления процедуры:
- константа;
-объект;
- перечисление:
- функция;
- параметр;
-процедура;
-тип;
- метка типа;
- переменная.
10.3.9 Выражение QUERY
Выражение QUERY определено в 12.6.7.
Видимость: идентификатор, неявно объявленный ввыражении QUERY, является видимым вобласти
видимости, определенной данным выражением.
62