Изменения

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

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

11 байт убрано, 21:22, 30 сентября 2013
Пример
int getHours()  
post: возвращенное значение будет являться текущим часом.
int getMinutes()  
post: возвращенное значение будет являться текущей минутой.
int getSeconds()
 
post: возвращенное значение будет являться текущей секундой.
void setHours(int newHours)
 
pre: 0 <= newHours <= 23
 
post: hours == newHours
void setMinutes(int newMinutes)
 
pre: 0 <= newMinutes < 60
 
post: minutes == newMinutes
void setSeconds(int newSeconds)
 
pre: 0 <= newSeconds < 60
 
post: seconds == newSeconds
Анонимный участник

Навигация