ptolemy.backtrack.eclipse.plugin.editor

Class SemanticHighlightings.StateVariableHighlighting

java.lang.Object

ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlighting

ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightings.StateVariableHighlighting

Enclosing class:

SemanticHighlightings

protected static class SemanticHighlightings.StateVariableHighlighting
extends SemanticHighlighting

Semantic highlighting for state variables.

Since:

Ptolemy II 5.1

Version:

$Id$

Author:

Thomas Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StateVariableHighlighting()

Method Summary

Modifier and Type	Method and Description
boolean	consumes(SemanticToken token) Test whether a semantic token can be consumed.
java.lang.String	getBoldPreferenceKey() Get the key of the bold face preference.
java.lang.String	getColorPreferenceKey() Get the key of the color preference.
java.lang.String	getEnabledPreferenceKey() Get the key of the enabled preference.
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

StateVariableHighlighting

protected StateVariableHighlighting()

Method Detail

consumes

public boolean consumes(SemanticToken token)

Test whether a semantic token can be consumed.

Specified by:

consumes in class SemanticHighlighting

Parameters:

token - The token to be tested.

Returns:

true if the token can be consumed.

getBoldPreferenceKey

public java.lang.String getBoldPreferenceKey()

Get the key of the bold face preference.

Specified by:

getBoldPreferenceKey in class SemanticHighlighting

Returns:

The key for the bold face preference.

getColorPreferenceKey

public java.lang.String getColorPreferenceKey()

Get the key of the color preference.

Specified by:

getColorPreferenceKey in class SemanticHighlighting

Returns:

The key of the color preference.

getEnabledPreferenceKey

public java.lang.String getEnabledPreferenceKey()

Get the key of the enabled preference.

Specified by:

getEnabledPreferenceKey in class SemanticHighlighting

Returns:

The key of the enabled preference.

getItalicPreferenceKey

public java.lang.String getItalicPreferenceKey()

Get the key of the italic font preference.

Specified by:

getItalicPreferenceKey in class SemanticHighlighting

Returns:

The key of the italic font preference.