Изменения

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

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

521 байт добавлено, 11:33, 17 июня 2013
Нет описания правки
Здесь мы видим, что, как и в Решение 1, осуществляется проверка пред и пост условий для наших методов. В чем разница? Разница в том, что во втором случае это более наглядно и удобно.
== Пример ==
Рассмотрим стек на массиве. У него есть переменные
 
<tex> size - </tex> число элементов
 
<tex> elements - </tex> массив элементов
Методы:
 
<tex>push - </tex> добавить элемент
 
<tex> pop - </tex> удалить элемент
 
<tex> peek - </tex> получить элемент на вершине
 
<tex> size - </tex> число элементов
 
<tex> isEmpty - </tex> проверка на пустоту
668
правок

Навигация