- From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 14 Nov 2012 15:32:14 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/2002/css-validator/org/w3c/css/css
In directory hutz:/tmp/cvs-serv5250
Modified Files:
HTMLParserStyleSheetHandler.java TagSoupStyleSheetHandler.java
Log Message:
aligned interfaces
Index: HTMLParserStyleSheetHandler.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/css/HTMLParserStyleSheetHandler.java,v
retrieving revision 1.5
retrieving revision 1.6
diff -u -d -r1.5 -r1.6
--- HTMLParserStyleSheetHandler.java 26 Mar 2012 12:11:25 -0000 1.5
+++ HTMLParserStyleSheetHandler.java 14 Nov 2012 15:32:12 -0000 1.6
@@ -563,6 +563,22 @@
}
}
+ /**
+ * Parse an HTML document, given as a Reader
+ *
+ * @param reader the Reader of the document
+ * @throws IOException
+ * @throws SAXException
+ */
+ public void parse(Reader reader) throws IOException, SAXException {
+ InputSource inputSource = new InputSource(reader);
+ try {
+ parse(inputSource, null);
+ } finally {
+ reader.close();
+ }
+ }
+
/**
* Parse an HTML document, given as a Reader
* @param reader the Reader of the document
Index: TagSoupStyleSheetHandler.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/css/TagSoupStyleSheetHandler.java,v
retrieving revision 1.13
retrieving revision 1.14
diff -u -d -r1.13 -r1.14
--- TagSoupStyleSheetHandler.java 26 Mar 2012 12:11:25 -0000 1.13
+++ TagSoupStyleSheetHandler.java 14 Nov 2012 15:32:12 -0000 1.14
@@ -561,6 +561,22 @@
}
}
+ /**
+ * Parse an HTML document, given as a Reader
+ * @param reader the Reader of the document
+ * @param docref the String version of the URI of the document
+ * @throws IOException
+ * @throws SAXException
+ */
+ public void parse(Reader reader, String docref) throws IOException, SAXException {
+ InputSource inputSource = new InputSource(reader);
+ try {
+ parse(inputSource, docref);
+ } finally {
+ reader.close();
+ }
+ }
+
void parse(URL url) throws Exception {
InputSource source = new InputSource();
URLConnection connection;
Received on Wednesday, 14 November 2012 15:32:19 UTC