ГОСТ Р ИСО 10303-506—2006
WR1: SIZEOF (QUERY (con <* SELF.contents |
’AIC_DRAUGHTING_ELEMENTS.PROJECTION_CURVE’ IN TYPEOF (con)))<=1:
END_ENTITY;
r
Формальное утверждение
WR1 — в содержимом (contents) объекта radius_dimension должно присутствовать не более
одного объекта projection_curve.
4.1.15 Объект structured_dimension_callout является объектом типа draughting_callout. кото
рый представляет информацию, связанную с размером, в которой отдельные элементы, представляю
щие различные компоненты информации о размере, могут быть идентифицированы и выделены.
П р и м е ч а н и е — Компоненты структурированной выноски размера показаны на рисунке 5. Выноска раз
мера содержит линии, символы и текст. Содержание текста идентифицируется как значение размера, значение
допуска или единицы измерения. Другие чертежные выноски могут быть определены как префиксная или
суффик-сная информация посредством использования объекта dim ension_catlout_com ponent_relatlonship
EXPRESS спецификация
*)
ENTITYstructured_dimension_callout
SUBTYPE OF (draughting_callout);
WHERE
WR1: SIZEOF (TYPEOF (SELF) *
[’AIC_DRAUGHTING_ELEMENTS.DATUM_FEATURE_CALLOUT\
’AIC_DRAUGHTING_ELEMENTS.DATUM_TARGET_CALLOUT\
•AIC_DRAUGHTING_ELEMENTS.GEOMETRICAL TOLERANCE_CALLOUT\
•AIC_DRAUGHTING_ELEMENTS.LEADER_DIRECTED_CALLOUT\
’AIC_DRAUGHTING_ELEMENTS.PROJECTION_DIRECTED_CALLOUT\
•AIC_DRAUGHTING_ELEMENTS.DIMENSION_CURVE DIRECTED_CALLOUT]) =0:
WR2: SIZEOF (QUERY (ato <* QUERY (con <* SELF.contents |
(*AIC_DRAUGHTING_ELEMENTS.ANNOTATION_TEXT_OCCURRENCE*
IN TYPEOF (con)))|
NOT (ato.nameIN
(’dimension value’, ’tolerancevalue’, ’unittext*.
’prefixtext’, ’suffix text’]))) =0;
WR3: SIZEOF (QUERY (ato <* QUERY (con <* SELF.contents |
(’AIC_DRAUGHTING_ELEMENTS.ANNOTATION_TEXT_OCCURRENCE’
INTYPEOF (con))) |
(ato.name =’dimension value’)
))>=
1
:
WR4: SIZEOF (QUERY (dcr <* USEDIN (SELF. ’AIC_DRAUGHTING_ELEMENTS.’ ♦
’DRAUGHTING_CALLOUT_RELATIONSHIP.’ +
’RELATING_DRAUGHTING_CALLOUT’) |
(’AIC_DRAUGHTING_ELEMENTS.’ ♦
’DIMENSION_CALLOUT_COMPONENT_RELATIONSHIP’ IN TYPEOF (dcr))AND
(dcr.name = ’prefix’)))<= 1;
WR5: SIZEOF (QUERY (dcr <* USEDIN (SELF. ’AIC DRAUGHTING_ELEMENTS.’ ♦
’DRAUGHTING_CALLOUT_RELATIONSHIP.’+
’RELATING_DRAUGHTING_CALLOUT’) |
(’AIC_DRAUGHTING_ELEMENTS.’ +
’DIMENSION_CALLOUT_COMPONENT_RELATIONSHIP’ IN TYPEOF (dcr))AND
(dcr.name =’suffix’)))<= 1;
WR6: NOT((SIZEOF (QUERY (ato <‘ QUERY (con <* SELF.contents |
(’AIC_DRAUGHTING_ELEMENTS.ANNOTATION_TEXT_OCCURRENCE‘
IN TYPEOF(con))) |
(ato.name =’prefix text1)
))>0))OR
13