Case Study: adding data and statistics

[ifi-stolz-refaktor.git] / case-study / jdt-before / ui / org / eclipse / jdt / internal / ui / text / JavaColorManager.java

diff --git a/case-study/jdt-before/ui/org/eclipse/jdt/internal/ui/text/JavaColorManager.java b/case-study/jdt-before/ui/org/eclipse/jdt/internal/ui/text/JavaColorManager.java
new file mode 100644 (file)
index 0000000..11baad3
--- /dev/null
+++ b/case-study/jdt-before/ui/org/eclipse/jdt/internal/ui/text/JavaColorManager.java
@@ -0,0 +1,142 @@
+/*******************************************************************************
+ * Copyright (c) 2000, 2011 IBM Corporation and others.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.jdt.internal.ui.text;
+
+
+import java.util.HashMap;
+import java.util.Iterator;
+import java.util.Map;
+
+import org.eclipse.swt.graphics.Color;
+import org.eclipse.swt.graphics.RGB;
+import org.eclipse.swt.widgets.Display;
+
+import org.eclipse.jdt.ui.text.IColorManager;
+import org.eclipse.jdt.ui.text.IColorManagerExtension;
+
+/**
+ * Java color manager.
+ */
+public class JavaColorManager implements IColorManager, IColorManagerExtension {
+
+       protected Map<String, RGB> fKeyTable= new HashMap<String, RGB>(10);
+       protected Map<Display, Map<RGB, Color>> fDisplayTable= new HashMap<Display, Map<RGB, Color>>(2);
+
+       /**
+        * Flag which tells if the colors are automatically disposed when
+        * the current display gets disposed.
+        */
+       private boolean fAutoDisposeOnDisplayDispose;
+
+
+       /**
+        * Creates a new Java color manager which automatically
+        * disposes the allocated colors when the current display
+        * gets disposed.
+        */
+       public JavaColorManager() {
+               this(true);
+       }
+
+       /**
+        * Creates a new Java color manager.
+        *
+        * @param autoDisposeOnDisplayDispose   if <code>true</code>  the color manager
+        * automatically disposes all managed colors when the current display gets disposed
+        * and all calls to {@link org.eclipse.jface.text.source.ISharedTextColors#dispose()} are ignored.
+        *
+        * @since 2.1
+        */
+       public JavaColorManager(boolean autoDisposeOnDisplayDispose) {
+               fAutoDisposeOnDisplayDispose= autoDisposeOnDisplayDispose;
+       }
+
+       public void dispose(Display display) {
+               Map<RGB, Color> colorTable= fDisplayTable.get(display);
+               if (colorTable != null) {
+                       Iterator<Color> e= colorTable.values().iterator();
+                       while (e.hasNext()) {
+                               Color color= e.next();
+                               if (color != null && !color.isDisposed())
+                                       color.dispose();
+                       }
+               }
+       }
+
+       /*
+        * @see IColorManager#getColor(RGB)
+        */
+       public Color getColor(RGB rgb) {
+
+               if (rgb == null)
+                       return null;
+
+               final Display display= Display.getCurrent();
+               Map<RGB, Color> colorTable= fDisplayTable.get(display);
+               if (colorTable == null) {
+                       colorTable= new HashMap<RGB, Color>(10);
+                       fDisplayTable.put(display, colorTable);
+                       if (fAutoDisposeOnDisplayDispose) {
+                               display.disposeExec(new Runnable() {
+                                       public void run() {
+                                               dispose(display);
+                                       }
+                               });
+                       }
+               }
+
+               Color color= colorTable.get(rgb);
+               if (color == null) {
+                       color= new Color(Display.getCurrent(), rgb);
+                       colorTable.put(rgb, color);
+               }
+
+               return color;
+       }
+
+       /*
+        * @see IColorManager#dispose
+        */
+       public void dispose() {
+               if (!fAutoDisposeOnDisplayDispose)
+                       dispose(Display.getCurrent());
+       }
+
+       /*
+        * @see IColorManager#getColor(String)
+        */
+       public Color getColor(String key) {
+
+               if (key == null)
+                       return null;
+
+               RGB rgb= fKeyTable.get(key);
+               return getColor(rgb);
+       }
+
+       /*
+        * @see IColorManagerExtension#bindColor(String, RGB)
+        */
+       public void bindColor(String key, RGB rgb) {
+               Object value= fKeyTable.get(key);
+               if (value != null)
+                       throw new UnsupportedOperationException();
+
+               fKeyTable.put(key, rgb);
+       }
+
+       /*
+        * @see IColorManagerExtension#unbindColor(String)
+        */
+       public void unbindColor(String key) {
+               fKeyTable.remove(key);
+       }
+}