it.uniroma3.plasm.editors.util
Class PlasmColorProvider

java.lang.Object
  it.uniroma3.plasm.editors.util.PlasmColorProvider

public class PlasmColorProvider

extends java.lang.Object

This class provide to all PLaSM environment colors for syntax coloring. Here you can specify your color preferences.

Author:

EcT(o)PLaSM Group

Field Summary

static org.eclipse.swt.graphics.RGB	COMMENT The color used for PLaSM comments
static org.eclipse.swt.graphics.RGB	DEFAULT The color used for PLaSM default text
static org.eclipse.swt.graphics.RGB	DIGIT The color used for PLaSM digits
static org.eclipse.swt.graphics.RGB	KEYWORD The color used for PLaSM keywords
static org.eclipse.swt.graphics.RGB	OPERATOR The color used for PLaSM single character operators
static org.eclipse.swt.graphics.RGB	STRING The color used for PLaSM strings

Constructor Summary

PlasmColorProvider()

Method Summary

void	dispose() Release all of the color resources held onto by the receiver.
org.eclipse.swt.graphics.Color	getColor(org.eclipse.swt.graphics.RGB rgb) Return the Color that is stored in the Color table a RGB.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

COMMENT

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

The color used for PLaSM comments

KEYWORD

public static final org.eclipse.swt.graphics.RGB KEYWORD

The color used for PLaSM keywords

OPERATOR

public static final org.eclipse.swt.graphics.RGB OPERATOR

The color used for PLaSM single character operators

STRING

public static final org.eclipse.swt.graphics.RGB STRING

The color used for PLaSM strings

DEFAULT

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

The color used for PLaSM default text

DIGIT

public static final org.eclipse.swt.graphics.RGB DIGIT

The color used for PLaSM digits

Constructor Detail

PlasmColorProvider

public PlasmColorProvider()

Method Detail

dispose

public void dispose()

Release all of the color resources held onto by the receiver.

getColor

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

Return the Color that is stored in the Color table a RGB.

Parameters:

rgb - the RGB object associated with one PLaSM environment

Returns:

the Color object related to the required RGB