Изменения

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

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

293 байта добавлено, 15:51, 15 июня 2013
→‎Пример
}}
== Пример ==
Необходимо гарантировать, что данный класс будет возвращать корректные данные, либо, вообще не будет работать (Исходя из принципа «Мертвые программы не лгут»).
class Time {
intHOURS;
Sergej
668
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32522»

Навигация