net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/util/PHPColorProvider.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     www.phpeclipse.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  * Manager for colors used in the Java editor
  23  */
  24 public class PHPColorProvider {
  25
  26   public static final RGB MULTI_LINE_COMMENT = new RGB(63, 127, 95);
  27   public static final RGB SINGLE_LINE_COMMENT = new RGB(63, 127, 95);
  28         public static final RGB TAG = new RGB(255, 0, 128);
  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 FUNCTION_NAME = new RGB(127, 127, 159);
  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 TYPE = new RGB(127, 0, 85);
  35   public static final RGB CONSTANT = new RGB(127, 0, 85);
  36   public static final RGB BACKGROUND = new RGB(255, 255, 255);
  37
  38  // public static final RGB LINKED_POSITION_COLOR = new RGB(0, 0, 0);
  39
  40 //  public static final RGB LINE_NUMBER_COLOR = new RGB(0, 0, 0);
  41 //  public static final RGB BACKGROUND_COLOR = new RGB(255, 255, 255);
  42
  43   public static final RGB PHPDOC_TAG = new RGB(63, 127, 95);
  44   public static final RGB PHPDOC_LINK = new RGB(63, 63, 191);
  45   public static final RGB PHPDOC_DEFAULT = new RGB(63, 95, 191);
  46   public static final RGB PHPDOC_KEYWORD = new RGB(127, 159, 191);
  47
  48   protected Map fColorTable = new HashMap(10);
  49
  50   /**
  51    * Release all of the color resources held onto by the receiver.
  52    */
  53   public void dispose() {
  54     Iterator e = fColorTable.values().iterator();
  55     while (e.hasNext())
  56        ((Color) e.next()).dispose();
  57   }
  58
  59   /**
  60    * Return the Color that is stored in the Color table as rgb.
  61    */
  62   public Color getColor(RGB rgb) {
  63     Color color = (Color) fColorTable.get(rgb);
  64     if (color == null) {
  65       color = new Color(Display.getCurrent(), rgb);
  66       fColorTable.put(rgb, color);
  67     }
  68     return color;
  69   }
  70 }