KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > eclipse > jdt > internal > core > TypeVector


1 /*******************************************************************************
2  * Copyright (c) 2000, 2006 IBM Corporation and others.
3  * All rights reserved. This program and the accompanying materials
4  * are made available under the terms of the Eclipse Public License v1.0
5  * which accompanies this distribution, and is available at
6  * http://www.eclipse.org/legal/epl-v10.html
7  *
8  * Contributors:
9  * IBM Corporation - initial API and implementation
10  *******************************************************************************/
11 package org.eclipse.jdt.internal.core;
12
13 import org.eclipse.jdt.core.IType;
14
15 public final class TypeVector {
16     static int INITIAL_SIZE = 10;
17     
18     public int size;
19     int maxSize;
20     IType[] elements;
21     
22     public final static IType[] NoElements = new IType[0];
23     
24 public TypeVector() {
25     maxSize = INITIAL_SIZE;
26     size = 0;
27     elements = new IType[maxSize];
28 }
29 public TypeVector(IType[] types) {
30     this.size = types.length;
31     this.maxSize = this.size + 1; // when an element is added, it assumes that the length is > 0
32 elements = new IType[this.maxSize];
33     System.arraycopy(types, 0, elements, 0, this.size);
34 }
35 public TypeVector(IType type) {
36     this.maxSize = INITIAL_SIZE;
37     this.size = 1;
38     elements = new IType[this.maxSize];
39     elements[0] = type;
40 }
41 public void add(IType newElement) {
42     if (size == maxSize) // knows that size starts <= maxSize
43 System.arraycopy(elements, 0, (elements = new IType[maxSize *= 2]), 0, size);
44     elements[size++] = newElement;
45 }
46 public void addAll(IType[] newElements) {
47     if (size + newElements.length >= maxSize) {
48         maxSize = size + newElements.length; // assume no more elements will be added
49 System.arraycopy(elements, 0, (elements = new IType[maxSize]), 0, size);
50     }
51     System.arraycopy(newElements, 0, elements, size, newElements.length);
52     size += newElements.length;
53 }
54 public boolean contains(IType element) {
55     for (int i = size; --i >= 0;)
56         if (element.equals(elements[i]))
57             return true;
58     return false;
59 }
60 public TypeVector copy() {
61     TypeVector clone = new TypeVector();
62     int length = this.elements.length;
63     System.arraycopy(this.elements, 0, clone.elements = new IType[length], 0, length);
64     clone.size = this.size;
65     clone.maxSize = this.maxSize;
66     return clone;
67 }
68 public IType elementAt(int index) {
69     return elements[index];
70 }
71 public IType[] elements() {
72     
73     // do not resize to 0 if empty since may add more elements later
74 if (this.size == 0) return NoElements;
75     
76     if (this.size < this.maxSize) {
77         maxSize = size;
78         System.arraycopy(this.elements, 0, (this.elements = new IType[maxSize]), 0, size);
79     }
80     return this.elements;
81 }
82 public IType find(IType element) {
83     for (int i = size; --i >= 0;)
84         if (element == elements[i])
85             return elements[i];
86     return null;
87 }
88 public IType remove(IType element) {
89     // assumes only one occurrence of the element exists
90 for (int i = size; --i >= 0;)
91         if (element == elements[i]) {
92             // shift the remaining elements down one spot
93 System.arraycopy(elements, i + 1, elements, i, --size - i);
94             elements[size] = null;
95             return element;
96         }
97     return null;
98 }
99 public void removeAll() {
100     for (int i = size; --i >= 0;)
101         elements[i] = null;
102     size = 0;
103 }
104 public String JavaDoc toString() {
105     StringBuffer JavaDoc buffer = new StringBuffer JavaDoc("["); //$NON-NLS-1$
106 for (int i = 0; i < size; i++) {
107         buffer.append("\n"); //$NON-NLS-1$
108 buffer.append(elements[i]);
109     }
110     buffer.append("\n]"); //$NON-NLS-1$
111 return buffer.toString();
112 }
113 }
114
Popular Tags