Изменения

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

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

4 байта убрано, 20:04, 30 сентября 2013
Пример
private int size;
private Object[] elements;
 
public void push(Object element){
assert element != null;
assert size > 0;
return elements[--size];
}
public int size() {
return size;
}
 
public boolean isEmpty() {
return size == 0;
return elements[size - 1];
}
 
}
Анонимный участник

Навигация