Изменения

}

Инвариант:

<tex> hours >= 0 </tex> <tex> and</tex> <tex> hours <= 23 </tex>

<tex> seconds >= 0 </tex> <tex> and</tex> <tex> seconds <= 60 </tex>

Постусловие: (например для getHours()) возвращенное значение будет являться текущим часом.

==== Решение 1 ====

Выбрасывать исключение. Имеет недостатки: неочевидность проверки, необходимость писать кучу кода вручную.

throw GREAT_Time_Exception;

return hours;