jaroslav@149: /* jaroslav@149: * To change this template, choose Tools | Templates jaroslav@149: * and open the template in the editor. jaroslav@149: */ jaroslav@149: package sun.tools.javap; jaroslav@149: jaroslav@149: /** A JavaScript ready replacement for java.util.Vector jaroslav@149: * jaroslav@149: * @author Jaroslav Tulach jaroslav@149: */ jaroslav@149: final class Vector { jaroslav@150: private Object[] arr; jaroslav@150: jaroslav@149: Vector() { jaroslav@149: } jaroslav@149: jaroslav@149: Vector(int i) { jaroslav@150: this(); jaroslav@149: } jaroslav@149: jaroslav@149: void add(Object objectType) { jaroslav@150: addElement(objectType); jaroslav@149: } jaroslav@149: void addElement(Object obj) { jaroslav@150: setSize(size() + 1); jaroslav@150: setElementAt(obj, size()); jaroslav@149: } jaroslav@149: jaroslav@149: int size() { jaroslav@150: return arr == null ? 0 : arr.length; jaroslav@149: } jaroslav@149: jaroslav@150: void copyInto(Object[] accflags) { jaroslav@149: throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates. jaroslav@149: } jaroslav@149: jaroslav@149: Object elementAt(int index) { jaroslav@150: return arr[index]; jaroslav@149: } jaroslav@149: jaroslav@150: void setSize(int len) { jaroslav@150: if (arr == null) { jaroslav@150: arr = new Object[len]; jaroslav@150: } else { jaroslav@150: Object[] newArr = new Object[len]; jaroslav@150: int min = Math.min(len, arr.length); jaroslav@150: for (int i = 0; i < min; i++) { jaroslav@150: newArr[i] = arr[i]; jaroslav@150: } jaroslav@150: arr = newArr; jaroslav@150: } jaroslav@149: } jaroslav@149: jaroslav@150: void setElementAt(Object val, int index) { jaroslav@150: arr[index] = val; jaroslav@149: } jaroslav@149: }