Changeset 2168
- Timestamp:
- 2001-03-13T13:42:58+13:00 (23 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/java-client/org/nzdl/gsdl/SimpleGraphicalClient/SearchPanel.java
r2167 r2168 203 203 for (ListIterator i = docIDs.listIterator(); i.hasNext(); ) { 204 204 String docID = (String) i.next(); 205 Set titleSet = (Set) titleMetaData.get( docID );206 ArrayList titleList = new ArrayList( titleSet);205 //Set titleSet = (Set) titleMetaData.get( docID ); 206 ArrayList titleList = new ArrayList((Set)titleMetaData.get(docID)); 207 207 // use the first title as *the* title 208 208 titleMap.put(docID, titleList.get(0)); … … 260 260 261 261 Date startTime = new Date(); 262 Date t1 = new Date();263 264 262 windowParent.setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR)); 265 266 263 //trash the old htmlDoc ... 267 264 try { … … 271 268 throw new Error (exception.toString()); 272 269 } 273 274 270 htmlDoc = new GMLDocument(); 271 Date t1 = new Date(); 272 Date d1 = new Date(); 273 Date d2 = new Date(); 274 Date d3 = new Date(); 275 275 try { // get the document and read it in as HTML 276 htmlEditorKit.read( new StringReader(csModel.getNzdlService().getDocument(result.getCollectionName(), result.getDocID())), htmlDoc, 0); 276 d1 = new Date(); 277 String docContents = csModel.getNzdlService().getDocument(result.getCollectionName(), result.getDocID()); 278 d2 = new Date(); 279 //long ddiff1 = d2.getTime() - d1.getTime(); 280 // System.err.println("getDocument = " + ddiff1 + "ms"); 281 htmlEditorKit.read( new StringReader(docContents), htmlDoc, 0); 282 d3 = new Date(); 283 //long ddiff2 = d3.getTime() - d2.getTime(); 284 //System.err.println("StringReader() = " + ddiff2 + "ms"); 285 286 // htmlEditorKit.read( new StringReader(csModel.getNzdlService().getDocument(result.getCollectionName(), result.getDocID())), htmlDoc, 0); 277 287 } 278 288 catch(BadLocationException badLocException) … … 283 293 { 284 294 System.err.println("IO Exception whilst reading doc contents" + ioException); 285 295 } 286 296 Date t2 = new Date(); 287 297 long diff = t2.getTime() - t1.getTime(); 288 System.err.println("getDocument() = " + diff + " ms"); 298 long ddiff1 = d2.getTime() - d1.getTime(); 299 long ddiff2 = d3.getTime() - d2.getTime(); 300 System.err.println("nzdl.getDocument = " + ddiff1 + "ms"); 301 System.err.println("StringReader() = " + ddiff2 + "ms"); 302 System.err.println("getDocument total = " + diff + " ms"); 289 303 290 304 Date t3 = new Date(); … … 298 312 documentPane.setCaretPosition(1); 299 313 300 Date t5 = new Date();301 long diff7 = t5.getTime() - t4.getTime();302 System.err.println("documentPane scroll " + diff7 + " ms");314 //Date t5 = new Date(); 315 //long diff7 = t5.getTime() - t4.getTime(); 316 //System.err.println("documentPane scroll " + diff7 + " ms"); 303 317 304 318 //System.err.println("getting image data...");
Note:
See TracChangeset
for help on using the changeset viewer.