ГОСТ Р ИСО/ТС 10303-1010—2010
4.1.3 Тип hour_ln_day
Тип hour_in_day представляет порядковый номер часа по 24-часовой шкапе. Полночь должна
быть представлена нулевым значением.
EXPRESS-специФикация.
*)
TYPE hour_in_day = INTEGER ;
WHERE
WR1: { 0 <= SELF <24 };
END_TYPE:
r
Формальное утверждение
WR1 — значение целого числа должно быть в диапазоне от 0 до 24.
4.1.4 Тип minute_in_hour
Тип minute_in_hour представляет порядковый номер минуты в часе.
EXPRESS-спсииФикачия:
*>
TYPE minute_in_hour = INTEGER ;
WHERE
WR1: {0 <= SELF <=59};
END_TYPE:
Г
Формальное утверждение
WR1 — значение целого числа должно быть в диапазоне от 0 до 59.
4.1.5 Тип month_in_year_number
Тип month_in_year_number представляет порядковый номер определенного месяца в году.
EXPRESS-специФикаиия:
*)
TYPE month_in_year_number = INTEGER ;
WHERE
WR1: {1 <= SELF <=12};
END_TYPE:
(*
Формальное утверждение
WR1 — значение целого числа должно быть в диапазоне от 1до 12.
4.1.6 Тип offset_orientation
Тип offset_orientation определяет значение, которое позволяет охарактеризовать расположение
часового пояса относительно Гринвичского меридиана.
EXPRESS-спеииФикация-
*)
TYPE offset_orientation = ENUMERATION OF
4