Searched refs:namesVector (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/make/tools/src/build/tools/dtdbuilder/
H A DDTDBuilder.java68 private Vector namesVector = new Vector(); field in class:DTDBuilder
87 int numNames = namesVector.size();
88 out.writeShort((short) (namesVector.size()));
89 for (int i = 0; i < namesVector.size(); i++) {
90 String nm = (String) namesVector.elementAt(i);
101 if (namesVector.size() != numNames) {
140 int i = namesVector.size();
141 namesVector.addElement(name);

Completed in 231 milliseconds