Изменения
→Пример
<tex> isEmpty - </tex> проверка на пустоту
public class ArrayStack { private int size; private Object[] elements; public void push(Object element){
assert element != null;
ensureCapacity(size + 1);
elements[size++] = element;
private void ensureCapacity(int capacity) {
if (capacity <= elements.length) {
newElements[i] = elements[i];
}
}
public Object pop() {
assert size > 0;
assert size > 0;
return elements[size - 1];
}
}
Инвариант:
