ГОСТ Р ИСО 10303-46-2002
Определение атрибута
style_context - набор из одного или двух контекстов для переопределения соответствующего
стиля.
Формальное утверждение
WR1
— в набор style_context не должно входить более одного объекта representation и
representationjtem.
6.4.4 О б ъ е к т p r e s e n t a t i o n_s t у 1е_а s s i g n m e n t
Объект presentation_style_assignment представляет собой набор стилей, заданных вобъекте rep
resentationjtem с целью предстаатения конкретного элемента. Определения этих стилей влияют
только на вид элемента конкретного типа. Стиль поверхности связан только с поверхностями. Стили
области заполнения и кривой связаны только с кривыми и поверхностями. Стильточки относится к
точкам, кривым и поверхностям. Стиль текста связан только с аннотируемым текстом. Стиль знаков
связан только со знаками.
П р и м с р 12 —Вслучае задания для линии стиля кривой, его следует использовать. Вслучае задания для
линии стилей кривой и точки следует использовать оба стиля.
liXPRLSS-cnenn(bnKann«
~)
ENTITY presentation_style_assignment
styles: SET
|1:?J
OF presentation_style_select;
WHERE
WR1 : (SIZEOF (QUERY (styleI <• SELF.styles |
NOT (SIZEOF (QUERY (style2 <♦ (SELF.styles - style I) |
NOT «TYPEOF (style1) <> TYPEOF (style2>) OR
(SIZEOF ((’PRESENTATION APPEARANCE SCHEMA.* +
SIJRFAC E_ STYLE_USAGE\
‘PRESENTATION APPEARANCE SCHEMA.’ +
EXTERNALLY_DEFINED_STYLE | 4
TYPEOF(stylel)) = I)
)) = 0
))) = 0;
WR2: (SIZEOF (QUERY(stvleI <4 SELF.styles |
’PRESENTATION_APPEARANCE_SCHEMA.SURFACE_STYLE_USAGE‘ IN
TYPEOF (stylel)
)) < = 2;
END_ENT1TY:
(*
Опоелелеиие атрибута
styles —набор стилей представления, заданных в объекте representationjtem.
Формальные утверждения
WR1
— один и тот же стиль не должен использоваться дважды, за исключением объектов
externally_defined_style и surfacestyleusage;
WR2 —в наборе стилей объект surfage_style_usage не должен использоваться более двух раз.
Неформальные утверждения
IP1
— внешне определенный стиль не должен противоречить другим стилям того же объекта
presentation_style_assignment. включая другие внешне определенные стили.
П р и м е ч а н и е — При конфликте одного стиля с другим это связано с различными стилями описания
одинаковой характеристики (такой, как цвет или ширина). Например, для одного объекта могут быть заданы
два стиля цвета: синий или зеленый:
IP2 —тип каждого стиля должен быть уникальным;
IP3 —если в наборе стилей имеются два экземпляра объекта surface_style_usage. каждый из
них должен определять стилизацию противоположных сторон поверхности.
6.4.5 О б ъ е к т p r e s e n t a t i o n_s t у 1e_b у_с о n t е х t
Объектом presentation_styIe_by_context является объект presentation_styIe_assignment, заданный
для объекта representationjtem и используемый только в контексте конкретного представления.
71