Изменения

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

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

34 байта добавлено, 18:46, 30 сентября 2013

→‎Пример

<tex> void </tex> <tex>setHours(int </tex> <tex> newHours)</tex>

<tex> pre: </tex> <tex>0 <= newHours <= 23</tex>

<tex> void </tex> <tex>setMinutes(int </tex> <tex>newMinutes)</tex>

<tex> pre: </tex> <tex>0 <= newMinutes < 60</tex>

<tex> void </tex> <tex>setSeconds(int </tex> <tex>newSeconds)</tex>

<tex> pre: </tex> <tex>0 <= newSeconds < 60</tex>

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32940»