ГОСТ Р ИСО/ТО 10303-12-2000
11.2.1 Общие правила видимости
Приведенные ниже общие правила применимы ко всем идентификаторам, за исключением
идентификаторов поименованных типов данных, на которые правило d) не распространяется.
Правила и ограничения
a)Идентификатор видим в области действия, в которой он объявляется. Эта область дей
ствия называется локальной областью действия идентификатора.
b
)Идентификатор видим в конкретной области действия, он также видим во всех областях
действия, определяемых внутри данной области, согласно правилу d).
c)Идентификатор не видим ни в одной области действия за пределами его локальной об
ласти действия, согласно правилу 0-
d)Если идентификатор /, видимый в области действия Р, переобъявляется в некоторой
внутренней области Q. заключенной в /’, только /. объявленный в области действия Q, видим в Q
и областях действия, объявленных внутри Q. Идентификатор /, объявленный в области действия
/\ видим в Р и любых внутренних областях действия, не переобъявляюшнх /.
e)Встроенные константы, функции, процедуры и типы EXPRESS-1 считаются объявлен
ными в воображаемой универсальной области действия. Все области действия EXPRESS-1 явля
ются вложенными в эту область действия. Идентификаторы, по которым ссылаются на вегроен-ные
константы, функции, процедуры и типы EXPRESS-I. видимы во всех областях действия, оп
ределяемых EXPRESS-!.
0Идентификаторы элементов перечисления, объявленные внутри области определенного
типа данных, видимы в следующей внешней области действия, если она не содержит объявления
этого же идентификатора для другого элемента.
П р и м е ч а н и е - Если следующая внешняя область действия содержит объявление того же иденти
фикатора, элементы перечисления остаются доступными, но должны иметь префиксом идентификатор оп
ределенного типа данных.
g)Некоторые EXPRESS-1-объявления, обычно не видимые, могут быть сделаны видимы
ми с помощью спецификаций интерфейса (см. раздел 10).
11.2.2 Правилавидимостиид ен т и ф и к ат о р ап о и м ен о в а н н о г отипа
данных
За одним исключением, идентификаторы поименованных типов данных подчиняются тем
же правилам видимости, что и другие идентификаторы. Этим исключением япляется правило ви
димости d). Идентификатор объекта или определенного типа данных /, объявленный в
области действия Р. остается видимым во внутренней области Q, даже если он
переопределяется в Q од ним из следующих способов:
a) область действия Q определяется обьявлением объекта, a i объявляется как атрибут в
этой области действия;
b
) область действия Q определяется объяатением функции, процедуры или контекста, а /
объявляется как формальный параметр или переменная в этой области действия.
Г1р и ме р 47 - В entity1 d относится как к типу данных объекта, так и к атрибуту.
FUNCTION example (par : INTEGER): INTEGER;
ENTITY d;
atirl : REAL;
END_ENTITY;
ENTITY entity 1:
d : d; • • d в данной области действия яатяется и объектом и атрибутом.
END_ENTITY;
EN D _FU NOTION;
11.3 Правила для явного элемента
В последующих пунктах настоящего подраздела более детально показано, как общие прави
ла области действия и видимости применяются к различным элементам EXPRESS-1.
В EXPRESS-I используется многое из языка EXPRESS. Правила области действия и види
мости для большинства этих элементов EXPRESS внутри EXPRESS-I идентичны правилам EX
PRESS, определенным в ГОСТ Р ИСО 10303-11. В таблице И определены эти элементы. Кроме
того, в таблице II определены элементы, общие для EXPRESS и EXPRESS-1, для которых ЕХ-
27