01: /*
02: * Copyright 2007 Google Inc.
03: *
04: * Licensed under the Apache License, Version 2.0 (the "License"); you may not
05: * use this file except in compliance with the License. You may obtain a copy of
06: * the License at
07: *
08: * http://www.apache.org/licenses/LICENSE-2.0
09: *
10: * Unless required by applicable law or agreed to in writing, software
11: * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
12: * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
13: * License for the specific language governing permissions and limitations under
14: * the License.
15: */
16: package com.google.gwt.user.server.rpc.impl;
17:
18: /**
19: * A vector of primitive characters.
20: */
21: class CharVector {
22: private int capacityIncrement;
23: private char chars[];
24: private int size;
25:
26: public CharVector(int initialCapacity, int capacityIncrement) {
27: assert (initialCapacity >= 0);
28: assert (capacityIncrement >= 0);
29:
30: this .capacityIncrement = capacityIncrement;
31: chars = new char[initialCapacity];
32: }
33:
34: public void add(char ch) {
35: if (size >= chars.length) {
36: int growBy = (capacityIncrement == 0) ? chars.length * 2
37: : capacityIncrement;
38: char newChars[] = new char[(chars.length + growBy)];
39: System.arraycopy(chars, 0, newChars, 0, size);
40: chars = newChars;
41: }
42:
43: chars[size++] = ch;
44: }
45:
46: public char[] asArray() {
47: return chars;
48: }
49:
50: public char get(int index) {
51: assert (index < size);
52:
53: return chars[index];
54: }
55:
56: public int getSize() {
57: return size;
58: }
59:
60: public void set(int index, char ch) {
61: assert (index >= 0 && index < size);
62:
63: chars[index] = ch;
64: ++size;
65: }
66: }
|