ГОСТ Р ИСО 10303-22-2002
76
Указатели возможных ошибок
\1X_NDEFДоступ к СИДД-модели не определен.
El_NEXSЭкземпляр объекта не существует.
/\I_NEXSСписок не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR ЕАВТранзакция прервана аварийно.
FN_NAVLФункция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.11.11 П р о в е р к а и н в е р с н ы х а т р и б у т о в
Данная команда определяет, все ли ограничения количества элементов, заданные в объявле
ниях инверсных атрибутов, удовлетворены в прикладном экземпляре.
Вход
Предмет:appIication_instancc;
проверяемый экземпляр.
Несоответствия:non_persistent_llst_instance;
если Результат (Result) FALSE, то это существующий нефиксированный
список,в который добавляются экземплярыинверсныхатрибутов
(inverse_attribute), элементами которых являются атрибуты, не соответству
ющие проверяемым требованиям.
Выход
Результат:boolean_value;
TRUE, если для Предмета (Object) удовлетворены все ограничения инвер
сного (INVERS) атрибута или Object не имеет инверсных атрибутов, FALSE,
если какие-либо ограничения инверсного атрибута нарушены.
Указатели возможных ошибок
MX_NDEFДоступ к СИДД-модели не определен.
EI_NEXSЭкземпляр объекта не существует.
Al_NEXSСписок не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR. ЕАВТранзакция прервана аварийно.
EX_NSUPВычисление выражения границы не обеспечивается данной реализацией.
FN_NAVL Функция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.11.12 П р о в е р к а с с ы л о к я в н ы х а т р и б у т о в
Данная команда определяет, все ли экземпляры объектов, являющиеся значениями атрибутов
прикладного экземпляра, имеют допустимый для этих атрибутов тип данных объекта.
Вход
Предмет:application_instance;
проверяемый экземпляр.
Несоответствия:non_persistent_list_instance;
если Результат (Result) FALSE, то это существующий нефиксированный
список, в который добавляются экземпляры атрибутов, элементами кото
рых являются атрибуты, не соответствующие проверяемых» требованиям.
Выход
Результат:logical_valuc;
TRUE, если нет атрибутов Предмета (Object), валяющихся экземплярами
объекта, имеющими значения неверного типа, или Object не имеет атрибу
тов, ссылающихся на экземпляры объектов, FALSE, если какой-либо атри
бут имеет значение, яазяюшееся экземпляром объекта неверного типа.
UNKNOWN, если значение какого-либо обязателъного явного атрибута,
являющееся ссылкой на экземпляр объекта, не установлено.
Указатели возможных ошибок
\1X_NDEFДоступ к СИДД-модели не определен.
E1_NEXSЭкземпляр объекта не существует.
AI_NEXSСписок не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.