5.3.1 Тип text_delineation
Тип text_delineation предназначен для контроля за выделениями в тексте.
Примечание - Соответствующие значения text_delineation и их точный смысл могут быть установлены в прикладных протоколах.
EXPRESS-спецификация |
*) |
TYPE text_delineation = label; |
END_TYPE; |
(* |
Пример 7 - В прикладном протоколе могут быть заданы только следующие допустимые значения данного типа: 'underline' (подчеркивание) и 'overline' (надчеркивание) и соответствующие им выделения текста (см. рисунок 12).
Рисунок 12 - Примеры выделения текста
5.3.2 Тип defined_symbol_select
Тип defined_symbol_select задает неявное описание примитива defined_symbol.
EXPRESS-спецификация | |
*) | |
TYPE defined_symbol_select = SELECT; | |
(pre_defined_symbol, | |
externally_defined_symbol); | |
END_TYPE; | |
(* |
5.3.3 Тип tехt_or_character
Тип text_or_character определяет элементы, которые могут быть использованы в примитивах annotation_text или composite_text.
EXPRESS-спецификация | |
*) | |
TYPE text_or_character = SELECT; | |
(annotation_text, | |
annotation_text_character, | |
defined_character_glyph, | |
composite_text, | |
text_literal); | |
END_TYPE; | |
(* |
5.3.4 Тип text_alignment
Тип text_alignment предназначен для контроля за выравниванием текста.
Примечание - Соответствующие значения text_alignment и их точный смысл могут быть установлены в прикладных протоколах.
EXPRESS-спецификация |
*) |
TYPE text_alignment = label; |
END_TYPE; |
(* |