ГОС! Р ИСО 10303-203-2003
WR1: SIZEOF (QUERY (prc <* parametric representation context |
NOT (SIZEOF (USEDIN (prc. ’ *))>=» 1 ))) = 0;
END_RULE:
(4
Описание аргумента
parametric_representation_context — идентифицирует набор всех экземпляров объектов paramet-
ric_representation_context.
Формальное утверждение
WR1 — на каждый экземпляр объекта parametric_representation_context должна быть дана
ссылка из атрибута другого объекта.
5.2.5.73 /Ipauiao subtype .mandatory_shape_represeiuation
Правило subtype_mandatory_shape_representation требует, чтобы все объекты shape.repre-
sentation были представлены объектами geometrically_bounded_wireframe_shape_represcntatton. geo-
met ricaIly_boundcd_surface_shape_representation.edge_based_wirefraine_shape_representat»on.shell_ha -
sed_wireframc_shape_representation. manifold_surface_shape_representation, faceted_brep_shape_repre-
sentation или advanced_brep_shape_representation. tun в соответствующем наборе объектов items
содержали только объекты axis2_placement_3d. или являлись представлением объекта shape_aspect
или отношением между двумя объектами shape_aspect. Это правило устанавливает ограничение на
различные типы представления формы, разрешенные в настоящем стандарте.
EXPRESS-спсиификация
*)
RULE subtype_mandatory_shape_representation FOR
(shape.representation);
WHERE
WRI: SIZEOF (QUERY (sr <• shape.representation |
NOT ((SIZEOF (| ’ CONFIG.CONTROL.DESIGN.’ +
’ADVANCED.BREP_SHAPE_REPRESENTATION’,
’CONFlG_CONTROL_DESIGN.FACETED_BREP,SHAPE.REPRESENTATION’,
’CONFIG.CONTROL.DESIGN.MANIFOLD SURFACE.SHAPE. REPRESENTATION’,
’CONFlG_CONTROL_DESlGN.EDGE_BASED_WIREFRAME_SHAPE_REPRESENTATION’.
*CONFlG_CONTROL_DESlGN.SHELLBASED WIREFRAME.SHAPE REPRESENTATION’,
’CONFIG.CONTROL.DESIGN.’ +
’GEOMETRICALLY,BOUNDED.SURFACE.SHAPE.REPRESENTATION’,
CONFIG.CONTROL.DESIGN.’ +
’GEOMETR1CALLY.BOUNDED.WlREFRAME_SHAPE.REPRESENTATION’) 4
TYPEOF(sr)) = 1) OR
(SIZEOF (QUERY (it <4 sr\representation.items |
NOT (’CON FIG.CONTROL.DESIGN.AXIS2.PLACEMENT.3D’ IN TYPEOF (it))))
= 0) OR
(SIZEOF (QUERY (sdr <• QUERY (pdr <• USEDIN (sr,
’CONFIG.CONTROL.DESIGN.PROPERTY.DEFIN1TION. REPRESENTATION.’ +
USED.REPRESENTATION’) |
’CON FIG .CONTROL.DESIGN.SHAPE.DEFINITION.REPRESENTATION’ IN
TYPEOF (pdr)) |
NOT (SIZEOF (|’CONFIG.CONTROL.DESIGN.SHAPE.ASPECT,
’CONFIG.CONTROL.DESIGN.SHAPE.ASPECT.RELATIONSHIP’| * TYPEOF
(sdr.definition.delinition)) = 1 ))) = 0 )))) = 0;
END.RULE;
C
Описание аргумента
shape.representation — идентифицирует набор всех ограниченных экземпляров объектов
shape.representation.
9S