ГОСТ Р ИСО/ТС 10303-1051—2009
)= 2)))=1)))=1)AND
(SIZEOF( QUERY( srwp <* parameter_representations |
(SIZEOF( QUERY( i <* srv/p.items |
(i.name=’target width’) AND
(SIZEOF([’GEOMETRIC_TOLERANCE_MIM.MEASUREJREPRESENTATION ITEM’.
’GEOMETRIC_TOLERANCE_MIM.LENGTH_MEASURE_WITH UNITfTYPEOF(i)
) =
2
)))=
1
))) =
1
));
OTHERWISE: RETURN(FALSE);
END_CASE;
END_FUNCTION;
Г
Определение аргумента
pdf:объектplacod_datum_target_feature. представлениекоторогорассматриваетсяипроверяет
ся.
5.2.3 Определения правил ИММ
Настоящийпунктопределяетправила ИММ для прикладного модуля, рассматриваемого в настоя
щем стандарте.
5.2.3.1 Правило subtype_exclusiveness_geometric_tolerance
Правило subtype_exclusivoness_geometric_tolerance определяет, что экземпляр подтиповдан
ных объекта geometric_tolerance должен быть только одним из экземпляров одного из объектов типа:
angularity_tolerance, circular_runout_tolerance. concentricity_tolerance. cylindricity_tolerance,
flatness_tolorance.Iine_profile_tolorance.parallelism_tolerance.pcrpcndicularitytolerance,
positionjolerance. roundness_tolerance. straightness_tolerance, surface_profile_tolerance,
symmetry_tolorance или total_runout_tolorance.
EXPRESS-спеииФикаиия:
*)
RULE subtype_exclusiveness_geometric_tolerance FOR
(geometricjolerance);
WHERE
WR1:SIZEOF(QUERY (gt <*geometricjolerance | NOT
(type_check_function(gt,
[•GEOMETRIC_TOLERANCE_MIM.ANGULARITY_TOLERANCE’,
’GEOMETRIC_TOLERANCE_MIM.CIRCULAR_RUNOUT_TOLERANCE’.
’GEOMETRIC_TOLERANCE_MIM.COAXIALITY_TOLERANCE’.
’GEOMETRIC_TOLERANCE_MIM.CONCENTRICITY_TOLERANCE’,
■GEOMETRIC_TOLERANCE_MIM.CYLINDRICITY_TOLERANCE’.
’GEOMETRICJTOLERANCEJdlM.FLATNESS_TOLERANCE\
’GEOMETRIC_TOLERANCE_MIM.LINE_PROFILE_TOLERANCE’,
’GEOMETRIC TOLERANCE_MIM.PARALLELISM_TOLERANCE’.
’GEOMETRIC_TOLERANCE_MIM.PERPENDICULARITY_TOLERANCE’.
’GEOMETRIC,TOLERANCEJHIM.POSITION TOLERANCE’.
’GEOMETRIC_TOLERANCE_MIM.ROUNDNESS_TOLERANCE’.
’GEOMETRIC_TOLERANCE_MIM.STRAIGHTNESS_TOLERANCE’.
’GEOMETRICJ ’OLERANCEJrtlM.SURFACE_PROFILE_TOLERANCE\
’GEOMETRIC_TOLERANCE_MIM.SYMMETRY_TOLERANCE’,
’GEOMETRIC_TOLERANCE_MIM.TOTAL_RUNOUT_TOLERANCE’).3)))) =0;
END_RULE;
r
Определение аргумента
geometricjolerance: множество всех экземпляровобъекта geometricjolerance
Формальное утверждение:
WR1: Каждый экземпляр подтипов данных объекта goometricjolerance должен быть только
одним из экземляров одного из объектов типа: angularityjolerance. circular_runoutJolerance.
concentricityjolerance,cylindricityjolerance.flatnessjolerance.line_profileJolerance,
38