ГОСТ Р И С 0 10303-11 — 2009
11 Спецификация интерфейсов
Вданном разделе определены конструкции, позволяющие элементам, объявленным водной схеме,
быть видимыми вдругой схеме. Существуютдве спецификации интерфейсов (USE и REFERENCE), обес
печивающие видимость элементов. Спецификация интерфейса USE позволяет элементам, объявленным в
одной схеме, получить независимую реализацию в схеме, в которой определена конструкция USE.
Экземпляробъекта считается независимым, если он не играет роль, предписанную атрибутом любого
другого экземпляра объекта, то есть функция ROLESOF (см. 15.20). примененная к независимому экземп
ляру объекта, выдаст в качестве результата пустое множество. Тип данных объекта, объявленного всхеме
локально или с использованием интерфейса USE. может быть реализован независимо или играть роль,
предписанную атрибутом объекта вданной схеме.
Объект, объявленный посредством интерфейса REFERENCE или неявного интерфейса, должен быть
реализован толькодля выполнения роли, предписанной атрибутом реализации объекта всхеме.
Синтаксис:
242 interface_specification = reference_clause | use_clause.
Внешним объявлением является любое объявление (например, объекта), присутствующее во
внешней схеме (в любой схеме, отличной от данной схемы).
Другое различие между двумя формами интерфейса состоит в том. что интерфейс USE применим
только к именованным типам данных (объектным типам данных и определенным типам данных), а
интерфейс REFERENCE применим ко всем объявлениям, за исключением правил и схем.
Внешнему элементу языка EXPRESS вданной схеме может быть присвоено новое имя. На внешний
элемент языка EXPRESS в данной схеме следует ссылаться по его новому имени, если оно задано
после ключевого слова AS.
11.1 Спецификация интерфейса USE
Объектный или определенный типданных, объявленный во внешней схеме, может быть сделан дос
тупным вданной схеме посредством интерфейса USE. Спецификация интерфейса USE задает имя внеш
ней схемы и. факультативно, объявленные в ней имена объектных или определенных типов данных. Если не
указан элемент named_types. то все именованные типы данных, объявленные явно или посредством
интерфейса USE во внешней схеме, трактуются как объявленные локально вданной схеме.
Синтаксис:
336 use_clause = USE FROM schema_ref ( ’ ( * named_type_or_rename
{*,’ namedjype_or_renam e) ’) ’ ] *:’.
259 namedjype_or_rename = named_types (AS ( entityJd | typeJ d ) ].
11.2 Спецификация интерфейса REFERENCE
Спецификация интерфейса REFERENCE позволяет сделать видимыми вданной схеме следующие
элементы языка EXPRESS, объявленные во внешней схеме:
- константа;
-объект;
- функция;
- процедура;
-тип.
Спецификация интерфейса REFERENCE задает имя внешней схемы и. факультативно, объявлен
ные в ней имена элементов языка EXPRESS. Если имена не заданы, то все элементы языка EXPRESS,
объявленные явно или посредством интерфейса USE во внешней схеме, являются видимыми в
данной схеме.
Синтаксис:
281 reference_dause = REFERENCE FROM schema_ref [ ’ ( ’ resource_or_rename
{ ’, ’ resource_or_rename} ’ )’ ] ’; *.
288 resource_or_rename = resource_ref [ AS renameJd ].
289 resource_ref = constant_ref | entity_ref | function_ref |procedure_ref |type_ref.
284 renameJd = constantjd | entityJd | function_id | procedurejd | typeJd .
65