4.4.1 Объект presentation_set
Объект presentation_set является набором (коллекцией) объектов presentation_areas.
EXPRESS-спецификация | ||
*) | ||
ENTITY presentation_set; | ||
INVERSE | ||
areas: SET [1 : ?] OF area_in_set FOR in_set; | ||
END_ENTITY; | ||
(* |
Описание атрибута
areas - набор объектов presentation_area, образующих presentation_set.
4.4.2 Объект presentation_representation
Объект presentation_representation содержит описание изображения, генерируемого системой, отображающей информацию о представлении. Данное изображение связано с предметом, представляемым в виде дву- или трехмерного геометрического объекта или аннотации. Ссылка на геометрические объекты или аннотацию может быть введена косвенно посредством включения в иерархию объекта presentation_representation. Нижние уровни подобной иерархии могут быть ограничены только по составу геометрических изображений или аннотаций.
Примечание 1 - Описание иерархии представления приведено в 4.1.
EXPRESS-спецификация | ||
*) | ||
ENTITY presentation_representation | ||
SUBTYPE OF (representation); | ||
WHERE | ||
WR1 : SELF \representation. | ||
context_of_items\geometric_representation_context. | ||
coordinate_space_dimension = 2; | ||
WR2 : 'GEOMETRY_SCHEMA.GEOMETRIC_REPRESENTATION_CONTEXT' | ||
IN TYPEOF (SELF\representation.context_of_items); | ||
END_ENTITY; | ||
(* |
Формальные утверждения
WR1 - изображение должно иметь размерность, равную 2;
WR2 - объект presentation_representation должен содержать геометрический контекст.
Примечания
2 При представлении трехмерного объекта следует использовать его двумерные проекции. Объект presentation_representation содержит изображения спроектированных предметов.
3 В настоящем стандарте не описаны реальные геометрические проекции. Вместе с тем в модель входит объект presentation_representation, определяющий правила геометрического проецирования и информацию, необходимую для создания проекции.
4.4.3 Объект presentation_area
Объект presentation_area представляет изображение, могущее содержать другие вложенные изображения, а также входить в другое изображение, представленное аналогичным объектом presentation_area.
Размер объекта presentation_area определяют через объект presentation_size. В каждом объекте presentation_area размер задают прямо, посредством использования объекта presentation_size, или косвенно с использованием объектов area_in_set. Выделение изображения в размерах, заданных объектом presentation_area, осуществляет система, создающая реальное изображение на основе информации о представлении. Если данный объект presentation_area входит в другой аналогичный объект, тогда ограничения, определяющие формат данного объекта, могут быть использованы для его выделения из другого объекта.
Основной (фоновый) может быть определен путем использования presentation_area в объекте background_colour. Только в одном из объектов background_colour может быть использован какой-либо объект presentation_area.
EXPRESS-спецификация | |||||
*) | |||||
ENTITY presentation_area | |||||
SUBTYPE OF (presentation_representation); | |||||
WHERE | |||||
WR1: ((SIZEOF (QUERY (ais<* USEDIN (SELF, 'PRESENTATION_ORGANIZATION_SCHEMA.' | |||||
+'AREA_IN_SET.AREA') | | |||||
SIZEOF (USEDIN (ais, 'PRESENTATION_ORGANIZATION_SCHEMA.' + | |||||
'PRESENTATION_SIZE.UNIT')) = 1)) > 0) OR | |||||
(SIZEOF (USEDIN (SELF, 'PRESENTATION_ORGANIZATION_SCHEMA.' + | |||||
'RESENTATION_SIZE.UNIT')) = 1)); | |||||
END_ENTITY; | |||||
(* |
Формальное утверждение
WR1 - объект presentation_area должен входить в presentation_set посредством включения в атрибут area_in_set.area, в котором объект area_in_set входит в атрибут presentation_size.unit, или размер presentation_area должен быть определен непосредственно из presentation_size.
Неформальные утверждения