ГОСТ Р ИСО/ТО 10303-12-2000
unit_rad = size{radius {1.0}};
x_axis = vector!11.0, zero, zero |};
z_axis = vector!|zero, zero, 1.0)};
x_co!or = color{!red};
p() = point{x -> zero; у -> zero, z -> zero;};
pi = point!x -> 1.0; у -> 1.0, z-> 1.0;};
cl = circle{center -> @p0;
normal -> ®x_axis;
howbig -> area(Pl);
shade -> @x_color:);
c2 = circle{center -> @p0;
normal -> 11.0. 2.0. 3.01;
howbig -> radius{33.0};
shade -> !blue;};
c3 = circle(center -> @pl;
normal -> @z_axis;
howbig -> @unit_rad;
shade -> !blue;};
END_SCHEMA_DATA;
12.10 Отображение супертипов и подтипов
Имеется взаимно однозначное соответствие между супертипами и подтипами EXPRESS и
супертипами и подтипами EXPRESS-I (см. таблицу 17).
Таб.ч и ца 17 - Обзор отображения SUPERTYPE и SUBTYPE
EXPRESS
EXPRESS!
SUPERTYPE OF ( ...)
SUBTYPE OF (...
)
BcqucathcsTo
InheritsFrom
В EXPRESS-1 наполнение объекта, являющегося листом дерева супертипов/подтипов, тре
бует наполнения всех его супертипов. Дерево экземпляра супертипов EXPRESS-1 должно быть
всегда выписано полностью.
Пример 65 - Рассмотрим ниже фрагмент дерева EXPRESS и конкретный объект те:
ENTITY...
ENTITY parent SUBTYPE OF (grandparent)
SUPERTYPE OF (me ANDOR sibbing );
ENTITY meSUBTYPE OF (parent)
SUPERTYPE OF (elder ANDOR younger);
ENTITY elderSUBTYPE OF (me)
SUPERTYPE OF ...
ENTITY...
Объект me наследует любые атрибуты, которые могут иметь его супертипы (то есть parent,
grandparent и т.д.). В свою очередь, те завещает как свои наследуемые атрибуты, так и свои соб
ственные атрибуты своим подтипам (то есть elder, younger и их последующих потомков).
В этом дереве экземпляр те может также иметь либо не иметь sibling (брата). В общем дереве
возможно существование многих олюшений, не находящихся на прямой линии предка и потомка.
Для данного подраздела определим:
экземпляр прямого дерева (direct tree instance): Экземпляр однокоренного дерева подти-
пов/супертипов, имеющего единственный путь, при незаполненных ветвях, от корня к единст
венному листу;
экземпляр общего дерева (general tree instance): Экземпляр дерева подтипов/супертипов. не
являющийся экземпляром прямого дерева.
41