Изменения

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

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

20 байт добавлено, 21:17, 30 сентября 2013

→‎Пример

public class ArrayStack {

private int size= 0; private Object[] elements= new Object[2];

public void push(Object element){

assert element != null;

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

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