Изменения
→Пример
}
Инвариант:
<tex> hours >= 0 </tex> <tex> and </tex> <tex> hours <= 23 </tex><tex> minutes >= 0 </tex> <tex> and</tex> <tex> minutes <= 60 </tex><tex> seconds >= 0 </tex> <tex> and</tex> <tex> seconds <= 60 </tex>
Постусловие: (например для getHours()) возвращенное значение будет являться текущим часом.
==== Решение 1 ====
