ГОСТ Р ИСО 10303-41—2022
EXPRESS-специФикаиия:
*)
TYPE dts_description_attribute_select = SELECT BASED_ON
description_attribute_select WITH
(date_role,
date_time_role,
time_role);
END_TYPE;
(*
10.3.8 Тип данных hour_in_day
Тип данных hour_in_day представляет часовую составляющую заданного времени в 24-часовом
измерении. Полночь представляется как 0 ч.
Пример — Трем часам пополудни соответствует значение типа hour_in_day, равное 15.
Примечание — Хотя в ИСО 8601 допускается два представления полночи, 00.00 и 24.00, в настоящем
стандарте представления ограничены только первым из значений.
EXPRESS-спеиисЬикаиия:
*)
TYPE hour_in_day = INTEGER;
WHERE
WR1: { 0 <= SELF <24 };
END_TYPE;
(*
"
Формальное положение:
WR1. Значение целого числа должно быть в интервале от 1 до 23 включительно.
10.3.9 Тип данных minute_in_hour
Тип данных minute_in_hour представляет минутную составляющую заданного времени.
EXPRESS-спеиисЬикаиия:
INTEGER;
59 };
*)
TYPE minute_in_hour =
WHERE
WR1: { 0 <= SELF <=
END_TYPE;
(*
"
Формальное положение:
WR1. Значение целого числа должно быть в интервале от 1 до 59 включительно.
10.3.10 Тип данных month_in_year_number
Тип данных month_in_year_number представляет порядковый номер месяца в году в соответ
ствии с ИСО 8601.
Примечание — Январь — 1, февраль — 2, март — 3, апрель — 4, май — 5, июнь — 6, июль — 7,
август — 8, сентябрь — 9, октябрь — 10, ноябрь — 11 и декабрь — 12.
EXPRESS-спеиисЬикаиия:
*)
TYPE month_in_year_number = INTEGER;
WHERE
WR1: { 1 <= SELF <= 12 };
END_TYPE;
(*
Формальное положение:
WR1. Значение целого числа должно быть в интервале от 1 до 12 включительно.
10.3.11 Тип данных second_in_minute
Тип данных second_in_minute представляет порядковый номер секунды в минуте.