[freenet-cvs] r9142 - trunk/freenet/src/freenet/clients/http

[jfle...@freenetproject.org]

Author: jflesch
Date: 2006-06-10 22:12:33 +0000 (Sat, 10 Jun 2006)
New Revision: 9142

Modified:
   trunk/freenet/src/freenet/clients/http/NinjaSpider.java
Log:
Decreasing index file size

Modified: trunk/freenet/src/freenet/clients/http/NinjaSpider.java
===================================================================
--- trunk/freenet/src/freenet/clients/http/NinjaSpider.java     2006-06-10 
21:50:19 UTC (rev 9141)
+++ trunk/freenet/src/freenet/clients/http/NinjaSpider.java     2006-06-10 
22:12:33 UTC (rev 9142)
@@ -20,6 +20,7 @@
 import java.util.Set;
 import java.io.File;

+
 /* XML */
 import org.w3c.dom.Document;
 import javax.xml.parsers.DocumentBuilderFactory;
@@ -475,7 +476,7 @@

                /* Word by word */
                for (int i = 0; i < words.length; i++) {
-                       Element wordElement = xmlDoc.createElement("word");
+                       Element wordElement = xmlDoc.createElement("w");/* 
stands for "word" */
                        wordElement.setAttribute("v", words[i]);

                        FreenetURI[] urisForWord = (FreenetURI[]) 
urisByWord.get(words[i]);
@@ -490,20 +491,23 @@
                                        continue;
                                }

-                               Element uriElement = 
xmlDoc.createElement("file");
+                               Element uriElement = xmlDoc.createElement("f"); 
/* stands for "file" */
                                uriElement.setAttribute("id", x.toString());

                                /* Position by position */
                                HashMap positionsForGivenWord = 
(HashMap)positionsByWordByURI.get(uri.toString(false));
                                Integer[] positions = 
(Integer[])positionsForGivenWord.get(words[i]);

+                               StringBuffer positionList = new StringBuffer();
+
                                for(int k=0; k < positions.length ; k++) {
-                                       Element positionElement = 
xmlDoc.createElement("p");
-                                       Text positionText = 
xmlDoc.createTextNode(positions[k].toString());
-                                       
positionElement.appendChild(positionText);
-                                       uriElement.appendChild(positionElement);
+                                       if(k!=0)
+                                               positionList.append(",");
+
+                                       
positionList.append(positions[k].toString());
                                }

+                               
uriElement.appendChild(xmlDoc.createTextNode(positionList.toString()));

                                wordElement.appendChild(uriElement);
                        }