ptolemy.backtrack.eclipse.plugin.editor

Class SemanticHighlightings

java.lang.Object

ptolemy.backtrack.eclipse.plugin.editor.SemanticHighlightings

public class SemanticHighlightings
extends java.lang.Object

Definition of a set of semantic highlightings. Each semantic highlighting is a subclass of SemanticHighlighting and handles a special type of semantic elements.

Since:

Ptolemy II 5.1

Version:

$Id$

Author:

Thomas Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	SemanticHighlightings.MethodHighlighting Semantic highlighting for methods.
protected static class	SemanticHighlightings.StateVariableHighlighting Semantic highlighting for state variables.

Constructor Summary

Constructors

Constructor and Description
SemanticHighlightings()

Method Summary

Modifier and Type	Method and Description
static boolean	affectsEnablement(org.eclipse.jface.preference.IPreferenceStore store, org.eclipse.jface.util.PropertyChangeEvent event) Test whether the event in store affects the enablement of semantic highlighting.
static SemanticHighlighting[]	getSemanticHighlightings() Return the complete list of semantic highlightings to be used in the Ptolemy editor.
static boolean	isEnabled(org.eclipse.jface.preference.IPreferenceStore store) Test whether semantic highlightings are enabled in the preference store.

Methods inherited from class java.lang.Object

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

Constructor Detail

SemanticHighlightings

public SemanticHighlightings()

Method Detail

affectsEnablement

public static boolean affectsEnablement(org.eclipse.jface.preference.IPreferenceStore store,
                                        org.eclipse.jface.util.PropertyChangeEvent event)

Test whether the event in store affects the enablement of semantic highlighting.

Parameters:

store - The preference store where the event was observed.

event - The property change under examination.

Returns:

true if the event in store affects the enablement of semantic highlighting.

getSemanticHighlightings

public static SemanticHighlighting[] getSemanticHighlightings()

Return the complete list of semantic highlightings to be used in the Ptolemy editor.

Returns:

The array of semantic highlightings.

isEnabled

public static boolean isEnabled(org.eclipse.jface.preference.IPreferenceStore store)

Test whether semantic highlightings are enabled in the preference store.

Parameters:

store - The preference store.

Returns:

true if semantic highlightings are enabled.