Изменения

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

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

1 байт добавлено, 21:23, 30 сентября 2013
Пример
pre: 0 <= newMinutes < 60
post: minutes == newMinutes
 
void setSeconds(int newSeconds)
Анонимный участник

Навигация