W3C home > Mailing lists > Public > www-validator-cvs@w3.org > March 2009

2002/css-validator/org/w3c/css/values CssColorCSS1.java,1.10,1.11

From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
Date: Fri, 06 Mar 2009 14:06:42 +0000
To: www-validator-cvs@w3.org
Message-Id: <E1LfahG-0002np-NL@lionel-hutz.w3.org>
Update of /sources/public/2002/css-validator/org/w3c/css/values
In directory hutz:/tmp/cvs-serv10627

Modified Files:
	CssColorCSS1.java 
Log Message:
avoid conflict between CSS1 only and general CSS properties


Index: CssColorCSS1.java
===================================================================
RCS file: /sources/public/2002/css-validator/org/w3c/css/values/CssColorCSS1.java,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -d -r1.10 -r1.11
--- CssColorCSS1.java	25 Mar 2008 18:30:11 -0000	1.10
+++ CssColorCSS1.java	6 Mar 2009 14:06:40 -0000	1.11
@@ -161,6 +161,8 @@
  */
 public class CssColorCSS1 extends CssColor {
 
+    static HashMap<String,Object> definedColorsCSS1;
+
     /**
      * Create a new CssColorCSS1
      */
@@ -206,38 +208,38 @@
     }
 
     static {
-	definedColors = new HashMap<String,Object>();
-	definedColors.put("black",
+	definedColorsCSS1 = new HashMap<String,Object>();
+	definedColorsCSS1.put("black",
 			  new RGB(0, 0, 0));
-	definedColors.put("silver",
+	definedColorsCSS1.put("silver",
 			  new RGB(192, 192, 192));
-	definedColors.put("gray",
+	definedColorsCSS1.put("gray",
 			  new RGB(128, 128, 128));
-	definedColors.put("white",
+	definedColorsCSS1.put("white",
 			  new RGB(255, 255, 255));
-	definedColors.put("maroon",
+	definedColorsCSS1.put("maroon",
 			  new RGB(128, 0, 0));
-	definedColors.put("red",
+	definedColorsCSS1.put("red",
 			  new RGB(255, 0, 0));
-	definedColors.put("purple",
+	definedColorsCSS1.put("purple",
 			  new RGB(128, 0, 128));
-	definedColors.put("fuchsia",
+	definedColorsCSS1.put("fuchsia",
 			  new RGB(255, 0, 255));
-	definedColors.put("green",
+	definedColorsCSS1.put("green",
 			  new RGB(0, 128, 0));
-	definedColors.put("lime",
+	definedColorsCSS1.put("lime",
 			  new RGB(0, 255, 0));
-	definedColors.put("olive",
+	definedColorsCSS1.put("olive",
 			  new RGB(128, 128, 0));
-	definedColors.put("yellow",
+	definedColorsCSS1.put("yellow",
 			  new RGB(255, 255, 0));
-	definedColors.put("navy",
+	definedColorsCSS1.put("navy",
 			  new RGB(0, 0, 128));
-	definedColors.put("blue",
+	definedColorsCSS1.put("blue",
 			  new RGB(0, 0, 255));
-	definedColors.put("teal",
+	definedColorsCSS1.put("teal",
 			  new RGB(0, 128, 128));
-	definedColors.put("aqua",
+	definedColorsCSS1.put("aqua",
 			  new RGB(0, 255, 255));
     }
 
Received on Friday, 6 March 2009 14:06:57 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:02:34 UTC