ГОСТ Р ИСО 10303-504—2016
WR2: SIZEOF (QUERY (item <• SELF\representation.items | ’A1C_DRAUGHT1NG_
ANNOTATION.ANNOTATION_SUBFIGURE_OCCURRENCE’ IN TYPEOF (item)))
= 0;
WR3: SIZEOF <QUERY (rm <* USED1N (SELF. ’REPRESENTATION_SCHEMA.’ +
•REPRESENTATION_MAP.MAPPED_REPRESENTATION’) |NOT {’REPRESENTATION_SCHEMA.
SYMBOL_REPRESENTATION_MAP* IN TYPEOF(rm)>)) = 0;
WR4: SIZEOF (SELF.context_of..items.representations_in_context) = 1;
END_ENTITY;
(*
Определение атрибута:
Items - множество экземпляров подтипов объекта representationjtem. которые должны быть
экземплярами annotation_curve_occurrenco. annotation_text_ occurrence. annotation_symbol_oc-
currence. annotation_fill_area_occurrence или axis2_placement.
Формальные положения:
UR1. Значение атрибута name (наименование) настоящего объекта должно быть уникальным.
WR1. По меньшей мере, один объект, на который ссылается атрибут items объекта draughting_
symbol reprcsontation должен быть объектом типа annotation_ curve_occurronce. annotation_text_
occurrence. annotation_symbol_occurrence или annotation_fill_area_occurrence.
WR2. Среди объектов, на которые ссылается атрибут items объекта draughting_ symbol_repre-
sentation. не должно быть объектов типа annotation_subfigure_ occurrence.
WR3. На объект draughting_symbol_representation могут ссылаться только те экземпляры объ
екта representation_map. которые являются экземплярами объекта symbol_represontation_map.
WR4. На представляющий контекст представления объект represontation_ context, играющий
роль атрибута context_of_items объекта draughting_symbol_ representation, не должны ссылаться
никакие другие объекты типа representation.
4.4.5 Объект draughtingJextJitoral_with_delineation
Объект draughting_text_litoral_with_delinoation является подтипом объекта text_literal_with_
delineation. Объект draughting_text_literal_with_delineation представляет текст с очерчиванием, ко
торое может иметь форму подчеркивания и надчеркивания.
EXPRESS-спеииФикаиия:
*)
ENTITY draughting_text_literal_with_de1ineat ion
SUBTYPE OF (text_literal_with_delineation);
WHERE
WR1: SELF.delineation IN (’underline’, ’overiine’];
END_ENTITY;
Г
Формальные положения:
WR1. Каждый экземпляр объекта draughting_text_literal_with_delineation должен иметь значе
ние наследуемого атрибута delineation (очерчивание) равным «underline» (подчеркивание) или «over
line» (надчеркивание).
4.5 Определения функций схемы aic_draughting_annotation
4.5.1 Функция check_text_alignmont
Булева функция check_text_alignmont возвращает значение true’ (истина) в том случае, если для
данного составного текста, представленного объектом composite_text. все представляющие литералы
объекты textjiteral, образующие значение агрегатного атрибута composite_text, имеют одинаковое
выравнивание, задаваемое атрибутами alignment объектов textjiteral.
П р и м е ч а н и е - Несмотря на отсутствие в групповой ссылки, ссылка в настоящей функции на атри
бут ct.collectedjext является корректной, поскольку параметр ct является объектом типа compositejext. и
collectedJext является атрибутом объекта этого типа.
EXPRESS-спеииФикаиия:
*)
FUNCTION check_text_alignment (ct : composite_text) :BOOLEAN;
11