org.eclipse.ocl.examples.interpreter.console.text
Class ColorManager

java.lang.Object
  extended by org.eclipse.ocl.examples.interpreter.console.text.ColorManager

public class ColorManager
extends java.lang.Object

Registry of color resources.

Author:
Christian W. Damus (cdamus)

Field Summary
static org.eclipse.swt.graphics.RGB COLLECTION_TUPLE
           
static org.eclipse.swt.graphics.RGB COMMENT
           
static org.eclipse.swt.graphics.RGB DEFAULT
           
static org.eclipse.swt.graphics.RGB LITERAL
           
static org.eclipse.swt.graphics.RGB OUTPUT_ERROR
           
static org.eclipse.swt.graphics.RGB OUTPUT_RESULTS
           
 
Constructor Summary
ColorManager()
           
 
Method Summary
 void dispose()
           
 org.eclipse.swt.graphics.Color getColor(org.eclipse.swt.graphics.RGB rgb)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

DEFAULT

public static org.eclipse.swt.graphics.RGB DEFAULT

COMMENT

public static org.eclipse.swt.graphics.RGB COMMENT

LITERAL

public static org.eclipse.swt.graphics.RGB LITERAL

COLLECTION_TUPLE

public static org.eclipse.swt.graphics.RGB COLLECTION_TUPLE

OUTPUT_ERROR

public static org.eclipse.swt.graphics.RGB OUTPUT_ERROR

OUTPUT_RESULTS

public static org.eclipse.swt.graphics.RGB OUTPUT_RESULTS
Constructor Detail

ColorManager

public ColorManager()
Method Detail

dispose

public void dispose()

getColor

public org.eclipse.swt.graphics.Color getColor(org.eclipse.swt.graphics.RGB rgb)