Внешнее объявление может ссылаться на идентификаторы, которые не являются видимыми в данной схеме. Такие элементы языка EXPRESS, на которые даны неявные ссылки, требуются для полного понимания данной схемы, но они не видимы для элементов языка EXPRESS, объявленных в данной схеме. Каждый импортированный неявно элемент может в свою очередь ссылаться на другие элементы языка EXPRESS, которые не являются видимыми в данной схеме; такие элементы языка EXPRESS также требуются для полного понимания данной схемы.
Пример - Неявно импортированные элементы и связывание неявных интерфейсов в цепочки.
SCHEMA s1; | |||||
TYPE t1 = REAL; | |||||
a : t1; | |||||
END_ENTITY; | |||||
a1 : e1; | |||||
END_ENTITY; | |||||
END_SCHEMA; | |||||
REFERENCE FROM s1 (e2); | |||||
а3 : е2; | |||||
END_ENTITY; | |||||
END_SCHEMA; |
Объект е2 используется как тип данных атрибута а3. Поскольку в определении объекта е2 требуется e1, то объект e1 неявно импортируется схемой s2. Однако поскольку e1 не был импортирован в схему s2 в явной форме, то e1 не может использоваться в схеме s2. Аналогично, в определении объекта e1 требуется t1; поэтому t1 неявно импортируется схемой s2.
В последующих пунктах термин "импортирован" используется для обозначения понятий "импортирован посредством интерфейса USE", "импортирован посредством интерфейса REFERENCE" или "неявно импортирован".