ГОСТ Р ИСО 10303-41—2022
WHERE
WR1: SELF >= 0 . 0 ;
END_TYPE;
(*
Формальное положение:
WR1. Значение типа данных non_negative_length_measure должно быть положительным или
равным нулю.
19.3.28 Тип данных numeric_measure
Тип данных numeric_measure представляет числовое значение физической величины.
Примечание — Настоящий тип данных может использоваться для того, чтобы делать определения меры
величин, не специфицированных в настоящем стандарте. Настоящий тип данных используется в таком случае в
качестве области определения атрибута value_component (составляющая часть со значением) представляющего
значение с единицей измерения объекта measure_with_unit. Роль атрибута unit_component (составляющая часть
с единицей измерения) при этом играет представляющий единицу измерения СИ объект si_unit или представляю
щий производную единицу измерения объект derived_unit.
EXPRESS-специФикаиия:
*)
TYPE numeric_measure = NUMBER;
END_TYPE;
(*
19.3.29 Тип данных parameter_value
Посредством значений типа parameter_value представляется значение параметра в параметри
ческом пространстве.
EXPRESS-специФикаиия:
*)
TYPE parameter_value = REAL;
END_TYPE;
(*
"
19.3.30 Тип данных plane_angle_measure
Посредством значений типа plane_angle_measure представляется величина плоского угла.
EXPRESS-специФикаиия:
*)
TYPE plane_angle_measure = REAL;
END_TYPE;
(*
19.3.31 Тип данных positive_length_measure
Тип данных positive_length_measure основан на представляющем меру длины типе данных
length_measure с дополнительным ограничением, заключающимся в том, что значение настоящего
типа должно быть положительным.
EXPRESS-специФикаиия:
*)
TYPE positive_length_measure = non_negative_length_measure;
WHERE
WR1: SELF > 0.0;
END_TYPE;
(*
Формальное положение:
WR1. Значение должно быть положительным.
19.3.32 Тип данных positive_plane_angle_measure
Тип данных positive_plane_angle_measure основан на представляющем меру длины типе дан
ных length_measure с дополнительным ограничением, заключающимся в том, что значение настояще
го типа должно быть положительным.
140