ГОСТ Р ИСО 10303-22-2002
Несоответствия:non_persistent_ILsl_instance;
если Результат (Result) FALSE, то это существующий нефиксированный
список, в который добавляются экземпляры атрибутов, элементами кото
рых являются атрибуты, не соответствующие проверяемым требованиям.
Выход
Результат:logiealvalue;
TRUE, если все строковые значения атрибутов имеют правильную шири
ну, FALSE, если по крайней мере одно строковое значение атрибута нару
шает объявленную ширину, UNKNOWN, если значение вычисленного вы
ражения для вычисляемого атрибута не определено.
Указатели возможных ошибок
MX_NDEFДоступ к СИДД-моделн не определен.
VA NSETЗначение границы массива не установлено.
E1_N’EXSЭкземпляр объекта не существует.
Al_NEXSСписок не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR_EABТранзакция прервана аварийно.
EX_NSUPВычисление выражения границы не обеспечивается данной реализацией.
FN_NAVL Функция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.11.17 П р о в е р к а ш и р и н ы д в о и ч н о г о з н а ч е н и я
Данная команда проверяет, имеют ли двоичные (BINARY) значения атрибутов заданную
ширину. Проверку проводят для всех двоичных значений атрибутов отдельного экземпляра. Если
существующая совокупность прикладной схемы не достаточна для успешного вычисления выраже
ния, определяющего значение ширины, должна быть выдана ошибка VA NSET. Если реализация не
обеспечивает вычисление данного выражения, должна быть выдана ошибка EX_NSUP.
Вход
Предмет:application_instancc;
проверяемый экземпляр.
Несоответствия:non_persistent_list_instance;
если Результат (Result) FALSE, то это существующий нефиксированный
список, в который добавляются экземпляры атрибутов, элементами кото
рых являются атрибуты, не соответствующие проверяемым требованиям.
Выход
Результат:logical_value;
TRUE, е с т все двоичные значения атрибутов имеют правильную ширину,
FALSE, если по крайней мере одно двоичное значение атрибута нарушает
объя&лепную ширину, UNKNOWN, если значение вычисленного выраже
ния для вычисляемого атрибута не определено.
Указатели возможных ошибок
MX NDEFДоступ к СИДД-моделн не определен.
VA_NSETЗначение границы не установлено.
E1_NEXSЭкземпляр объекта не существует.
AI_NEXSСписок не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR EABТранзакция прервана аварийно.
EX_NSUPВычисление выражения границы не обеспечивается данной реализацией.
FN_NAVL Функция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.11.18 П р о в е р к а т о ч н о с т и д е й с т в и т е л ь н о г о з н а ч е н и я
Данная команда проверяет, имеют ли действительные значения атрибутов заданную мини
мальную точность. Проверку проводят для всех атрибутов отдельного экземпляра, имеющих дей
ствительные значения. Если существующая совокупность прикладной схемы не достаточна для ус
пешного вычисления выражения, определяющего значение точности, должна быть выдана ошибка
VA_NSET. Если реализация не обеспечивает вычисление данного выражения, должна быть выдана
ошибка EX NSUP.
79