668
правок
Изменения
→Пример
<tex> pre: size > 0 </tex>
<tex>post: size == size' - 1 && <tex> and </tex> <tex>result == elements[size]</tex>
<tex>Object pop() </tex>
<tex>post: result == size > 0</tex>
<tex>boolean </tex> <tex>isEmpty() </tex>
