ГОСТ Р ИСО 10303-504—2016
LOCAL
а : SET OF text_alignment := [];
END_LOCAL;
-- create a set of all the alignments
REPEAT i := 1 TO HIINDEX <ct.collected_text);
a := a + [ct.collected_text[i]\text_literal.alignment];
END_REPEAT;
— if there is more than one element in the set
-- then not all alignments were the same
RETURN (SlZEOF(a) = 1);
END_ENTITY;
Определения параметров:
ct - входной параметр - объект composite_toxt. представляющий проверяемый составной текст.
4.5.2 Функция check_text_font
Булева функция check_toxt_font возвращает значение ’true’ (истина) в том случае, если для дан
ного составного текста, представленного объектом composite_text. все представляющие литералы
объекты textjitoral. образующие значение агрегатного атрибута composite_text. имеют одинаковый
шрифт, задаваемый атрибутами font объектов textjitoral.
П р и м е ч а н и е - Несмотря на отсутствие в групповой ссылки, ссылка в настоящей функция на атри
бут ctcollectedjext является корректной, поскольку параметр ct является объектом типа compositejext. и
collectedJext является атрибутом объекта этого типа.
EXPRESS-слеииФикация:
*)
FUNCTION check_text_£ont (ct : composite_textI :BOOLEAN;
LOCAL
f : SETT OF font_select :=
[ ] j
END_LOCAL;
— build a set of all the fonts
REPEAT i := 1 TO HI INDEX (ct.collected.,text);
f := f + [ct.collected.text[i]\text_literal.font];
END_REPEAT;
— if there is more than one element in the set
— then not all fonts were the same
RETURN (SlZEOF(f) <= 1);
END_FUNCTION;
(*
Определения параметров:
ct - входной параметр - объект compositejext. представляющий проверяемый составной текст.
*)
END_SCHEMA; -- aic_draughting_annotation
(к
12