Изменения
→Пример
<tex> void </tex> <tex> setHours(int newHours)</tex>
<tex> pre: </tex> <tex> 0 <= newHours <= 23</tex>
<tex> post: </tex> <tex> hours == newHours</tex>
<tex> void </tex> <tex> setMinutes(int newMinutes)</tex>
<tex> pre: </tex> <tex> 0 <= newMinutes < 60</tex>
<tex> post: </tex> <tex> minutes == newMinutes</tex>
<tex> void </tex> <tex> setSeconds(int newSeconds)</tex>
<tex> pre: </tex> <tex> 0 <= newSeconds < 60</tex>
<tex> post: </tex> <tex> seconds == newSeconds</tex>
Постусловие: (например для getHours()) возвращенное значение будет являться текущим часом.
