Изменения

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

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

163 байта добавлено, 11:36, 17 июня 2013
Пример
<tex> elements - </tex> массив элементов
 
Методы:
<tex> isEmpty - </tex> проверка на пустоту
 
Инвариант
 
Размер не отрицателен, <tex>size >=0</tex>
 
Элементы заполнены <tex>elements[0..size - 1] != NULL </tex>
668
правок

Навигация