Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigadmin / widgets / Icons.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadmin/widgets/Icons.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadmin/widgets/Icons.java
new file mode 100644 (file)
index 0000000..e996bcd
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigadmin/widgets/Icons.java
@@ -0,0 +1,79 @@
+// Icons.java\r
+// $Id: Icons.java,v 1.1 2010/06/15 12:28:33 smhuang Exp $\r
+// (c) COPYRIGHT MIT, INRIA and Keio, 1999.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.jigadmin.widgets;\r
+\r
+import javax.swing.ImageIcon;\r
+\r
+import org.w3c.jigadmin.PropertyManager;\r
+\r
+/**\r
+ * Manages all JigAdmin icons.\r
+ * @version $Revision: 1.1 $\r
+ * @author  Benoît Mahé (bmahe@w3.org)\r
+ */\r
+public class Icons {\r
+\r
+    public static ImageIcon saveIcon      = null;\r
+    public static ImageIcon stopIcon      = null;\r
+    public static ImageIcon helpIcon      = null;\r
+    public static ImageIcon deleteIcon    = null;\r
+    public static ImageIcon addIcon       = null;\r
+    public static ImageIcon reindexIcon   = null;\r
+    public static ImageIcon infoIcon      = null;\r
+    public static ImageIcon dirIcon       = null;\r
+    public static ImageIcon resIcon       = null;\r
+    public static ImageIcon frameIcon     = null;\r
+    public static ImageIcon filterIcon    = null;\r
+    public static ImageIcon metaDataIcon  = null;\r
+    public static ImageIcon serverIcon    = null;\r
+    public static ImageIcon arrowUpIcon   = null;\r
+    public static ImageIcon arrowDownIcon = null;\r
+    public static ImageIcon leftIcon      = null;\r
+    public static ImageIcon rightIcon     = null;\r
+    public static ImageIcon editIcon      = null;\r
+    public static ImageIcon closeIcon     = null;\r
+    public static ImageIcon copyRIcon     = null;\r
+    public static ImageIcon copyLIcon     = null;\r
+    public static ImageIcon teamIcon      = null;\r
+    public static ImageIcon w3chIcon      = null;\r
+    public static ImageIcon w3cmIcon      = null;\r
+    public static ImageIcon jigsawIcon    = null;\r
+\r
+    static {\r
+       PropertyManager pm = PropertyManager.getPropertyManager();\r
+\r
+       saveIcon      = new ImageIcon(pm.getIconLocation("save"));\r
+       stopIcon      = new ImageIcon(pm.getIconLocation("stop"));\r
+       helpIcon      = new ImageIcon(pm.getIconLocation("help"));\r
+       deleteIcon    = new ImageIcon(pm.getIconLocation("delete"));\r
+       addIcon       = new ImageIcon(pm.getIconLocation("add"));\r
+       reindexIcon   = new ImageIcon(pm.getIconLocation("reindex"));\r
+       infoIcon      = new ImageIcon(pm.getIconLocation("reference"));\r
+       dirIcon       = new ImageIcon(pm.getIconLocation("dir"));\r
+       resIcon       = new ImageIcon(pm.getIconLocation("file"));\r
+       frameIcon     = new ImageIcon(pm.getIconLocation("frame"));\r
+       filterIcon    = new ImageIcon(pm.getIconLocation("filter"));\r
+       metaDataIcon  = new ImageIcon(pm.getIconLocation("meta"));\r
+       serverIcon    = new ImageIcon(pm.getIconLocation("server"));\r
+       arrowUpIcon   = new ImageIcon(pm.getIconLocation("pup"));\r
+        arrowDownIcon = new ImageIcon(pm.getIconLocation("pdown"));\r
+       leftIcon      = new ImageIcon(pm.getIconLocation("shadowleft"));\r
+       rightIcon     = new ImageIcon(pm.getIconLocation("shadowright"));\r
+       editIcon      = new ImageIcon(pm.getIconLocation("edit"));\r
+       closeIcon     = new ImageIcon(pm.getIconLocation("close"));\r
+       copyLIcon     = new ImageIcon(pm.getIconLocation("copy2left"));\r
+       copyRIcon     = new ImageIcon(pm.getIconLocation("copy2right"));\r
+       teamIcon      = new ImageIcon(pm.getIconLocation("team"));\r
+       w3chIcon      = new ImageIcon(pm.getIconLocation("w3c_home"));\r
+       w3cmIcon      = new ImageIcon(pm.getIconLocation("w3c_main"));\r
+       jigsawIcon    = new ImageIcon(pm.getIconLocation("jigsaw"));\r
+    }\r
+\r
+    private Icons() {\r
+       //no instance needed\r
+    }\r
+\r
+}\r