ГОСТ Р ИСО 10303-505—2006
WR15:- допустимые элементы вида:
SIZEOF (QUERY (ais <* USEDIN (SELF,
’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREAJN_SET.IN_SET) |
NOT (SIZEOF (QUERY
(mi
<* QUERY (item <* ais.area.items |
(’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM’
IN TYPEOF(item))) |
NOT (SIZEOF (QUERY (pvjtem <* mi.mapping_source.
mapped_representation.items |
NOT (SIZEOF (TYPEOF(pvJtem) *
[’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.’ ♦
’STYLED_ITEM’,
’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.CAMERAJMAGE’,
’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.’ ♦
•AXIS2 PLACEMENT!) = 1)
)) =
0
)
)) =
0
)
)) = 0;
WR16:-- виды содержат одну проекцию:
SIZEOF (QUERY (ais <* USEDIN (SELF,
•AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET) |
NOT (SIZEOF (QUERY
(mi
<* QUERY (item <* ais.area.items |
(’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPED_ITEM’
IN TYPEOF(item))) |
NOT (SIZEOF (QUERY (pvjtem <* mi.mapping_source.
mapped_representation.items |
(,AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.CAMERA_IMAGE’
IN TYPEOF(pvJtem))
)) =
1
)
)) =
0
)
WR17:- виды содержат одно размещение:
SIZEOF (QUERY (ais <* USEDIN (SELF,
•AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET) |
NOT (SIZEOF (QUERY (mi <* QUERY (item <* ais.area.items |
(’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPEDJTEM’
IN TYPEOF(item))) |
NOT (SIZEOF (QUERY (a2p <* QUERY (pv_item <* mi.mapping_source.
mapped_representation.items |
(’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AXIS2_PLACEMENT
IN TYPEOF(pvJtem))) |
(’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.’ +
’REPRESENTATION_MAP.MAPPING_SOURCE’ IN ROLESOF (a2p))
)) = 1)
)) =
0
)
)) =
0
:
WR18:-- виды имеют уникальный контекст;
SIZEOF (QUERY (ais <* USEDIN (SELF,
•AIC_.DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET)|
NOT (SIZEOF (QUERY (mi <* QUERY (item <* ais.area.items |
(’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.MAPPEDJTEM’
IN TYPEOF(item))) |
9