ГОСТ Р ИСО 10303-22-2002
Вход
Предмет:applicationjnstance;
проверяемый экземпляр.
Несоответствия:non_persistent_list_instance;
если Результат (Result) FALSE, то это существующий нефиксированный
список, в который добаатяются экземпляры атрибутов, элементами кото
рых являются атрибуты, не соответствующие проверяемым требованиям.
Выход
Результат:logical_value;
TRUE, сети все действительные значения атрибутов имеют по крайней мере
объявленную точность. FALSE, если по крайней мере одно действительное
значение атрибута нарушает объявленную точность, UNKNOWN, если зна
чение вычисленного выражения для вычисляемого атрибута не определено.
Указатели возможных ошибок
MX_NDEFДоступ к СИДД-модели не определен.
VA_NSET Значение границы не установлено.
EI_NEXS Экземпляр объекта не существует.
AI_NEXS Список не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR_EABТранзакция прервана аварийно.
EX_NSUPВычисление выражения границы не обеспечивается данной реализацией.
FN_NAVLФункция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.12 Команды агрегата экземпляров объекта
10.12.1 П о л у ч е н и е ч и с л а э л е м е н т о в
Данная команда возвращает число элементов, содержащихся в экземпляре агрегата, или, если
экземпляр агрегата является экземпляром массива, —размерность экземпляра массива.
Вход
Агрегат:aggregatejnstance;
подсчитываемый агрегат.
Выход
Результат:integer_value;
текущее число элементов в экземпляре Агрегата (Aggregate) или, если дан
ный экземпляр яатяется экземпляром массива. —его размерность.
Указатели возможных ошибок
MX_NDEFДоступ к СИДД-модели не определен.
A1_NEXSЭкземпляр агрегата не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR.EABТранзакция прервана аварийно.
SY_ERRОбнаружена ошибка основной системы.
10.12.2П р о в е р к а на в х о ж д е н и е в э к з е м п л я р а г р е г а т а
Данная команда проверяет, является ли заданное значение элементом конкретного экземпля
ра агрегата.
Вход
Агрегат:aggregate_instance;
проверяемый экземпляр агрегата.
Значение:primitive;
проверяемое значение.
Выход
Результат:boolean_value;
TRUE, если значение содержится вагрегате, в противном случае —FALSE.
Указатели возможных ошибок
\1X_NDEFДоступ к СИДД-модели не определен.
AI_NEXSЭкземпляр агрегата не существует.
TR_NAVLТранзакция недоступна в текущем сеансе.
80