ГОСТ Р ИСО 10303-22-2002
Указатели возможных ошибок
SS_NOPNСеанс СИДД не открыт.
E1_NEXSЭкземпляр объекта не существует.
SI_N EXSЭкземпляр схемы не существует.
Al~NEXSЭкземпляр агрегата не существует.
RP.NOPNХранилище не открыто.
TR NAVLТранзакция недоступна в текущем сеансе.
TR_EABТранзакция прервана аварийно.
EN NAVLФункция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы,
10.6.8 П p о в е р к а э к з е м п л я р а с х е м ы
Данная команда определяет, удовлетворяет ли совокупность, связанная с экземпляром схе
мы, всем ограничениям, заданным внутри схемы, на которой основан данный экземпляр схемы.
Данная команда обновляет информацию проверки, проводимой внутри данного экземпляра
схемы.
Вход
Экземпляр:schemajnstancc;
экземпляр схемы, ограничивающий проверку.
Выход
Результат:logical_value;
TRUE, если удовлетворены все ограничения схемы, на которой основан
Экземпляр (Instance), FALSE, если нарушено какое-либо ограничение, и
UNKNOWN, если результатом проверки какого-либо ограничения являет ся
значение UNKNOWN.
Указатели возможных ошибок
SS_NOPNСеанс СИДД не открыт.
S1_NEXSЭкземпляр схемы не существует.
RP_NOPNХранилище не открыто.
TR. NAVLТранзакция недоступна в текущем сеансе.
TR. ЕАВТранзакция прервана аварийно.
TR_NRWТранзакция не имеет типа «чтение—запись».
FN_NAVL Функция не обеспечивается данной реализацией.
SY_ERR Обнаружена ошибка основной системы.
Влияние на среду СИДД
Для текущей даты должен быть установлен атрибут Instance.validation_date.
Для объекта implementation.expression level текущей реализации должен быть установлен атри
бут Instance, validationJevel.
Для объекта Результат (Result) должен быть установлен атрибут Instance.va!idation_result.
10.6.9 О п р е д е л е н и е а к т у а л ь н о с т и п р о в е р к и
Данная команда определяет, нужна ли полная проверка правильности экземпляра схемы пос
ле выполнения последней команды проверки экземпляра схемы, исходя из того, задано ли значе
ние атрибута schema_instance.validation_result или внесено какое-либо изменение в экземпляры схе
мы или СИДД-модели, связанные с этим экземпляром схемы. При не установленном результате
проверки или наличии любого изменения, данная команда определяет, что проверка не актуальна.
Вход
Экземпляр:schemajnstance;
экземпляр схемы, ограничивающий проверку.
Выход
Результат:boolean_value;
TRUE, если текущий результат проверки имеет значение TRUE и с момен та
последней проверки не обнаружено изменений ни Экземпляра (Instance), ни
элементов множества Instancc.associated_models, в противном случае —
FALSE.
Указатели возможных ошибок
SS_NOPNСеанс СИДД не открыт.
SI_NEXSЭкземпляр схемы не существует.
54