net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/util/HTMLColorProvider.java

   1 /**********************************************************************
   2 Copyright (c) 2000, 2002 IBM Corp. and others.
   3 All rights reserved. This program and the accompanying materials
   4 are made available under the terms of the Common Public License v1.0
   5 which accompanies this distribution, and is available at
   6 http://www.eclipse.org/legal/cpl-v10.html
   7
   8 Contributors:
   9     IBM Corporation - Initial implementation
  10     Klaus Hartlage - www.eclipseproject.de
  11 **********************************************************************/
  12 package net.sourceforge.phpeclipse.phpeditor.util;
  13
  14 import java.util.HashMap;
  15 import java.util.Iterator;
  16 import java.util.Map;
  17
  18 import org.eclipse.swt.graphics.Color;
  19 import org.eclipse.swt.graphics.RGB;
  20 import org.eclipse.swt.widgets.Display;
  21
  22 /**
  23  * Manager for colors used in the Java editor
  24  */
  25 public class HTMLColorProvider {
  26
  27         public static final RGB MULTI_LINE_COMMENT= new RGB(128, 0, 0);
  28         public static final RGB SINGLE_LINE_COMMENT= new RGB(128, 128, 0);
  29         public static final RGB KEYWORD= new RGB(127, 0, 85);
  30   public static final RGB VARIABLE= new RGB(127, 159, 191);
  31         public static final RGB TYPE= new RGB(0, 0, 128);
  32         public static final RGB STRING= new RGB(42, 0, 255);
  33         public static final RGB DEFAULT= new RGB(0, 0, 0);
  34   public static final RGB HTML_DEFAULT= new RGB(0, 128, 128);
  35
  36
  37         protected Map fColorTable= new HashMap(10);
  38
  39         /**
  40          * Release all of the color resources held onto by the receiver.
  41          */
  42         public void dispose() {
  43                 Iterator e= fColorTable.values().iterator();
  44                 while (e.hasNext())
  45                          ((Color) e.next()).dispose();
  46         }
  47
  48         /**
  49          * Return the Color that is stored in the Color table as rgb.
  50          */
  51         public Color getColor(RGB rgb) {
  52                 Color color= (Color) fColorTable.get(rgb);
  53                 if (color == null) {
  54                         color= new Color(Display.getCurrent(), rgb);
  55                         fColorTable.put(rgb, color);
  56                 }
  57                 return color;
  58         }
  59 }