ГОСТ Р ИСО 10303-21—2022
Примеры
1 Простое отношение подтип/супертип. Определение объекта в языке EXPRESS.
ENTITY аа ABSTRACT SUPERTYPE OF (ONEOF(bb.cc)); —> A
attrib_a: zz; ------------------------------------------------------------------> В
END_ENTITY;
ENTITY bb SUBTYPE OF (aa)
ABSTRACT SUPERTYPE OF (ONEOF(xx));-----------------> C
attrib_b1: yy; ---------------------------------------------------------------- > D
attrib_b2: yy; ---------------------------------------------------------------- > E
END_ENTITY;
ENTITY cc SUBTYPE OF (aa);
attrib_c : REAL;
END_ENTITY;
ENTITY xx SUBTYPE OF (bb);
attrib_x: REAL; ------------------------------------------------------------- > F
END_ENTITY;
ENTITY zz;
attrib_z : STRING;
END_ENTITY;
ENTITY yy;
attrib_1 : REAL;
attrib_2 : REAL;
attrib_3 : REAL;
END_ENTITY;
Образец экземпляра объекта типа данных объекта хх в секции данных:
#1 = ZZ(’ZATTR’);
#2 = YY(1.0, 2.0, 0.0);
#3 =YY(2.0, 2.0, 0.0);
#4 = ХХ0Ё1, #2, #з, М );
ВD ЕF
А: поскольку объект аа является абстрактным супертипом, он не отображается в структуру обмена;
В: атрибут attrib_a будет отображен в секции данных как унаследованный атрибут того объекта, который
прямо или косвенно является подтипом объекта аа. В этом случае атрибут attrib_a представлен первым атрибутом
экземпляра объекта хх и ссылается на zz экземпляр объекта #1;
С: поскольку объект bb является абстрактным супертипом, он не отображается в структуре обмена;
D: атрибут attrib bl будет отображен в секции данных как унаследованный атрибут объекта, который прямо
или косвенно является подтипом объекта bb. В этом случае атрибут attrib bl представлен вторым атрибутом эк
земпляра объекта хх и ссылается на уу — экземпляр объекта #2;
Е: атрибут attrib_b2 будет отображен в секции данных как унаследованный атрибут объекта, который прямо
или косвенно является подтипом объекта bb. В этом случае атрибут attriЬ_Ь2 представлен третьим атрибутом эк
земпляра объекта хх и ссылается на уу — экземпляр объекта #3:
F: атрибут attrib_x представлен своим значением 4.0.
2
Отображение супертипа, который не является абстрактным (ABSTRACT) супертипом. Опре
деление объекта в языке EXPRESS.
ENTITY аа SUPERTYPE OF (ONEOF(bb.dd)); -> A
attrib_a : STRING;
END_ENTITY;
ENTITY bb SUBTYPE OF (aa);------------------------> В
END_ENTITY;
46