Изменения

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

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

34 байта добавлено, 12:09, 17 июня 2013
→‎Пример
Контракты:
<tex> push:</tex>
<tex>pre: element != null</tex>
<tex>post: size == size' + 1 && elements[size'] == element</tex>
<tex>void push(Object element) </tex>
Sergej
668
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32547»

Навигация