ГОСТ Р ИСО/ТО 10303-12-2000
11.3.6 Объект
Видимость: Идентификатор объекта видим в области действия функции или процедуры, в
которой он объявлен. Идентификатор объекта остается видимым при условиях, определенных в
11.2.2. во внутренних областях действия, которые переобъявляют этот идентификатор.
Примечание - EXPRESS-спецификацня (10.3.5 ГОСТ Р ИСО 10303-11) гласит: идентификатор
объекта видим в области действия функции, процедуры, правила или схемы, в которых он объявлен. Иден
тификатор объекта остается видимым ....
Область действия и объявления: Область действия и допустимые объявления определены в
ГОСТ 1»ИСО 10303-11.
П ример 48 - Идентификаторы атрибута ball в двух объектах не взаимосвязаны, поскольку
они объявлены вдвух разных областях действия.
ENTITY entityI;
aatt : INTEGER:
batt : INTEGER;
END_ENTITY:
ENTITY entity2;
a: entity1;
batt: INTEGER;
ENDJENTITY;
Пример 49 - Следующая спецификация является неправильной, так как идентификатор
атрибута aatt повторяется внутри области действия одного объекта. Хотя метка правила lab объ
явлена в обоих объектах, это не нарушает правил области действия или видимости, объявление
объекта may_be_ok по видимо в объекте illegal, но правила обоих областей значений должны быть
проверены.
ENTITY may_be_ok;
quantity : REAL;
WHERE
lab : quantity >= 0.0:
END_ENT1TY:
ENTITY illegal
SUBTYPE OF (may be ok);
aatt : INTEGER:
batt : INTEGER;
aatt : REAL:
WHERE
lab : bait < 0;
END_ENTITY:
11.3.7 Э кземпляр объекта
Видимость: Идентификатор экземпляра объекта видим в области действия экземпляра дан
ных схемы, в котором он объявлен, и в любой внешней области действия этого экземпляра дан
ных схемы.
11.3.8 Элемент перечисления
Видимость: Идентификатор элемента перечисления видим в области действия функции или
процедуры, в которой объявлен его тип. Это является исключением из правила видимости 11.2.If.
Идентификатор не должен объявляться с какой-либо иной целью в этой области действия, за ис
ключением объявления другого перечисляемого типа данных в той же области действия. Если
один и тот же идентификатор объявляется двумя перечисляемыми типами данных как элемент
перечисления, к ссылке на каждый элемент перечисления должен быть добавлен префикс в виде
идентификатора типа данных для обеспечения однозначности ссылки.
Примечание —EXPRESS-спсннфиканин (10.3.4 ГОСТ Р ИСО 10303-11) гласит: идентификатор
элемента перечисления видим в области действия функции, процедуры, правила или схемы, в которой объ
явлен сто тип. Эго является исключением ....
29