- From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 14 Sep 2005 15:14:19 +0000
- To: www-validator-cvs@w3.org
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