ГОСТ Р ИСО 10303-504—2006
4.3.2 Булева функция checkjextjilignment возвращает значение «истина», если заданный объ
ект composite_text имеет общее значение элемента alignment для каждого объекта textJiteral, содер
жащегося в наборе объектов collected_text.
EXPRESS-споцификаиия
*)
FUNCTION check_text_alignment (ct: compositejext): BOOLEAN:
LOCAL
a : SET OF text_alignment := 0;
END_LOCAL:
- создание набора из всех элементов alignment
REPEAT i := 1 ТО HIINDEX (ct.collectedjext);
a := a + [ct.collected_text(i]\textJiteral.alignment]:
END_REPEAT;
- если набор содержит более одного элемента,
~ то не все элементы alignment одинаковы
RETURN (SIZEOF(a) = 1);
END_FUNCTION;
Г
Определение аргумента
ct — заданный объект composite_text, который должен быть проверен.
П р и м е ч а н и е — Хотя ссылка на группу не существует, ссылка на атрибут «ct-coilectedjext» в функции
checkJext_allgnm ent корректна, т.к. параметр «ct» имеет тип composite_text. a «coUectedJext» является атрибу
том этого типа.
4.3.3 Булева функция check_text_font возвращает значение «истина», если заданный объект
composite_text имеет общее значение элемента font для каждогообъекта textjiteral. содержащегося в
наборе объектов collectod_text.
EXPRESS-спецификация
•)
FUNCTION check_text_font (ct:compositejext): BOOLEAN.
LOCAL
f : SET OF font_select := Q.
END_LOCAL:
- построение набора из всех элементов font
REPEAT i := 1 ТО HIINDEX (ct.collectedjext):
f := f + [ct.collected_text[ij\text_literal.font];
END_REPEAT;
- если набор содержит более одного элемента,
- то не все элементы fonts одинаковы
RETURN (SIZEOF(f) <= 1);
END_FUNCTION;
Г
П р и м е ч а н и е — Хотя ссылка на группу не существует, ссылка на атрибут «ct-coilectedjext» в функции
checkJ e x tJ o n t корректна, так как параметр «ct» имеет тип com positejext. a «collectedje x t* является атрибутом
этого типа.
Определение аргумента
ct — заданный объект compositejext. который должен быть проверен.
*)
END_SCHEMA; - aic_draughting_annotation
Г
13