ГОСТ Р И С 0 10303-11 — 2009
ENTITY student
SUBTYPE OF (person):
END_ENTTTY;
97.3.3 AND
Ограничение AND,определенное в Э.2.5.4.может быть объявлено в ограничении
SUBTYPE_CONSTRAINT.
Пример — Личность (объект person) может быть классифицирована как мужчина (объект
male) или как женщина (объект female), но также может быть классифицирована как гражданин
(объект citizen) или иностранец (объект alien).
ENTITY person
END.ENTITY:
SUBTYPE CONSTRAINT no_mixing FOR person;
SUPERTYPE OF
(ONEOF(male, female) AND
ONEOF(citizen, alien));
ENDSUBTYPECONSTRAJNT:
ENTITY male
SUBTYPE OF (person):
END_ENTITY:
ENTITY female
SUBTYPE OF (person):
END_ENTITY:
ENTITY citizen
SUBTYPE OF (person):
END_ENTITY:
ENTITY alien
SUBTYPE OF (person):
END_ENTITY:
10 Область видимости и видимость
В языке EXPRESS объявление создает идентификатор, который может быть использовандля ссылок
на объявленный элемент вдругих частях данной схемы (или вдругих схемах). В некоторых конструкциях
языка EXPRESS неявно объявляются элементы языка с присваиванием им идентификаторов. Считается,
что в тех местах, где может указываться ссылка на идентификатор объявленного элемента, данный
объяв ленный элемент является видимым. На элемент может бытьдана ссылка только там, где его
идентификатор является видимым. Правила видимости определены в 10.2. Более подробная
информация о ссылках на элементы с использованием их идентификаторов приведена в 12.7.
Совокупность элементов языка EXPRESS образует область (блок) текста, называемый областью ви
димости данного элемента. Данная область видимости ограничивает видимостьобъявленных вней иденти
фикаторов. Области видимости могут быть вложенными, то есть элемент языка EXPRESS, имеющий свою
область видимости, может быть включен вобласть видимости другого элемента. Существуютограничения, в
соответствии с которыми элементы могут появляться вобласти видимости конкретного элемента языка
EXPRESS. Данные ограничения, как правило, определяются синтаксисом языка EXPRESS (см. приложе ние
А).
Для каждого из элементов языка, представленных в таблице 9. в последующих подразделах установ
лены границы его области видимости (при ее существовании) и видимостьобъявленного идентификатора
как вобщих терминах, так и с конкретными деталями.
10.1 Правила области видимости
Ниже приведены общие правила, применимые ко всем формам определения области видимости,
допустимым в языке EXPRESS. Перечень элементов языка, определяющих области видимости, приведен
втаблице9.
58