Изменения

<tex> int</tex> <tex> getHours() </tex>

<tex> post:</tex> возвращенное значение будет являться текущим часом.

<tex> int</tex> <tex> getMinutes() </tex>

<tex> post:</tex> возвращенное значение будет являться текущей минутой.

<tex> int</tex> <tex> getSeconds() </tex>

<tex> post:</tex> возвращенное значение будет являться текущей секундой.

<tex> void </tex> <tex>setHours(int</tex> <tex> newHours)</tex>

<tex> pre: </tex> <tex>0 <= newHours <= 23</tex>

<tex> post: </tex> <tex>hours == newHours</tex>

<tex> void </tex> <tex>setMinutes(int</tex> <tex>newMinutes)</tex>

<tex> pre: </tex> <tex>0 <= newMinutes < 60</tex>

<tex> post: </tex> <tex>minutes == newMinutes </tex>

pre: 0 <tex> void </tex> <tex>setSeconds(int</tex> <tex>= newSeconds)</tex>60

<tex> pre: </tex> <tex>0 <= newSeconds < 60</tex> <tex> post: </tex> <tex>seconds == newSeconds</tex>