Изменения

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

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

35 байт добавлено, 12:57, 17 июня 2013
Пример
<tex>post: size == size' - 1<tex> and </tex> <tex>result == elements[size]</tex>
<tex>Object </tex> <tex> pop() </tex>
<tex> peek:</tex>
<tex>post result == elements[size - 1]</tex>
<tex>Object </tex> <tex> peek() </tex>
<tex> size:</tex>
<tex>post: result == size </tex>
<tex>int </tex><tex> size()</tex>
<tex>isEmpty:</tex>
668
правок

Навигация