ГОСТ Р ИСО 10303-22-2002
TR ЕЛВТранзакция прервана аварийно.
FN_NAVLФункция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.11.13 П р о в е р к а р а з м е р н о с т и а г р е г а т а
Данная команда определяет, удовлетворяет ли число элементов или значений допустимых
индексов для экземпляров массива любых атрибутов заданного прикладного экземпляра ограниче
ниям. установленным в объявленных типах этих атрибутов. Если существующая совокупность при
кладной схемы не достаточна для успешного вычисления выражения, определяющего значение
границы, должна быть выдана ошибка VA_NSET. Если реализация не обеспечивает вычисление
данного выражения, должна быть выдана ошибка EX_NSUP.
Вход
Предмет:application_instance;
экземпляр, представляющий интерес.
Несоответствия:non_persistcnt_list_instance;
если Результат (Result) FALSE, то это существующий нефиксированный
список, в который добавляются экземпляры атрибутов, элементами кото-
рых являются атрибуты, не соответствующие проверяемым требованиям.
Выхол
Результат:logicaI_value;
TRUE, если удовлетворены все ограничения размера агрегата для экземп
ляров агрегатов, имеющих значения атрибутов Предмета (Object), или Object
не имеет значений атрибутов, являющихся экземплярами агрегата. FALSE,
если по крайней мере одно ограничение размера нарушено, UNKNOWN,
если вычисленное значение выражения границы не определено или равно
UNKNOWN.
Указатели возможных ошибок
\1X_NDEFДоступ к СИДД-модели не определен.
VA_NSET Значение границы не установлено.
EI_NEXS Экземпляр объекта не существует.
A1_NEXS Список не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR..EABТранзакция прервана аварийно.
EX_NSUPВычисление выражения границы не обеспечивается данной реализацией.
FN_NAVLФункция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.11.14 П р о в е р к ау н и к а л ь н о с т и а г р е г а т о в
Данная команда определяет уникальность (однозначность) всех элементов влюбом экземпля
ре агрегата, являющимся значением какого-либо атрибута, объявленный тип которого требует на
личия уникальности. Эту проверку проводят для всех атрибутов конкретного экземпляра.
Уникаль ность определяется сравнением идентификаторов экземпляров (см. 12.2.2 ГОСТ Р ИСО
10303-11) для случаев, когда экземпляры объекта являются элементами агрегата. Если
существующая совокуп ность прикладной схемы не достаточна для успешного вычисления
выражения, определяющего значение границы, должна быть выдана ошибка VA_NSET. Если
реализация не обеспечивает вычис ление данного выражения, должна быть выдана ошибка
EX_NSUP.
Вход
Предмет:application_instance;
проверяемый экземпляр.
Несоответствия:non_persistent_listJnstance;
если Результат (Result) FALSE, то это существующий нефиксированный
список, в который добавляются экземпляры атрибутов. элементами кото-
рых являются атрибуты, не соответствующие проверяемым требованиям.
Выхол
Результат:boolean_value;
TRUE, если все ограничения уникальности удовлетворены или Предмет
(Object )не имеет экземпляров агрегата в качестве значений атрибута. FALSE,
если по крайней мере одно ограничение уникальности нарушено.
77