ptolemy.backtrack.eclipse.plugin.editor

Class SemanticHighlighting

java.lang.Object

ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlighting

Direct Known Subclasses:

SemanticHighlightings.MethodHighlighting, SemanticHighlightings.StateVariableHighlighting

public abstract class SemanticHighlighting
extends java.lang.Object

Abstract superclass of Ptolemy semantic highlighting.

Since:

Ptolemy II 5.1

Version:

$Id: SemanticHighlighting.java 47482 2007-12-06 18:33:55Z cxh $

Author:

Thomas Feng

See Also:

SemanticHighlightings

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Constructor Summary

Constructors

Constructor and Description
SemanticHighlighting()

Method Summary

Modifier and Type	Method and Description
abstract boolean	consumes(SemanticToken token) Test whether a semantic token can be consumed.
abstract java.lang.String	getBoldPreferenceKey() Get the key of the bold face preference.
abstract java.lang.String	getColorPreferenceKey() Get the key of the color preference.
abstract java.lang.String	getEnabledPreferenceKey() Get the key of the enabled preference.
abstract java.lang.String	getItalicPreferenceKey() Get the key of the italic font preference.

Methods inherited from class java.lang.Object

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

Constructor Detail

SemanticHighlighting

public SemanticHighlighting()

Method Detail

consumes

public abstract boolean consumes(SemanticToken token)

Test whether a semantic token can be consumed.

Parameters:

token - The token to be tested.

Returns:

true if the token can be consumed.

getBoldPreferenceKey

public abstract java.lang.String getBoldPreferenceKey()

Get the key of the bold face preference.

Returns:

The key for the bold face preference.

getColorPreferenceKey

public abstract java.lang.String getColorPreferenceKey()

Get the key of the color preference.

Returns:

The key of the color preference.

getEnabledPreferenceKey

public abstract java.lang.String getEnabledPreferenceKey()

Get the key of the enabled preference.

Returns:

The key of the enabled preference.

getItalicPreferenceKey

public abstract java.lang.String getItalicPreferenceKey()

Get the key of the italic font preference.

Returns:

The key of the italic font preference.