4 static final int DEFAULT_SIZE = 128;
9 private long oldestseqn;
12 array=new Slot[DEFAULT_SIZE+1];
20 return (array.length + head) - tail;
24 return array.length - 1;
27 void resize(int newsize) {
28 if (newsize == (array.length-1))
30 Slot[] newarray = new Slot[newsize+1];
31 int currsize = size();
33 for(int i=0; i < currsize; i++) {
34 newarray[i] = array[index];
35 if ((++index) == array.length)
43 private void incrementHead() {
45 if (head >= array.length)
49 private void incrementTail() {
51 if (tail >= array.length)
55 void putSlot(Slot s) {
60 oldestseqn = s.getSequenceNumber();
68 Slot getSlot(long seqnum) {
69 int diff=(int) (seqnum-oldestseqn);
70 int index=diff + tail;
71 if (index >= array.length) {
77 if (index >= array.length)
80 if (head >= tail && index >= head)
86 long getOldestSeqNum() {
90 long getNewestSeqNum() {
91 return oldestseqn + size() - 1;