Изменения

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

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

44 байта добавлено, 17:58, 30 сентября 2013
Пример
<tex>post: size = size' + 1</tex> <tex> and </tex> <tex> elements[size'] = element </tex>
<tex> void </tex> push(Object </tex> <tex> element) </tex>
<tex>post: size == size' - 1</tex> <tex> and </tex> <tex>result == elements[size]</tex>
<tex> Object </tex> <tex> pop() </tex>
<tex>post: result == elements[size - 1]</tex>
<tex> Object </tex> <tex> peek() </tex>
Анонимный участник

Навигация