ГОСТ Р ИСО 10303-520—2007
INTYPEOF(dc)))
* [SELFtmappedJtem.mappingJarget]) = 1)
)) =
0
:
END_ENTITY;
Г
Формальные утверждения
WR1 — объект mappod_represontatlon должен быть объектом типа shape_dimension_-
representation.
WR2 — объект mapping_targetдолжен бытьобъектом типа draughting_callout.
WR3 — объектdimensionJext_associativityдолжен использоватьсявобъекте annotationJext_-
occurrence. которыйсодержится в целевом объекте draughting_callout..
4.2.3 Объектdraughting_model
Объект draughting_model представляет форму изделия для изготовления чертежей. Объект
draughting_model можетсодержатьобъекты mappedjtem. которыеявляютсяотображениямиобъекта
shape_representations или других объектов draughting_model. Объект mappedjtem. являющийся
отображением объекта shape_representation. задает явное представление формы изделия, которое
должно быть представленона чертеже. Объектmappedjtem. являющийся отображением другого объ
екта draughting_model, задает использование подмодели. Объект draughting_model может содер
жать объекты styledjtem. Эти объекты styledjtom задают стиль для объекта mappedjtem.
являющегося отображением объекта shape_representation иобеспечивающего использованиеобъек
та curve_style в представлении объекта shape_representation на чертеже. Объект draughting_model
может содержать объекты annotation_occurrence. Эти объекты annotation_occurrence задают пояс
нение. которое размещается в той жесистеме координат, что иобъектshape_representation. и проеци
руется на вид при представлении на чертеже объекта draughting_model.
EXPRESS-спецификация
*)
ENTITYdraughting_model
SUBTYPE OF (representation);
UNIQUE
UR1: SELRrepresentation.name;
WHERE
WR1: SIZEOF (QUERY (it <‘ SELF.items |
NOT (SIZEOF ([’AIC_ASSOCIATIVEJDRAUGHTING_ELEMENTS.MAPPEDJTEM’,
’AIC_ASSOCIATIVE_DRAUGHTING ELEMENTS.STYLEDJTEM’.
’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.AXIS2_PLACEMENT’,
,AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.CAMERA_MODEL’]*
TYPEOF (it)) = 1
))) =0;
WR2: SIZEOF (QUERY (mi < * QUERY (it < *SELF.items |
(’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.MAPPEDJTEM’ INTYPEOF(it))) |
NOT (
SIZEOF ([’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.SHAPE_REPRESENTATION’
’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.DRAUGHTING_MODELT
TYPEOF (mi\mappedJtem.mapping_source.
mapped_representation))= 1
)))=0;
WR3: SIZEOF (QUERY (smi <* QUERY (si < * QUERY (it < *SELF.items |
fAIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.STYLEDJTEM’ IN TYPEOF(it))) |
(’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.MAPPED~_ITEM’IN
TYPEOF(si\styledJtem.item))) |
(NOT ((’AIC_ASSOCIATIVE_DRAUGHTING_ELEMENTS.SHAPE_REPRESENTATION’IN
TYPEOF(smiVstyledJtem.item\mappedJtem.
mapping_source.mapped_representation))
AND
(SIZEOF (QUERY (sty < * smi\styledJtem.styles |
S