Изменения

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

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

1 байт добавлено, 18:06, 30 сентября 2013

→‎Пример

<tex>pre: element != NULL </tex>

<tex>post: size = size' + 1</tex> <tex> and </tex> <tex> elements[size'] == element </tex>

<tex> void</tex> <tex> push (Object</tex> <tex> element) </tex>

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/32929»