Изменения

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

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

13 байт убрано, 12:17, 17 июня 2013
Пример
Контракты:
<tex> push
pre: element != null NULL
post: size = size' + 1 and elements[size'] = element
void push (Object element) </tex>
668
правок

Навигация