ГОСТ Р ИСО 10303-506—2006
используется данная ПИК. должен обеспечивать реализацию объекта draughting_callout как объекта
draughting_elements.
EXPRESS спецификация
*)
ENTITY draughtmg_elements
SUBTYPE OF (draughting_callout);
WHERE
WR1: SIZEOF {QUERY (I c <• QUERY (con <* SELF.contents |
(’AIC_DRAUGHTING_ELEMENTS.LEADER_CURVE’ IN TYPEOF(con))) |
NOT (SIZEOF (QUERY (Idc <* USEDIN (l_c,
’AIC_DRAUGHTING_ELEMENTS.’♦ ’DRAUGHTING_CALLOUT.CONTENTS‘) |
(’AIC_DRAUGHTING_ELEMENTS.LEADER_DIRECTED_CALLOUT’
INTYPEOF (kJc))))<= 1)))=0;
WR2: NOT (’AIC_DRAUGHTING_ELEMENTS.DIMENSION_CURVE_DIRECTED_CALLOUT’
IN TYPEOF(SELF)) OR
(SIZEOF (QUERY (con <‘ SELF.contents |
(’AIC_DRAUGHTING_ELEMENTS.PROJECTION CURVE’ IN
TYPEOF (con)))) <= 2);
WR3: SIZEOF (QUERY (rc <* USEDIN (SELF,
’AIC_DRAUGHTING_ELEMENTS.DRAUGHTING_CALLOUT_’+
’RELATIONSHIP.RELATING_DRAUGHTING_CALLOUT’) |
(’AIC_DRAUGHTING_ELEMENTS.’ +
’DIMENSION_CALLOUT_RELATIONSHIP’ IN TYPEOF (rc)) AND
(rc.name =’primary’))) <= 1;
WR4: SIZEOF (QUERY (rc <* USEDIN (SELF,
’AIC_DRAUGHTING_ELEMENTS.DRAUGHTING_CALLOUT * +
’RELATIONSHIP.RELATING_DRAUGHTING_CALLOUT’) |
(’AIC_DRAUGHTING_ELEMENTS.’ +
’DIMENSION_CALLOUT_RELATIONSHIP’ INTYPEOF (rc))AND
(rc.name =’secondary’))) <= 1;
WR5: SIZEOF (QUERY (sec <*QUERY (rc <* USEDIN (SELF.
’AIC_DRAUGHTING_ELEMENTS.DRAUGHTING_CALLOUT_* +
•RELATIONSHIP.RELATING_DRAUGHTING_CALLOUT’) |
(’AIC_DRAUGHTING_ELEMENTS.’ +
’DIMENSION_CALLOUT_RELATIONSHIP’ IN TYPEOF (rc)) AND
(rc.name =’secondary1) ) |
NOT (SIZEOF (QUERY(prim <* USEDIN (SELF.
’AIC_DRAUGHTING_ELEMENTS.DRAUGHTING_CALLOUTJ*
’RELATIONSHIP.RELATING_DRAUGHTING_CALLOUT’) |
(’AIC_DRAUGHTING_ELEWENTS.’ ♦
’DIMENSION_CALLOUT_RELATIONSHIP’ IN TYPEOF (prim)) AND
(prim.name = ’primary’)))= 1))) =0:
END_ENTITY;
(*
Формальные утверждения
WR1 — каждый объект leader_curve. который присутствует вобъекте draughting_callout.должен
использоваться не более чем одним объектом leader_directed_callout.
WR2 — каждый объект dimension_curve_directed_calloutдолжен содержать не болеедвух объ
ектов projection_curves в наборе «contents (содержимое)».
WR3 — размер (dimension) каждого объекта draughtlng_callout должен быть определен не
болеечем одним объектом dimension_callout_relationshlp с именем «primary(основной)».
WR4 — размер (dimension) каждого объекта draughting_callout должен быть определен не
более чем одним объектом dimension_caliout_relationship с именем «secondary (дополнительный)».
ю