Изменения

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

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

51 байт убрано, 18:14, 30 сентября 2013
Пример
}
}
Предусловие: (например для getHours()) hours >= 0 && hours <= 23.
Постусловие: (например для getHours()) возвращенное значение будет являться текущим часом.
==== Решение 1 ====
Выбрасывать исключение. Имеет недостатки: неочевидность проверки, необходимость писать кучу кода вручную.
Анонимный участник

Навигация