- Timestamp:
- 2012-05-22T13:01:04+12:00 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/greenstone3/src/java/org/greenstone/gsdl3/service/MapRetrieve.java
r14225 r25635 10 10 11 11 // General Java classes 12 import java.io.File;13 12 import java.io.*; 14 13 import java.util.StringTokenizer; … … 36 35 protected static final int DOCUMENT=1; 37 36 38 protected ArrayList index_name_list = null;39 protected ArrayList index_display_list = null;37 protected ArrayList<String> index_name_list = null; 38 protected ArrayList<String> index_display_list = null; 40 39 protected String files_home_dir = null; 41 40 protected String temp_files_dir = null; … … 45 44 protected String http_image_dir = null; 46 45 protected String http_temp_image_dir = null; 47 private LinkedList namesInList = new LinkedList();46 private LinkedList<String> namesInList = new LinkedList<String>(); 48 47 49 48 private DefaultMutableTreeNode tree; … … 91 90 this.http_temp_image_dir = this.site_http_address + "/collect/"+this.cluster_name+"/temp/"; 92 91 93 this.index_name_list = new ArrayList ();94 this.index_display_list = new ArrayList ();92 this.index_name_list = new ArrayList<String>(); 93 this.index_display_list = new ArrayList<String>(); 95 94 Element index_list = (Element)GSXML.getChildByTagName(this.config_info, GSXML.INDEX_ELEM+GSXML.LIST_MODIFIER); 96 95 Element display_index_list = (Element)GSXML.getChildByTagName(extra_info, "search"); … … 200 199 201 200 // The metadata information required 202 Vector metadata_list = new Vector();201 Vector<String> metadata_list = new Vector<String>(); 203 202 boolean all_metadata = false; 204 203 // Process the request parameters … … 292 291 // create the navigation thumbnails. This doesn't seem to work most of the time ??????? 293 292 for (int m = 0; m < metadata_list.size(); m++) { 294 String metadata = (String)metadata_list.get(m);293 String metadata = metadata_list.get(m); 295 294 thumb = ""; 296 295 String value = ""; … … 448 447 //put the names in an array 449 448 for(int ri=0; namesInList.size()>0; ri++){ 450 returnNames[ri]= (String)namesInList.getFirst();449 returnNames[ri]=namesInList.getFirst(); 451 450 returnNames[ri] = returnNames[ri].substring(0,returnNames[ri].indexOf('`')); 452 451 namesInList.removeFirst(); … … 825 824 826 825 for (int i=0; i<this.index_name_list.size(); i++) { 827 String name = (String)this.index_name_list.get(i);826 String name = this.index_name_list.get(i); 828 827 dropDownBox.append("<option value=\""); 829 828 dropDownBox.append(name); 830 829 dropDownBox.append("\">"); 831 String display = (String)this.index_display_list.get(i);830 String display = this.index_display_list.get(i); 832 831 dropDownBox.append(display); 833 832 dropDownBox.append("\n");
Note:
See TracChangeset
for help on using the changeset viewer.