949596979899100101102103104
StringVector ret = new StringVector(); Enumeration enumeration = variableTable.keys(); while (enumeration.hasMoreElements()) { String s = (String) enumeration.nextElement(); ret.sortInsert(s); } return ret; }
6768697071727374757677
public StringVector getEnvironmentNames() { Iterator iter = this.keySet().iterator(); StringVector v = new StringVector(); while (iter.hasNext()) { v.sortInsert((String) iter.next()); } return v; }
6566676869707172737475
DataModelEnumeration en = extensions.getEnumeration(); while (en.hasMore()) { ExtensionModel ext = (ExtensionModel) en.next(); ret.sortInsert(ext.getExtension()); } return ret; }
7879808182838485868788
DataModelEnumeration en = locales.getEnumeration(); while (en.hasMore()) { LocaleModel lm = (LocaleModel)en.next(); ret.sortInsert(lm.getFileExtension()); } return ret; }