ГОСТ Р ИСО 10303-22-2002
TRUE, если Туре тот же, что и СотрТурс или является его подтипом, или
существуют типы А и В. такие, что Л эквивалентен по области значений
типу В. Туре является подтипом А, а В — подтипом СошрТуре, в против
ном случае — FALSE.
Указатели возможных ошибок
SS_NOPNСеанс СИДД не открыт.
ED_NDEFОпределение объекта не задано.
FN_NAVLФункция не обеспечивается данной реализацией.
SYJERRОбнаружена ошибка основной системы.
10.9.4 П р о в е р к а э к в и в а л е н т н о с т и о б л а с т е й з н а ч е н и й
Данная команда определяет, является ли тип данных объекта эквивалентным по области зна
чений с другим типом данных объекта.
Вход
Тип:entity_definition;
проверяемый тип данных объекта.
СравннваемыйТнп: entity_definition;
тип данных объекта, с которым проводится сравнение.
Выход
Результат:boolean_value;
TRUE, если Туре эквивалентен СошрТуре или является его подтипом, или
экземпляр extemal_schema, связанный с schema_definition собственной схемы
СошрТуре. определяет Туреэквивалентным по области значений СошрТуре.
в противном случае — FALSE.
Указатели возможных ошибок
SS_NOPNСеанс СИДД не открыт.
ED_NDEFОпределение объекта не задано.
FN_NAVLФункция не обеспечивается данной реализацией.
SY_ERRОбнаружена ошибка основной системы.
10.10 Команды экземпляров объектов
10.10.1 П о л у ч е н и е з н а ч е н и я а т р и б у т а
Данная команда возвращает значение атрибута entity_instance. Если не существует значения
атрибута (потому, что никогда не было ни задано или ни возвращено в неустановленное значение,
независимо от того, является ли атрибут необязательным или нет), возвращаемое значение не оп
ределяется настоящим стандартом, и должна быть выдана ошибка VA_NSET.
Если интересующий атрибут является explicit_attribute с значением экземпляра агрегата, дан
ная команда возвращает идентификатор этого aggreftatejnstance. Если атрибут является вычисляе
мым <derived_attribute) и вводится выражение для его представления, значение вычисляется и воз
вращается в соответствии с этим выражением. Если результат вычисления яазяется агрегатом (воз
можно вложенным), тогда должен быть создан нефиксированный список (возможно вложенный) и
возвращен его идентификатор. В результате для любого вложенного агрегата должен быть создан
нефиксированный список. Если результат вычисления не определен, должна быть выдана ошибка
VA_NSET. Если атрибут является инверсным (inverse_attributc) и реализация обеспечивает доступ
к нему, создается нефиксированный список, содержащий идентификаторы ссылочных
экземпляров объектов, и возвращается его идентификатор. Если ссылочные экземпляры объектов
отсутствуют, нефиксированный список должен быть пустым. Если не обеспечивается выражение для
вычисления или доступ к derived_attribute. должна быть выдана ошибка FN_NAVL.
Вхол
Предмет:entityJnstance;
экземпляр объекта, из которого получают значение атрибута.
Атрибут:attribute;
атрибут, представляющий интерес.
Выход
Значение:primitive;
значение Attribute в Object.
65