Изменения
→Пример
Постусловия и предусловия:
<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> setHours(int newHours)
<tex> post: </tex> hours == newHours
<tex> void </tex> setMinutes(int newMinutes)
<tex> post: </tex> minutes == newMinutes
<tex> void </tex> setSeconds(int newSeconds)