ГОСТ Р ИСО 10303-46-2002
WHERE
WR1 : SIZEOF(QL)ЕRY (cl <4 SELF.characteristics |
SIZEORQUERY (с2 <• SELF.characteristics - cl |
TYPEOF(cl) = TYPEOF(c2)
)) > 0
» = );
END_ENTITY:
(*
Определение атрибута
characteristics —характеристики «ящиков* символов. Данные характеристики определяют вы
соту, ширину, углы поворота и наклона «ящиков» символов.
Формальное утверждение
WR1 — характеристики должны иметь различные типы.
6.9.8 О б ъ е к тt е х t_s t у 1e_w i t h_s p a c i n g
Объектом text_style_with_spacing является объект text_style. определяющий пробелы между
символами.
EXPRESS-спеиифнкаиия
4)
ENTITY text_style_with_spaci ng
SUBTYPE OF(textltyle);
character_spacing: characte r_spacing_select;
END_ENTITY:
<*
Определение атрибута
character_spacing - расстояние между смежными символами.
6.9.9 О б ъ е к т рг e_d е f i n е d_c h a r a c t e r _ s p a c i n g
Объектом pre_dermed_character_spacing является пробел между символами, определяемый в
конкретных приложениях.
П р и м е ч а н и е — Порядок применения данного объекта задают в прикладных ресурсах или протоко
лах.
EXPRESS-спеииФикання
4 )
ЕNTITY pre_defi ned_character_spaci ng
SUBTYPE OF (pre_defined_item);
END_ENTITY:
<*
6.9.10 О б ъ е к т t e x t_s t у 1e_w i t h_m i г го r
Объектом text_styic_with_mirror является объект te.\t_style. определяющий оси зеркального
отображения символов.
11 р и м е ч а н и с — На рисунке 24 проиллюстрирован объект tcxt_styIc_with_mirror.
EXPRESS-сиеииФикання
4)
ENTITY text„style_with_mirror
SUBTYPE OF (textltyle);
mirror_placement: axis2_placement;
END_ENNTY;
<*
Определение атрибута
mirror_placement — местоположение и ориентация оси зеркального отображения. Данная ось
пересекает объект location из axis2_placement и параллельна оси х, указанной вобъекте axis2_placeraent.
89