ГОСТ Р ИСО 10303-11— 2009
Примеры
1 Тип данных SUPERTYPE ENTITY не импортирует неявнолюбые подтипы данного объекта.
2Выбираемый тип данных не импортирует неявнолюбой из своих элементов выбора.
3 Правило не импортирует неявно любые обмктные типы данных, указанные в его списке пара
метров.
Вследствие ограничений на неявные интерфейсы в схеме artifact могутсуществовать объявления, не явля
ющиеся ссылочно полными.
Выражения ограничений супертипов должны быть сокращены в соответствии с приложением С.
Правило {оператор RULE), в котором не все параметры являются видимыми, должно быть сокращено
посредством удаления всех невидимых параметров и относящихся к ним помеченных комментариев.
Правило может вызывать функции и процедуры. Любая функция или процедура в схеме artifact, которая не
вызывается каким-либо объявлением из данной схемы, должна быть удалена, включая ее помеченные коммен
тарии.
Выбираемый тип данных должен быть сокращен посредством удаления из списка выбора всех выбирае
мых элементов, невидимых в схеме artifact.
П р и м е ч а н и е — Сокращение выбираемого типа данных может привести в результате к пустому списку
выбора.
Удаляют все спецификации интерфейсов REFERENCE.
П р и м е ч а н и е — На данном этапе схема artifact должна быть ссылочно полной. Все объявления, кроме
объявлений из исходной схемы или объявлений, импортированных в исходную схему посредством оператора
USE, должны быть необходимыми для обеспечения ссылочной полноты исходных объявлений.
Примеры
1Данный пример иллюстрирует сокращение выбираемого типаданных. Исходная модель состоит
из двух схем:
SCHEMA export:
TYPE attachment_method = EXTENSIBLE SELECT (nail, screw):
END_TYPE;
ENTITY nail;
END_ENTITY;
ENTITY screw:
END_ENTITY;
END_SCHEMA; — конец схемы export
SCHEMA import:
USE FROM export (attachment_method,
nail);
TYPE permanent_attachment = SELECT BASED_ON attachment_method WITH
(glue, weld):
END_TYPE;
TYPE simple_attachment = SELECT BASED_ON attachment_method WITH
(needle, tape);
END_TYPE;
- - объявления объектов glue идругих
END_SCHEMA; — конец схемы import
Схема import используется в качестве корневой схемы. Объект screw как явно, так и неявно не
импортирован в схему import, поэтому он не присутствует в промежуточной схеме, которая имеет
следующий вид:
SCHEMA artifact:
TYPE attachment_method = EXTENSIBLE SELECT (nail);
END_TYPE;
ENTITY nail;
END_ENTITY;
TYPE permanent_attachment = SELECT BASED_ON attachment_method WITH
(glue, weld);
END_TYPE;
TYPE simple_attachment = SELECT BASED_ON attachment_method WITH
(needle, tape);
END_TYPE;
- - объявления объектов glue идругих
166