Изменения

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

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

149 байт убрано, 18:48, 30 сентября 2013
Пример
<tex> post: </tex> <tex>seconds == newSeconds</tex>
Постусловие: (например для getHours()) возвращенное значение будет являться текущим часом.
==== Решение 1 ====
Выбрасывать исключение. Имеет недостатки: неочевидность проверки, необходимость писать кучу кода вручную.
void getHourssetHours(int newHours){
if (newHours < 0 || newHours > 23)
throw GREAT_Time_Exception;
return hours= newHours;
}
Анонимный участник

Навигация