Изменения

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

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

12 байт добавлено, 12:20, 17 июня 2013

→‎Пример

Контракты:

<tex>

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

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

<tex>

post: size = size' + 1 and elements[size'] = element

void push (Object element)

</tex>

668

правок

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