Изменения

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

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

2 байта добавлено, 12:58, 17 июня 2013

→‎Пример

Контракты:

<tex>

push </tex>

<tex>pre: size > 0</tex>

<tex>post : result == elements[size - 1]</tex>

<tex>Object</tex> <tex> peek() </tex>

668

правок

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