SlotBuffer() {
array=new Slot[DEFAULT_SIZE+1];
+ head=tail=0;
+ oldestseqn=0;
}
int size() {
return (array.length + head) - tail;
}
+ int capacity() {
+ return array.length - 1;
+ }
+
void resize(int newsize) {
if (newsize == (array.length-1))
return;