- From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
- Date: Thu, 08 Sep 2005 12:23:35 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/2002/css-validator/html/tags
In directory hutz:/tmp/cvs-serv8236/html/tags
Modified Files:
HtmlTree.java
Log Message:
Changes from Jean-Guilhem Rouel
Bug fixed: 1174 845 160 766
See
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1174
http://www.w3.org/Bugs/Public/show_bug.cgi?id=845
http://www.w3.org/Bugs/Public/show_bug.cgi?id=160
http://www.w3.org/Bugs/Public/show_bug.cgi?id=766
The handling of selectors has been redone almost entirely.
Also, changelog in files has been removed.
Index: HtmlTree.java
===================================================================
RCS file: /sources/public/2002/css-validator/html/tags/HtmlTree.java,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -d -r1.2 -r1.3
--- HtmlTree.java 8 Apr 2002 21:22:41 -0000 1.2
+++ HtmlTree.java 8 Sep 2005 12:23:32 -0000 1.3
@@ -5,14 +5,16 @@
package html.tags;
-import html.parser.*;
-import html.tree.*;
+import html.parser.Attributes;
+import html.parser.Element;
+import html.tree.ActiveTree;
+
+import java.io.ByteArrayInputStream;
import org.w3c.css.css.StyleSheet;
import org.w3c.css.parser.CssSelectors;
-
-import java.io.ByteArrayInputStream;
-import java.util.*;
+import org.w3c.css.selectors.TypeSelector;
+import org.w3c.css.util.InvalidParamException;
/**
@@ -72,9 +74,10 @@
* Get the stylesheet context for this level in the Html tree. It will be used to
* retrieve the actual stylesheet properties for the element.
* @@ [CONTINUE ME]
+ * @throws InvalidParamException
*/
- public CssSelectors getContext() {
+ public CssSelectors getContext() throws InvalidParamException {
// ContextStack context;
if (context != null) {
@@ -94,8 +97,8 @@
// add own context
// CssContextList thisContext = new CssContextList(getElement().getName());
- context.setElement(getElement().getName().toUpperCase());
-
+// context.setElement(getElement().getName().toUpperCase());
+ context.addType(new TypeSelector(getElement().getName().toUpperCase()));
// Attributes atts = htmlNode.getAttributes();
if (atts != null) {
for (int i = 0; i < atts.length(); i++) {
Received on Thursday, 8 September 2005 12:24:43 UTC