ГОСТ Р ИСО 10303-22-2002
Влияние на среду С’ИЛЛ
Для каждогоатрибута Object, имеющего в качестве значения экземплярагрегата. NewObjcct.values
должен включать новый экземпляр агрегата с тем же содержанием, что и Object.values
Для каждого атрибута Object, имеющего в качестве значения экземпляр объекта, NewObject.values
должен включать тот же entityJnstance. что к Objcct.values.
Множество TargetModel.contents.instances должно содержать NewObject.
В экземпляре entity_extentиз множества TargetModel.contents.folders.который имеет
значение атрибута entity_extent.definition = Object.definition.множество entity_extent.instances
должно содержатьNewObject. Тот же самый entity_extent должен быть в множестве
TargetModel.contents.populatedJolders.
10.11.2 У д а л е н и е п р и к л а д н о г о э к з е м п л я р а
Данная команда удаляет прикладной экземпляр. Удаляются все экземпляры агрегатов, создан
ных как часть этого прикладного экземпляра или аюженные экземпляры агрегатов внутри экземп
ляра агрегата, сохданного как часть удаляемого прикладного экземпляра. После выполнения
данной команды любые значения атрибутов прикладных экземпляров, определенные в
прикладных или СИДД-схемах, ссылающихся на удаляемый прикладной экземпляр, должны
вести себя так. как если бы значения данных атрибутов были не установлены (то есть команда
проверки атрибута будет возвращать FALSE, а команда удаления из области действия будет
выдавать ошибку E1_NAVL в случае, если удаляемый экземпляр входил в область действия).
Любой прикладной экземпляр, на который ссылается удаляемый прикладной экземпляр, не
изменяется.
Вход
Предмет:applicationJnstance;
удаляемый прикладной экземпляр.
Указатели возможных ошибок
TRJMRWТранзакция не имеет типа «чтение—запись*.
TR..NAVL Транзакция недоступна в текущем сеансе.
TR ЕАВ Транзакция прервана аварийно.
MX_NRWСИДД-модель недоступна в режиме «чтение—запись*.
E1_NEXS Экземпляр объекта не существует.
SY_ERRОбнаружена ошибка основной системы.
Влияние на среду СИДД
Object должен быть удален из множества sdai_modeI.contcnts.instances в СИДД-моделн, содер
жащей данный Object.
В экземпляре entity_extent из множества sdai_model.contents.folders, имеющего значение
атрибута entity_extcnt.definition = Object.definition. Object должен быть удален из множества
entity_extent.instances.
Если после этого множество entity_extent.instances становится пустым, оно должно быть удале
но из множества sdai_model.contents.populated_folders для СИДД-модели, содержащей Object.
10.11.3 У с т а н о в к а з н а ч е н и я а т р и б у т а
Данная команда присваивает значение явному атрибуту прикладного экземпляра. В случае,
когда значением заданного атрибута уже был экземпляр апзегата, данная команда должна вести
себя так. как если бы до присвоения атрибуту нового значения была выполнена команда возврата в
неустановленное значение.
Вход
11редмет:application Jnstance;
экземпляр, атрибуту которого присваивается значение.
Атрибутexplicit_attribute;
атрибут, которому присваивается значение.
Значение:assignable_primitive;
новое значение Атрибута (Attribute) в Object.
Указатели возможных ошибок
TR_NRWТранзакция не имеет типа -чтение—запись*.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR. ЕАВТранзакция прервана аварийно.
MX_NRWСИДД-модель недоступна в режиме -чтение—запись*.
72