Изменения

Перейти к: навигация, поиск

Программирование по контракту

6 байт добавлено, 18:42, 30 сентября 2013
Пример
Постусловия и предусловия:
 
<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)
Анонимный участник

Навигация