ГОСТ Р ИСО 10303-504—2016
0
0
<crv, ’PRESENTATION_APPEARANCE_SCHEMA.STYLED_ITEK.ITEM’) | (’A1C_DRAUGHTING_
ANNOTATION.ANNOTATION_CURVE_OCCURRENCE’ IN TYPEOF (si)) )) >0) )) = 0);
WR15: (NOT ((*AIC_DRAUGHTING_ANNOTATION.ANNOTATION_TEXT.OCCURRENCE’ IN TYPEOF
(SELF)) AND (*AIC_DRAUGHTING_ANNOTATION.COKPOS1TE_TEXT_WITH_ASSOC1ATED_CURVES’
IN TYPEOF (SELF.item)))) OR (SIZEOF (QUERY (crv <* SELF.itejn\composite_text_
with_associated_curves. associated_curves |NOT (SIZEOF (QUERY (si <* USEDIN
(crv, ‘PRESENTATION.APPEARANCB_SCHEMA.STYLED_ITBM.ITEM’) | (*AIC_DRAUGHTING_
ANNOTATION.ANNOTAT10N_CURVE_OCCURRENCE’ IN TYPEOF (si)) )) >0) )) =0);
WR16: SIZEOF (QUERY (cs <* QUERY (sty <* SELF.styles | (’AIC_DRAUGHTING^
ANNOTATION.CURVE_STYLE’ IN TYPEOF (sty.styles[11))) |NOT ((’A1C_DRAUGHT1NG_
ANNOTATION.LENGTH_MEASURE_WITH_UNIT’ IN TYPEOF (cs.styles(1)\curve_style.curve,
width)) AND <’MEASURE,SCHEMA.POSITIVE_LENGTH_KEASURE’ IN TYPEOF (cs.styles[1]N
curve_style. curve_width\measure_with_unit.value_component)
)))) = 0;
WR17: SIZEOF (QUERY (fas <* QUERY (sty <* SELF.styles | (*A1C_DRAUGHTING_
ANNOTATION.FILL_AREA_STYLE
’ IN
TYPEOF (sty.styles[1J)))
j
NOT ((SIZEOF (QUERY
(fs <* fas.styles[1)\Sll_area_.style.ftll_styles | (•A1C_DRAUGHTING_ANN0TAT10N.
FILL_AREA_STYLE_TILES’ IN TYPEOF (fs)))) <= 1) AND (SIZEOF (QUERY (fst <* QUERY
(fs <* fas.stylesГ1]\fill_area_style.fill_styles | (•AiC_DRAUGHTING_ANNOTATION.
FILL_AREA_STYLE_TILES’ IN TYPEOF (fs))) |NOT (SIZEOF (fst\fill_area.style_tiles.
tiles) =1) )) = )) )) = ;
WR18: SIZEOF (QUERY (fas <* QUERY (sty <* SELF.styles | (*A1C_DRAUGHT1NG_
ANNOTATION.FILL_AREA_STYLE’ IN TYPEOF (sty.styles(1J))) |NOT (SIZEOF (QUERY
(fsh <* QUERY (fs <A fas.styles[1J\fill_area_style.fill„styles | <‘AIC_DRAUGHT1NG„
ANNOTATION.FILL_AREA_STYLE„HATCHING’ IN TYPEOF (fs))) |NOT (fsh\fill.area_style_
hatching.point_of_reference_hatch_line :=: fsh\fUl_area_style_hatching.pattern_
start) )> =0) )) = 0;
WR19: SIZEOF (QUERY (ts <* QUERY (sty <* SELF.Styles | (‘AIC_DRAUGHTING_
ANNOTATION.TEXT_STYLE’ IN TYPEOF(sty.styles{Щ )) |NOT (’A1C_DRAUGHTING_
ANNOTATION.’ + *TEXT_STYLE_WITH_BOX_CHARACTERISTlCS’ IN TYPEOF <ts.styles[1J))))
в
0
;
WR20: SIZEOF (QUERY (ts <* QUERY (sty <* SELF.styles | (‘AIC_DRAUGHT1NG„
ANNOTATION.TEXT,STYLE„W1TH_B0X_CHARACTER1STICS* IN TYPEOF (sty.styles(1]))) |
NOT (SIZEOF (ts.styles[1J\text_style_with_box_characteristics. characteristics)
= 4) )) = 0;
END„ENTITY;
<*
Формальные положения:
WR1. Каждый экземпляр объекта draughting_annotation_occurronco. являющийся экземпляром
объекта annotatlon_curve_occurrence. должен иметь агрегатный атрибут styles (стили), содержащий
строго один элемент типа curve_style (стиль кривой).
WR2. Каждый экземпляр объекта draughting_annotation_occurrence. являющийся экземпляром
объекта annotation_fill_area_occurrence. должен иметь агрегатный атрибут styles (стили), содержа
щий строго один элемент типа fill_aroa_style (стиль заполнения области).
WR3. Если экземпляр объекта draughting_annotation_occurrence является экземпляром объ
екта annotation_flll_area_occurrence. воспроизводящего заполненную область, представленную объ
ектом annotation_flll_area. то ка>едая граница заполненной области должна воспроизводиться посред
ством объекта annotation_curve_occurrence.
WR4. Каждый экземпляр объекта draughting_annotation_occurrence. являющийся экземпляром
объекта annotation_symbol_occurrence. должен иметь агрегатный атрибут styles (стили), содержащий
строго один элемент типа symbol_style (стиль условного обозначения) или null_style (нулевой стиль).
WR5. Если экземпляр объекта draughting_annotation_occurronco является экземпляром объ
екта annotation_symbol_occurronce. воспроизводящего поясняющее условное обозначение, пред
ставленное объектом annotation_symbol. то представление условного обозначения обеспечивается
объектом draughting_symbol_ representation или draughting_subfigure_representation
WR6. Каждый экземпляр объекта draughting_annotation_occurrence. являющийся экземпляром
объекта annotation_text_occurrence. должен иметь агрегатный атрибут styles (стили), содержащий
строго один элемент типа toxt_style (стиль текста).
8