ГОСТ Р ИСОП-С 10303-1010—2010
(ahead,
exact.
behind);
END_TYPE;
С
Определения перечисленных элементов
ahead — часовой пояс расположен восточнее часового пояса Гринвичского меридиана;
exact — часовой пояс соответствует часовому поясу Гринвичского меридиана:
behind — часовой пояс расположен западнее часового пояса Гринвичского меридиана.
4.1.7 Тип second_in_minute
Тип second_in_minute представляет время в рамкаходной минуты, выраженное вдоляхсекунд.
EXPRESS-споиификаиия:
*)
TYPE second_in_minute = REAL ;
WHERE
WR1; {0 <= SELF <= 60.0 };
END_TYPE;
r
Формальное утверждение
WR1 — значение действительного числа должно быть в диапазоне от 0 до 60,0.
4.1.8 Тип year_number
Тип year_number представляет значение года по григорианскому календарю.
EXPRESS-спеиификаиия:
•)
TYPE year_number = INTEGER;
END_TYPE;
Г
4.2 Определение объектов ПЭМ
В данном подразделе определены объекты ПЭМ прикладного модуля «Дата и время». Каждый
прикладной объект ПЭМ является простейшим неделимым элементом с характеризующими егоатрибу
тами и представляет собой уникальное понятие прикладной области. Ниже приведены объекты ПЭМ и
их определения.
4.2.1 Объект Calendar_date
Объект Calendar_date представляетдату, определенную какпорядковый номердня в месяце кон
кретного года.
EXPRESS-спеиификация:
ENTITY Calendar_date;
year_component: year_number;
month_component: monthJn_year_number;
day_component: dayJn_month_number:
END_ENTITY;
r
5