ГОСТ Р ИСО 10303-46-2002
WR3 — каждым объектом axis2_placemcnt в примитиве text_string_represcntation должен быть
mapping_target примитива annotation_text или annotation_tcxt_character.
5.4.24 П р и м и т и в a n n o t a t i o n _ t e x t _ c h a r a c t e r
Примитивом annotalion_text_character яатяется объект mappedjtem. содержащий мнемограм
му (символ) соответствующего mapping_source. Данный символ является глифом в рамках соответ
ствующего обмена данными.
EXPRESS-спеиификаиия
*>
ENTITY annotation text character
SUBTYPE OF (mappedjtem);
alignment: text, alignment:
WHERE
WR1: PRESENTATIONJ<ESOURCE_SCHEMA.CHARACTER_GLYPH_.SYMBOL’ IN
TYPEOF (SELF\mappedJtem.mapping_source.mapped_representation);
WR2: ’GEOMETRY_SCHEMA.AXIS2_PLACEMENT IN
TYPEOF (SELF\mappedJtem.mappingjarget):
WR3: ’GEOMETRY_SCHEMA.GEOMETRIC_ REPRESENTATION ITEM’ IN
TYPEOF (SELF):
END_ENT1TY;
<*
Опоелелення атрибутов
alignment — указывает местоположение символа;
SELF\niappedJtem.mapping_source —глиф символа в рамках соответствующего обмена данны
ми:
SELF\mappedJtem.mapping_target — объект axis2_placement, получаемый в результате отобра
жающего преобразования.
Формальные утверждения
WRI - источником примитива annotation_text_character должен быть объект character_
g!yph_symbol;
WR2 —адресатом примитива annotation_text_charactcr должен быть объект axis2_placement;
WR3 — примитивом annotation_text_character должен быть объект geonietric_representationJtem.
5.4.25 П р и м и т и в d e f i n e d_c h a r a c t e r _ g l y p h
Примитивом defined_charactcr_glyph являегся глиф символа, неявно заданный посредством
примитива pre_defined_charactcr_glyph или externally_deflned_character_glyph.
EXPRESS-cneiinthnKainia
4)
ENTITY defined_characterjglyph
SUBTYPE OF (geometric_representation_item);
definition : defined_glyph_select;
placement: axis2_placement;
END_ENTITY:
Г
Определения атрибутов
definition — неявное описание глифа символа (заданное ранее или определенное извне);
placement - описание местоположения и ориентации глифа символа.
5.4.26 П р и м и т и в е х t е г n а 11 y_d е f i n е d_c h a r a c t e r j g l y p h
Примитивом extemally_defined_character_glyph является объект extemally_definedjtem, имею
щий ссылку на глиф символа.
EXPRESS-сненификаиия
*)
ЕNTITY extemally_defined_character_glyph
SUBTYPE OF (externaTly_defined_item);
END ENTITY;
Г
43