2002/css-validator/html/engine HtmlEngine.java,1.2,1.3 HtmlEngineListener.java,1.2,1.3

Update of /sources/public/2002/css-validator/html/engine
In directory hutz:/tmp/cvs-serv9389/html/engine

Modified Files:
	HtmlEngine.java HtmlEngineListener.java 
Log Message:
>From Jean-Guilhem Rouel (again!)
Reformatting of code
Fix for bug 774 [1] (even more warnings)
Fix for bug 768 [2]
Modification of the soap output format (each warning list and error list has 
the URI it refers to)


[1] http://www.w3.org/Bugs/Public/show_bug.cgi?id=774
[2] http://www.w3.org/Bugs/Public/show_bug.cgi?id=768



Index: HtmlEngineListener.java
===================================================================
RCS file: /sources/public/2002/css-validator/html/engine/HtmlEngineListener.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- HtmlEngineListener.java	8 Apr 2002 21:22:41 -0000	1.2
+++ HtmlEngineListener.java	14 Sep 2005 15:14:17 -0000	1.3
@@ -26,13 +26,13 @@
  */
 
 public interface HtmlEngineListener {
-  
+
   /**
    * Initialize this engine listener. Invoked when the Html engine is
    * booting up.
    * @param engine the engine that will be listened to.
    */
-  
+
   public void initialize(HtmlEngine engine);
 
 
@@ -41,14 +41,14 @@
    */
 
   public void terminate();
-  
-  
+
+
   /**
-   * Invoked when the engine wants to open a new document. 
+   * Invoked when the engine wants to open a new document.
    * @param url the url that is being opened
    * @param parser the parser used to open the document.
    */
 
   public void openDocument(URL url, HtmlParser parser);
-  
+
 }

Index: HtmlEngine.java
===================================================================
RCS file: /sources/public/2002/css-validator/html/engine/HtmlEngine.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- HtmlEngine.java	8 Apr 2002 21:22:41 -0000	1.2
+++ HtmlEngine.java	14 Sep 2005 15:14:17 -0000	1.3
@@ -33,9 +33,9 @@
 
   HtmlParser parser;
   private Thread    parseThread = null;
-  
+
   Vector listeners              = new Vector(1, 1);
-      
+
   static String     file        = null;
   static String     globaldtd   = System.getProperty("dtd", "loose");
   static boolean    gui         = true; // do we want a gui ? (see -nogui)
@@ -55,10 +55,10 @@
       HtmlEngineListener l = (HtmlEngineListener) listeners.elementAt(i);
       l.initialize(this);
     }
-    
+
     openDocument(file);
   }
-  
+
 
   /**
    * Open the document pointed to by <code>name</code>.
@@ -92,20 +92,20 @@
       e.printStackTrace();
       return;
     }
-    
+
     for(int i = 0; i < listeners.size(); i++) {
       HtmlEngineListener l = (HtmlEngineListener) listeners.elementAt(i);
       l.openDocument(url, parser);
     }
-    
+
     parseThread = new Thread(parser);
     parseThread.setPriority(PARSER_PRIORITY);
     parseThread.start();
   }
-  
+
 
   /**
-   * Notifies all listeners that the engine is shutting down, and perform the 
+   * Notifies all listeners that the engine is shutting down, and perform the
    * shut down.
    */
 
@@ -118,8 +118,8 @@
     System.exit(0);
   }
 
-  
-  
+
+
   /**
    * Main method. Used to run the engine.
    */
@@ -128,15 +128,15 @@
     parseArgs(args);
 
     HtmlEngine engine = new HtmlEngine();
-    
+
     if (gui) {
       HtmlFrame hf = HtmlFrame.openFrame("HtmlFrame", globaldtd);
       engine.addEngineListener(hf);
     }
-      
+
     if (audio)
       engine.addEngineListener(new AuralHtmlParserListener());
-    
+
     engine.launch();
   }
     */
@@ -147,9 +147,9 @@
 
   static private void parseArgs(String args[]) {
     for(int i = 0 ; i < args.length; i++) {
-      
+
       if(args[i].startsWith("-tree")) {
-	
+
       }
       else if (args[i].startsWith("-nogui")) {
 	gui = false;
@@ -180,7 +180,7 @@
 	sysProps.put("html.tree.debug", "true");
 	sysProps.put("html.tags.debug", "true");
 	sysProps.put("speech.debug", "true");
-	sysProps.put("CSS.StyleSheet.debug", "true");	
+	sysProps.put("CSS.StyleSheet.debug", "true");
       }
       else if(args[i].startsWith("-dtd")) {
 	i++;
@@ -195,19 +195,19 @@
       }
     }
   }
-  
+
 
   /**
-   * Add a listener for this engine. The listener will be notified 
+   * Add a listener for this engine. The listener will be notified
    * of various tasks performed by the engine.
    * @param listener the listener to be added.
-   */ 
+   */
 
   public void addEngineListener(HtmlEngineListener listener) {
     listeners.addElement(listener);
   }
 
-  
+
   /**
    * Remove a HtmlEngineListener from the list of listeners.
    * @param listener the HtmlEngineListener to remove from the list.
@@ -216,5 +216,5 @@
   public void removeEngineListener(HtmlEngineListener listener) {
     listeners.removeElement(listener);
     listeners.trimToSize();
-  }  
+  }
 }

Received on Wednesday, 14 September 2005 15:16:09 UTC