ГОСТ Р ИСО 10303-22-2002
шать то же описание втекущем сеансе СИДД. Для реализаций, в которых прикладные экземпляры
существуют в файлах, закодированных согласно ГОСТ Р ИСО 10303-21, форма описания должна
быть следующей: имя прикладного экземпляра, затем пробел, потом имя файла, содержащего при
кладной экземпляр.
Вход
Предмет:applicationjn.stance;
прикладной экземпляр, для которого запрашивается описание.
Выход
Метка: string_valee;
описание Object.
Указатели возможных ошибок
TR NEXSТранзакция не открыта.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR_EABТранзакция прервана аварийно.
RP.NOPNХранилище не открыто.
E1_NEXSЭкземпляр объекта не существует.
SYJERRОбнаружена ошибка основной системы.
10.11.9 П р о в е р к а п р а в и л а «were»
Данная команда проверяет, удовлетворено ли правило «were» для заданного прикладного эк
земпляра. Это правило может быть объявлено явно как часть entity_definition. на котором основан
прикладной экземпляр, или в denned_type. ограничивающем значение атрибута, объявленного выше
вentity definition.
Вход
Предмет:applicationjnstance;
проверяемый экземпляр.
Правило:where_rule;
правило «where», проверяемое для Object.
Выход
Результат:ioftical_vaIue;
TRUE, если Правило (Rule) удовлетворено, FALSE, если Rule нарушено,
и UNKNOWN, если значение вычисленного выражения не определено или
равно UNKNOWN.
Указатели возможных ошибок
MXJ4DEFДоступ к СИДД-моделн не определен.
RU_NEXSПравило не определено.
EMMEXSЭкземпляр объекта не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR_EABТранзакция прервана аварийно.
EXNSUPВычисление выражения индекса не обеспечивается данной реализацией.
FN_NAVL Функция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.11.10П р о в е р к а н а л и ч и я з н а ч е н и й у я в н ы х а т р и б у т о в
Данная команда определяет, имеют ли значения все требуемые явные атрибуты прикладного
экземпляра.
Вход
Предмет:applicationjnstance;
проверяемый экземпляр.
Несоответствия:non_persistent_list_instance;
если Результат (Result) FALSE, то это существующий нефиксированный
список, в который добавляются экземпляры атрибутов, не соответствую-
шие проверяемым требованиям.
Выход
Результат:boolean_value;
TRUE, если все обязательные атрибуты Предмета (Object) имеют значения
или Object не имеет обязательных атрибутов, FALSE, если какой-либо обя
зательный атрибут не имеет значения в Object.
5-i*75