ГОСТ Р ИСО 10303-41—2022
EXPRESS-спецификация:
*)
TYPE date_time_select = SELECT
(date,
date_and_time,
local_time);
END_TYPE;
(*
10.3.4 Тип данных day_in_month_number
Тип данных day_in_month_number представляет порядковый номер дня в месяце.
EXPRESS-специсЬикация:
*)
TYPE day_in_month_number = INTEGER;
WHERE
WR1: {1 <= SELF <= 31};
END_TYPE;
(*
Формальное положение:
WR1. Значение целого числа должно быть в интервале от 1 до 31 включительно.
10.3.5 Тип данных day_in_week_number
Тип данных day_in_week_number представляет порядковый номер дня недели в соответствии с
ИСО 8601.
Примечание — Понедельник — 1, вторник — 2, среда — 3, четверг — 4, пятница — 5, суббота — 6 и
воскресенье — 7.
EXPRESS-спеиисЬикация:
= INTEGER;
};
*)
TYPE day_in_week_number
WHERE
WR1: { 1 <= SELF <=
7
END_TYPE;
(*
Формальное положение:
WR1. Значение целого числа должно быть в интервале от 1 до 7 включительно.
10.3.6 Тип данных day_in_year_number
Тип данных day_in_year_number представляет порядковый номер заданного дня в году.
Пример — 27 марта является 86-м днем в невисокосном году и 87-м днем в високосном году.
EXPRESS-специсЬикация:
*)
TYPE day_in_year_number = INTEGER;
WHERE
WR1: {1 <= SELF <= 366};
END_TYPE;
(*
Формальное положение:
WR1. Значение целого числа должно быть в интервале от 1 до 366 включительно.
10.3.7 Тип данных dts_description_attribute_select
Выбираемый тип данных dts_description_attribute_select является расширением типа данных
description_attribute_select. В настоящем типе данных к списку альтернативных выбираемых типов
данных добавлены именованные типы date_role, date_time_role и time_role.
49