ptolemy.backtrack.eclipse.plugin.editor

Class SemanticHighlightingReconciler.HighlightingStyle

java.lang.Object

ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightingReconciler.HighlightingStyle

Enclosing class:

SemanticHighlightingReconciler

protected static class SemanticHighlightingReconciler.HighlightingStyle
extends java.lang.Object

The semantic highlighting style.

Since:

Ptolemy II 5.1

Version:

$Id$

Author:

Thomas Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Constructor Summary

Constructors

Constructor and Description
HighlightingStyle(org.eclipse.jface.text.TextAttribute textAttribute, boolean isEnabled) Construct a highlighting style with the given text attribute.

Method Summary

Modifier and Type	Method and Description
org.eclipse.jface.text.TextAttribute	getTextAttribute() Return the text attribute.
boolean	isEnabled() Return whether this style is enabled.
void	setEnabled(boolean isEnabled) Set whether this style is enabled.
void	setTextAttribute(org.eclipse.jface.text.TextAttribute textAttribute) Set the text attribute.

Methods inherited from class java.lang.Object

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

Constructor Detail

HighlightingStyle

public HighlightingStyle(org.eclipse.jface.text.TextAttribute textAttribute,
                         boolean isEnabled)

Construct a highlighting style with the given text attribute.

Parameters:

textAttribute - The text attribute.

isEnabled - Whether this style is enabled.

Method Detail

getTextAttribute

public org.eclipse.jface.text.TextAttribute getTextAttribute()

Return the text attribute.

Returns:

The text attribute.

See Also:

setTextAttribute(TextAttribute)

isEnabled

public boolean isEnabled()

Return whether this style is enabled.

Returns:

true if this style is enabled.

setEnabled

public void setEnabled(boolean isEnabled)

Set whether this style is enabled.

Parameters:

isEnabled - true if this style is enabled.

setTextAttribute

public void setTextAttribute(org.eclipse.jface.text.TextAttribute textAttribute)

Set the text attribute.

Parameters:

textAttribute - The text attribute.

See Also:

getTextAttribute()