- From: Yves Lafon via cvs-syncmail <cvsmail@w3.org>
- Date: Fri, 06 Mar 2009 14:06:42 +0000
- To: www-validator-cvs@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