ГОСТ Р ИСО 10303-21-2002
SUBTYPE OF (а);
aurib_b : REAL:----------------------------> В
END_ENT1TY:
ENTITY c SUBTYPE OF (a);---------------> C
attrib_c : REAL:
END_ENTITY:
ENTITY d SUBTYPE OF (b);
-------------
> D
attrib_d: x;
END_ENTITY:
ENTITY c ABSTRACT SUPERTYPE
SUBTYPE OF (b);----------------------->A
aitrib_c : x;------------------------------------->В
END_ENTITY:
ENTITY f SUPERTYPE OF (h);
attrib_f: x;-------------------------------------- >В
END_ENTITY:
ENTITY g SUBTYPE OF (c):------------------ >E
aitrib_g: INTEGER;
END_ENTITY;
ENTITY h SUBTYPE OF (c. 0 :------------> E
attrib_h: INTEGER;
END_ENTITY:
А: поскольку объекты a n eявляются абстрактными супсртипами. они не могутприсутствоватьвструктуре
обмена в виде самостоятельных экземпляров.
В: поскольку attrib_a, attrib_b, atlrib_c, п altrib_f являются атрибутами объектов супертипа, они будут
отображены как унаследованные атрибуты втом случае, если при отображении подтипа применено внутреннее
отображение. Эти атрибуты будутотображены как атрибуты объектов, в которых они обьяатены. сети подтип
отображен с использованием внешнею отображения.
С: поскольку объект с участвует в операторе ONEOF, а ею супертип нс участвует ни в каких операторах
с супсртипами. для объекта с будет использовано внутреннее отображение.
D; отображение d зависит от структуры определяемого множества, в котором оно появляется.
Е: поскольку объекты g и Л имеют супертип (объект е), который участвует в операторе ANDOR. их
отображение будет зависеть от структуры определяемого множества, в котором они появились.
3 Экземпляр объекта, показывающий внутреннее отображение.
«I = Х(1);
»2 - С(#1, 2.0);
Л
А
Л
А В С
А: определяемым множеством для ’“2‘ является |с & а| и. следовательно, используется внутреннее
отображение.
В:attrib_a унаследован типом данных объекта с. Определяемое множество является ссылкой на экземпляр
тина данных объекта лг.
С: attrib_c появляется после всех унаследованных атрибутов.
4 Экземпляр объекта, показывающий внутреннее отображение.
Я4 - Х(3);
#1 = Х(1):
»2 « D(*l. 2.0. «4);
Д А Л А
А В С D
А: поскольку экземпляр объекта #2 принадлежит определяемому множеству |а & b & d|, которое имеет
точно одну вершину (d), он отображается внутренним образом.
В: атрибут объекта а с именем attrib a унаследован типом данных объекта d.
С: attrib_b унаследован типом данных объекта d.
D: attrib_d является последним атрибутом в экземпляре d потому, что атрибуты, унаследованные от
объектов супертипа а и Ь. появляются первыми.