ГОСТ Р ИСО 10303-22-2002
областей продолжается до тех пор, пока не останется прикладных экземпляров, владеющих соб
ственной вложенной областью действия и принадлежащих к заданной области. Все ссылки между
прикладными экземплярами в этих областях действия переопределяются дзя ссылок на вновь со
зданные копии данных экземпляров.
Вход
Предмет:scope;
копируемая область видимости.
ЦелеваяМодель:sdai_model;
СИДД-модель, которая должна содержать копируемые область действия и
прикладные экземпляры.
Выход
НовыйПредмет:scope;
вновь созданная область действия.
Указатели возможных ошибок
SC_NEXSОбласть действия не существует.
TR_NRWТранзакция не имеет типа «чтение—запись».
TR_NAVLТранзакция недоступна в текущем сеансе.
TR ЕЛВТранзакция прервана аварийно.
MX_NRWСИДД-модель недоступна в режиме«чтение—запись*.
MO_NEXSСИДД-модель не существует.
MO_NVLDСИДД-модель и область действия основаны на разных схемах.
FN_NAVL Функция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
Влияние на среду СИДД
Новая область действия создается вTargetModel.
Прикладной экземпляр Object.owner копируется в TargetModel и устанавливается в качестве
атрибута NewObject.owner.
Прикладные экземпляры, являющиеся элементами множества Object.owned, копируются в
TargetModel и устанавливаются в качестве элементов множества NewObject.owned.
Все атрибуты вновь созданных прикладных экземпляров со значениями экземпляров объектов
переустанавливаются так, чтобы ссылаться на копии исходных прикладных экземпляров внутри
попой области действия.
Если любые прикладные экземпляры, являющиеся элементами множества Object.owned. вла
деют собственными областями действия, тогда эти области также копируются в TargetModel.
10.8.9П р о в е р к а с с ы л о ч н ы х о г р а н и ч е н и й о б л а с т и д е й с т в и я
Данная команда определяет, какие из ссылочных ограничений всех экземпляров в области
действия указанного экземпляра будут удовлетворены. Данная функция проверяет каждый экземп
ляр в заданной области действия, а также в любой вложенной области.
Вход
Предмет:application_instance;
прикладной экземпляр, являющийся владельцем области действия.
Выход
Результат:logical_value;
TRUE, если все ограничения удовлетворены, FALSE, если нарушены огра
ничения ссылок. UNKNOWN, если любое требуемое значение явного ат
рибута не установлено при ссылке на экземпляр объекта.
Указатели возможных ошибок
EI_NEXSЭкземпляр объекта не существует.
TR NAVLТранзакция недоступна в текущем сеансе.
TR ЕЛВТранзакция прервана аварийно.
FN_NAVLФункция не обеспечивается данной реализацией.
SY ERRОбнаружена ошибка основной системы.
10.9 Команды типа
10.9.1П о л у ч е н и е о п р е д е л е н и я с л о ж н о г о о б ъ е к т а
Данная команда возвращает созданный тип сложного объекта, составленный из заданных ти
пов объекта и основанный на интерпретации конструкций AND и ANDOR языка EXPRESS
63