001: // Copyright (c) 2001, 2002 Per M.A. Bothner and Brainfood Inc.
002: // This is free software; for terms and warranty disclaimer see ./COPYING.
003:
004: package gnu.lists;
005:
006: import java.io.*;
007:
008: /** Simple adjustable-length vector of unsigned 32-bit integers (ints). */
009:
010: public class U32Vector extends SimpleVector implements Externalizable
011: /* #ifdef JAVA2 */
012: , Comparable
013: /* #endif */
014: {
015: int[] data;
016:
017: public U32Vector() {
018: data = S32Vector.empty;
019: }
020:
021: public U32Vector(int size, int value) {
022: int[] array = new int[size];
023: data = array;
024: this .size = size;
025: while (--size >= 0)
026: array[size] = value;
027: }
028:
029: public U32Vector(int size) {
030: this .data = new int[size];
031: this .size = size;
032: }
033:
034: public U32Vector(int[] data) {
035: this .data = data;
036: size = data.length;
037: }
038:
039: public U32Vector(Sequence seq) {
040: data = new int[seq.size()];
041: addAll(seq);
042: }
043:
044: /** Get the allocated length of the data buffer. */
045: public int getBufferLength() {
046: return data.length;
047: }
048:
049: public void setBufferLength(int length) {
050: int oldLength = data.length;
051: if (oldLength != length) {
052: int[] tmp = new int[length];
053: System.arraycopy(data, 0, tmp, 0,
054: oldLength < length ? oldLength : length);
055: data = tmp;
056: }
057: }
058:
059: protected Object getBuffer() {
060: return data;
061: }
062:
063: public final int intAtBuffer(int index) {
064: return data[index];
065: }
066:
067: public final long longAtBuffer(int index) {
068: return (long) data[index] & 0xffffffffL;
069: }
070:
071: public final long longAt(int index) {
072: if (index > size)
073: throw new IndexOutOfBoundsException();
074: return longAtBuffer(index);
075: }
076:
077: public final Object get(int index) {
078: if (index > size)
079: throw new IndexOutOfBoundsException();
080: return Convert.toObjectUnsigned(data[index]);
081: }
082:
083: public final Object getBuffer(int index) {
084: return Convert.toObjectUnsigned(data[index]);
085: }
086:
087: public Object setBuffer(int index, Object value) {
088: int old = data[index];
089: data[index] = Convert.toIntUnsigned(value);
090: return Convert.toObjectUnsigned(old);
091: }
092:
093: public final void setIntAt(int index, int value) {
094: if (index > size)
095: throw new IndexOutOfBoundsException();
096: data[index] = value;
097: }
098:
099: public final void setIntAtBuffer(int index, int value) {
100: data[index] = value;
101: }
102:
103: protected void clearBuffer(int start, int count) {
104: while (--count >= 0)
105: data[start++] = 0;
106: }
107:
108: public int getElementKind() {
109: return INT_U16_VALUE;
110: }
111:
112: public String getTag() {
113: return "u32";
114: }
115:
116: public boolean consumeNext(int ipos, Consumer out) {
117: int index = ipos >>> 1;
118: if (index >= size)
119: return false;
120: out.writeInt(data[index]);
121: return true;
122: }
123:
124: public void consumePosRange(int iposStart, int iposEnd, Consumer out) {
125: if (out.ignoring())
126: return;
127: int i = iposStart >>> 1;
128: int end = iposEnd >>> 1;
129: if (end > size)
130: end = size;
131: for (; i < end; i++)
132: out.writeInt(data[i]);
133: }
134:
135: public int compareTo(Object obj) {
136: return compareToLong(this , (U32Vector) obj);
137: }
138:
139: /**
140: * @serialData Write 'size' (using writeInt),
141: * followed by 'size' elements in order (using writeInt).
142: */
143: public void writeExternal(ObjectOutput out) throws IOException {
144: int size = this .size;
145: out.writeInt(size);
146: for (int i = 0; i < size; i++)
147: out.writeInt(data[i]);
148: }
149:
150: public void readExternal(ObjectInput in) throws IOException,
151: ClassNotFoundException {
152: int size = in.readInt();
153: int[] data = new int[size];
154: for (int i = 0; i < size; i++)
155: data[i] = in.readInt();
156: this.data = data;
157: this.size = size;
158: }
159: }
|