ГОСТ Р ИСО 10303-504—2006
WR3:- границы заполнения со стилем:
(NOT (’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_FILL_AREA_OCCURRENCE’
IN TYPEOF (SELF))) OR (SIZEOF (QUERY (bound <*
SELF.item\annotation_fill_area.boundaries |
NOT (SIZEOF (QUERY (si <*
USEDIN (bound. ’PRESENTATION_APPEARANCE_SCHEMA.’ ♦
’STYLED_ITEM.ITEM’) |
(’AIC_DRAUGHTING_ANNOTATION.’ +
’ANNOTATION_CURVE_OCCURRENCE’ IN TYPEOF (si)))) > 0))) = 0);
WR4:- символ имеет стиль символа:
(NOT (’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SYMBOL_OCCURRENCE’
IN TYPEOF (SELF))) OR (SIZEOF (QUERY (sty <* SELF.styles |
NOT ((SIZEOF (sty.styles) = 1) AND
(SIZEOF (TYPEOF (sty.styles(IJ) *
[’AIC_DRAUGHTING ANNOTATION.SYMBOL_STYLE’.
’AIC_.DRAUGHTING_.ANNOTATION.NULL_STYLE’]) = 1)))) = 0):
WR5:- допустимые представления символов:
(NOT ({’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SYMBOL_OCCURRENCE’
IN TYPEOF (SELF)) AND
(’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_SYMBOL’
IN TYPEOF(SELF.item)))) OR
(SIZEOF (fAIC_DRAUGHTING_ANNOTATION.’ +
’DRAUGHTING_SYMBOL_REPRESENTATION’,
’AIC_DRAUGHTING_ANNOTATION.’ +
’DRAUGHTING_SUBFIGURE_REPRESENTATION’) *
TYPEOF (SELF.item\mappedJtem.mapping_source.
mapped_representation)) = 1);
WR6:- текст имеет стиль текста:
(NOT(’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_TEXT_OCCURRENCE’
IN TYPEOF (SELF))) OR
(SIZEOF (QUERY (sty <‘ SELF.styles |
NOT ((SIZEOF (sty.styles) = 1)
AND(’AIC_DRAUGHTING_ANNOTATION.TEXT_STYLE’
IN TYPEOF (sty.styles[1]))))) = 0);
WR7:- допустимый текст:
((’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_TEXT_OCCURRENCE’
IN TYPEOF (SELF))) OR
(SIZEOF (TYPEOF(SELF.item) *
(•AIC_DRAUGHTING_ANNOTATION.COMPOSITE_TEXT\
’AIC_DRAUGHTING_ANNOTATION.TEXT_LITERAL’]) = 1);
WR8:- текст не является вложенным:
(NOT ((’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_TEXT_OCCURRENCE’
IN TYPEOF (SELF)) AND
(’AIC_DRAUGHTING_ANNOTATION.COMPOSITE_TEXT’
IN TYPEOF (SELF.item)))) OR (SIZEOF (QUERY (tl <*
SELF.item\composite_text.collected_text |
NOT (’AIC_DRAUGHTING_ANNOTATION.TEXT_LITERAL’
IN TYPEOF (tl)))) = 0);
WR9:- символы для выравнивания текста:
(NOT ((’AIC_DRAUGHTING_ANNOTATION.ANNOTATION_TEXT_OCCURRENCE’
IN TYPEOF (SELF)) AND
(’AIC_DRAUGHTING_ANNOTATION.TEXT_LITERAL‘
IN TYPEOF (SELF.item)))) OR (SELF.itemVtextJiteral.alignment
IN (’baseline left1, ’baseline centre’, ’baseline right1]):
WR10:- композиции для выравнивания текста:
6