ГОСТ Р ИСО 10303-22—2002
Указатели возможных ошибок
\1X_NDEFДоступ к СИДД-модели не определен.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR. ЕЛВ Транзакция прервана аварийно.
E1_NEXSЭкземпляр объекта не существует.
FN_NAVLФункция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.10.5О п р е д е л е н и е с о о т в е т с т в и я э к з е м п л я р а з а д а н н о м у т и п у
Данная команда определяет, является ли entityjnstance экземпляром точно заданного типа
данных объекта, а не одного из его подтипов, или экземпляром типа данных объекта, определенно го
эквивалентным по области значений с точно заданным типом объекта через экземпляр
domain_equivalent Jype (см. 6.4.8 и приложение Л).
Вход
Предмет:entityjnstance;
проверяемый экземпляр объекта.
Тип:entity_definition;
тип объекта, на принадлежность которому проверяется Object.
Выход
Результат:boolean_value;
TRUE, если тип Object является тем же самым, что и Туре, или если тип
Object начнется эквивалентным по области значений Туре, как это опреде
лено экземпляром domain_cquivalent Jype в собственной схеме Type, FALSE
- в противном случае.
Указатели возможных ошибок
MX_NDEFДоступ к СИДД-модели не определен.
TRJMAVLТранзакция недоступна в текущем сеансе.
TR ЕЛВТранзакция прервана аварийно.
ED_NDEFОпределение объекта не установлено.
E1_NEXSЭкземпляр объекта не существует.
FN_NAVLФункция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.10.6 О п р е д е л е н и ес о о т в е т с т в и яэ к з е м п л я р ат и п уп р и к л а д-
н о й с х е м ы
Данная команда определяет, яачяется ли entityjnstance экземпляром конкрелсого типа или
одного из его подтипов, включая случай, когда подтип является составной частью сложного подти па.
Отношение подтипа должно быть определено исключительно на основе информации из при
кладных схем.
Вход
Предмет:entityjnstance;
проверяемый экземпляр объекта.
Тип:entity_dcfinition;
тип объекта, на принадлежность которому проверяется Object.
Выход
Результат:boolean_value;
TRUE, если Object является экземпляром того же типа объекта, что и Туре,
или его подтипа, или существуют типы А и В, такие, что А эквивалентен
по области значений типу В, a Object является экземпляром типа А, игно
рирующим эквивалентностьобласти значений, и В является подтипом Туре,
FALSE — в противном случае.
Указатели возможных ошибок
\1X_NDEFДоступ к СИДД-модели не определен.
TR_NAVLТранзакция недоступна в текущем сеансе.
TR_EABТранзакция прервана аварийно.
EDJMDEFОпределение объекта не установлено.
E1_NEXSЭкземпляр объекта не существует.
67