package de.unisiegen.gtitool.core.preferences;
import java.awt.Color;
import java.util.ArrayList;
import java.util.Locale;
import java.util.prefs.Preferences;
import javax.swing.JComponent;
import javax.swing.event.EventListenerList;
import de.unisiegen.gtitool.core.entities.Alphabet;
import de.unisiegen.gtitool.core.entities.DefaultAlphabet;
import de.unisiegen.gtitool.core.entities.DefaultNonterminalSymbol;
import de.unisiegen.gtitool.core.entities.DefaultNonterminalSymbolSet;
import de.unisiegen.gtitool.core.entities.DefaultRegexAlphabet;
import de.unisiegen.gtitool.core.entities.DefaultSymbol;
import de.unisiegen.gtitool.core.entities.DefaultTerminalSymbol;
import de.unisiegen.gtitool.core.entities.DefaultTerminalSymbolSet;
import de.unisiegen.gtitool.core.entities.NonterminalSymbol;
import de.unisiegen.gtitool.core.entities.NonterminalSymbolSet;
import de.unisiegen.gtitool.core.entities.Production;
import de.unisiegen.gtitool.core.entities.State;
import de.unisiegen.gtitool.core.entities.Symbol;
import de.unisiegen.gtitool.core.entities.TerminalSymbol;
import de.unisiegen.gtitool.core.entities.TerminalSymbolSet;
import de.unisiegen.gtitool.core.entities.Transition;
import de.unisiegen.gtitool.core.exceptions.alphabet.AlphabetException;
import de.unisiegen.gtitool.core.exceptions.nonterminalsymbolset.NonterminalSymbolSetException;
import de.unisiegen.gtitool.core.exceptions.terminalsymbolset.TerminalSymbolSetException;
import de.unisiegen.gtitool.core.i18n.Messages;
import de.unisiegen.gtitool.core.parser.regexalphabet.RegexAlphabetParseable;
import de.unisiegen.gtitool.core.preferences.item.AlphabetItem;
import de.unisiegen.gtitool.core.preferences.item.ColorItem;
import de.unisiegen.gtitool.core.preferences.item.LanguageItem;
import de.unisiegen.gtitool.core.preferences.item.NonterminalSymbolItem;
import de.unisiegen.gtitool.core.preferences.item.NonterminalSymbolSetItem;
import de.unisiegen.gtitool.core.preferences.item.TerminalSymbolSetItem;
import de.unisiegen.gtitool.core.preferences.listener.ColorChangedListener;
import de.unisiegen.gtitool.core.preferences.listener.LanguageChangedListener;
import de.unisiegen.gtitool.logger.Logger;
/**
* Manages the preferences for the core project.
*
* @author Christian Fehler
* @version $Id$
*/
public class PreferenceManager
{
/**
* The default {@link Alphabet}.
*/
public static Alphabet DEFAULT_ALPHABET;
/**
* The default language language.
*/
public static final String DEFAULT_LANGUAGE_LANGUAGE = Locale.getDefault ()
.getLanguage ();
/**
* The default language title.
*/
public static final String DEFAULT_LANGUAGE_TITLE = "Default"; //$NON-NLS-1$
/**
* The default {@link Color} of a {@link NonterminalSymbol}.
*/
public static final Color DEFAULT_NONTERMINAL_SYMBOL_COLOR = new Color ( 0,
127, 255 );
/**
* The default {@link Color} of the error {@link NonterminalSymbol}.
*/
public static final Color DEFAULT_NONTERMINAL_SYMBOL_ERROR_COLOR = new Color (
255, 0, 0 );
/**
* The default {@link Color} of the error {@link NonterminalSymbol}.
*/
public static final Color DEFAULT_NONTERMINAL_SYMBOL_HIGHLIGHT_COLOR = new Color (
0, 255, 0 );
/**
* The default {@link NonterminalSymbolSet}.
*/
public static NonterminalSymbolSet DEFAULT_NONTERMINAL_SYMBOL_SET;
/**
* The default {@link Color} of a error warning.
*/
public static final Color DEFAULT_PARSER_ERROR_COLOR = new Color ( 255, 0, 0 );
/**
* The default {@link Color} of a parser highlighting.
*/
public static final Color DEFAULT_PARSER_HIGHLIGHTING_COLOR = new Color (
255, 255, 0 );
/**
* The default {@link Color} of a parser keyword.
*/
public static final Color DEFAULT_PARSER_KEYWORD_COLOR = new Color ( 127, 0,
0 );
/**
* The default {@link Color} of a parser warning.
*/
public static final Color DEFAULT_PARSER_WARNING_COLOR = new Color ( 232,
242, 254 );
/**
* The default {@link Color} of the error {@link Production}.
*/
public static final Color DEFAULT_PRODUCTION_ERROR_COLOR = new Color ( 255,
0, 0 );
/**
* The default {@link Color} of the error {@link Production}.
*/
public static final Color DEFAULT_PRODUCTION_HIGHLIGHT_COLOR = new Color ( 0,
255, 0 );
/**
* The default push down {@link Alphabet}.
*/
public static Alphabet DEFAULT_PUSH_DOWN_ALPHABET;
/**
* The {@link DefaultRegexAlphabet}
*/
public static Alphabet DEFAULT_REGEX_ALPHABET;
/**
* The default {@link Color} of the regex position.
*/
public static final Color DEFAULT_REGEX_POSITION_COLOR = new Color ( 255,
255, 0 );
/**
* The default {@link Color} of the regex symbol.
*/
public static final Color DEFAULT_REGEX_SYMBOL_COLOR = new Color ( 0, 0, 0 );
/**
* The default {@link Color} of the regex token.
*/
public static final Color DEFAULT_REGEX_TOKEN_COLOR = new Color ( 0, 0, 0 );
/**
* The default {@link Color} of the regex token.
*/
public static final Color DEFAULT_REGEX_MARKED_NODE_COLOR = new Color ( 255,
0, 0 );
/**
* The default {@link Color} of the regex token.
*/
public static final Color DEFAULT_REGEX_SELECTED_NODE_COLOR = Color.YELLOW;
/**
* The default {@link Color} of the regex tool tip text.
*/
public static final Color DEFAULT_REGEX_TOOL_TIP_TEXT_COLOR = new Color (
255, 255, 255 );
/**
* The default {@link Color} of the regex tool tip text.
*/
public static final Color DEFAULT_REGEX_COMMENT_COLOR = new Color ( 255, 255,
255 );
/**
* The default {@link Color} of a start {@link NonterminalSymbol}.
*/
public static final Color DEFAULT_START_NONTERMINAL_SYMBOL_COLOR = new Color (
127, 0, 255 );
/**
* The default start {@link NonterminalSymbol}.
*/
public static NonterminalSymbol DEFAULT_START_SYMBOL;
/**
* The default {@link Color} of the active {@link State}.
*/
public static final Color DEFAULT_STATE_ACTIVE_COLOR = new Color ( 0, 255, 0 );
/**
* The default {@link Color} of a {@link State}.
*/
public static final Color DEFAULT_STATE_BACKGROUND_COLOR = new Color ( 255,
255, 255 );
/**
* The default {@link Color} of a parser warning.
*/
public static final Color DEFAULT_STATE_COLOR = new Color ( 0, 0, 127 );
/**
* The default {@link Color} of the error {@link State}.
*/
public static final Color DEFAULT_STATE_ERROR_COLOR = new Color ( 255, 0, 0 );
/**
* The default {@link Color} of the final {@link State}.
*/
public static final Color DEFAULT_STATE_FINAL_COLOR = new Color ( 255, 255,
255 );
/**
* The default {@link Color} of the selected {@link State}.
*/
public static final Color DEFAULT_STATE_SELECTED_COLOR = new Color ( 255, 0,
0 );
/**
* The default {@link Color} of the start {@link State}.
*/
public static final Color DEFAULT_STATE_START_COLOR = new Color ( 255, 255,
255 );
/**
* The default {@link Color} of the active {@link Symbol}.
*/
public static final Color DEFAULT_SYMBOL_ACTIVE_COLOR = new Color ( 0, 255, 0 );
/**
* The default {@link Color} of a {@link Symbol}.
*/
public static final Color DEFAULT_SYMBOL_COLOR = new Color ( 0, 0, 127 );
/**
* The default {@link Color} of a error {@link Symbol}.
*/
public static final Color DEFAULT_SYMBOL_ERROR_COLOR = new Color ( 255, 0, 0 );
/**
* The default {@link Color} of a {@link TerminalSymbol}.
*/
public static final Color DEFAULT_TERMINAL_SYMBOL_COLOR = new Color ( 0, 0,
127 );
/**
* The default {@link Color} of the error {@link TerminalSymbol}.
*/
public static final Color DEFAULT_TERMINAL_SYMBOL_ERROR_COLOR = new Color (
255, 0, 0 );
/**
* The default {@link TerminalSymbolSet}.
*/
public static TerminalSymbolSet DEFAULT_TERMINAL_SYMBOL_SET;
/**
* The default {@link Color} of the active {@link Transition}.
*/
public static final Color DEFAULT_TRANSITION_ACTIVE_COLOR = new Color ( 0,
255, 0 );
/**
* The default {@link Color} of a {@link Transition}.
*/
public static final Color DEFAULT_TRANSITION_COLOR = new Color ( 0, 0, 0 );
/**
* The default {@link Color} of a error {@link Transition}.
*/
public static final Color DEFAULT_TRANSITION_ERROR_COLOR = new Color ( 255,
0, 0 );
/**
* The default {@link Color} of the selected {@link Transition}.
*/
public static final Color DEFAULT_TRANSITION_SELECTED_COLOR = new Color (
255, 0, 0 );
/**
* The default use push down {@link Alphabet}.
*/
public static final boolean DEFAULT_USE_PUSH_DOWN_ALPHABET = false;
/**
* The {@link Logger} for this class.
*/
private static final Logger logger = Logger
.getLogger ( PreferenceManager.class );
/**
* The single instance of the {@link PreferenceManager}.
*/
private static PreferenceManager preferenceManager;
static
{
try
{
DEFAULT_ALPHABET = new DefaultAlphabet (
new DefaultSymbol ( "0" ), new DefaultSymbol ( "1" ) ); //$NON-NLS-1$ //$NON-NLS-2$
DEFAULT_PUSH_DOWN_ALPHABET = new DefaultAlphabet ( new DefaultSymbol (
"0" ), new DefaultSymbol ( "1" ) ); //$NON-NLS-1$ //$NON-NLS-2$
DEFAULT_NONTERMINAL_SYMBOL_SET = new DefaultNonterminalSymbolSet (
new DefaultNonterminalSymbol ( "E" ), new DefaultNonterminalSymbol ( //$NON-NLS-1$
"F" ) ); //$NON-NLS-1$
DEFAULT_START_SYMBOL = new DefaultNonterminalSymbol ( "E" ); //$NON-NLS-1$
DEFAULT_TERMINAL_SYMBOL_SET = new DefaultTerminalSymbolSet (
new DefaultTerminalSymbol ( "a" ), new DefaultTerminalSymbol ( "b" ) ); //$NON-NLS-1$ //$NON-NLS-2$
DEFAULT_REGEX_ALPHABET = ( Alphabet ) new RegexAlphabetParseable ()
.newParser ( "[a-z],[A-Z],[0-9]" ).parse (); //$NON-NLS-1$
}
catch ( AlphabetException exc )
{
exc.printStackTrace ();
System.exit ( 1 );
}
catch ( NonterminalSymbolSetException exc )
{
exc.printStackTrace ();
System.exit ( 1 );
}
catch ( TerminalSymbolSetException exc )
{
exc.printStackTrace ();
System.exit ( 1 );
}
catch ( Exception exc )
{
exc.printStackTrace ();
System.exit ( 1 );
}
}
/**
* Returns the single instance of the {@link PreferenceManager}.
*
* @return The single instance of the {@link PreferenceManager}.
*/
public static PreferenceManager getInstance ()
{
if ( preferenceManager == null )
{
preferenceManager = new PreferenceManager ();
}
return preferenceManager;
}
/**
* The {@link EventListenerList}.
*/
private EventListenerList listenerList = new EventListenerList ();
/**
* The {@link Preferences} object for the node where the settings are stored
* and loaded.
*
* @see Preferences
*/
protected Preferences preferences;
/**
* The system {@link Locale}.
*/
private Locale systemLocale;
/**
* Allocates a new {@link PreferenceManager}.
*/
protected PreferenceManager ()
{
this.preferences = Preferences
.userNodeForPackage ( PreferenceManager.class );
}
/**
* Adds the given {@link ColorChangedListener}.
*
* @param listener The {@link ColorChangedListener}.
*/
public final void addColorChangedListener ( ColorChangedListener listener )
{
this.listenerList.add ( ColorChangedListener.class, listener );
}
/**
* Adds the given {@link LanguageChangedListener}.
*
* @param listener The {@link LanguageChangedListener}.
*/
public final void addLanguageChangedListener (
LanguageChangedListener listener )
{
this.listenerList.add ( LanguageChangedListener.class, listener );
}
/**
* Let the listeners know that the color of the {@link NonterminalSymbol} has
* changed.
*
* @param newColor The new color of the {@link NonterminalSymbol}.
*/
public final void fireColorChangedNonterminalSymbol ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedNonterminalSymbol ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the error
* {@link NonterminalSymbol} has changed.
*
* @param newColor The new color of the error {@link NonterminalSymbol}.
*/
public final void fireColorChangedNonterminalSymbolError ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedNonterminalSymbolError ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the error
* {@link NonterminalSymbol} has changed.
*
* @param newColor The new color of the error {@link NonterminalSymbol}.
*/
public final void fireColorChangedNonterminalSymbolHighlight ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedNonterminalSymbolHighlight ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the parser error has changed.
*
* @param newColor The new color of the parser error.
*/
public final void fireColorChangedParserError ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedParserError ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the parser highlighting has
* changed.
*
* @param newColor The new color of the parser warning.
*/
public final void fireColorChangedParserHighlighting ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedParserHighlighting ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the parser keyword has changed.
*
* @param newColor The new color of the parser keyword.
*/
public final void fireColorChangedParserKeyword ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedParserKeyword ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the parser warning has changed.
*
* @param newColor The new color of the parser warning.
*/
public final void fireColorChangedParserWarning ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedParserWarning ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the error {@link Production} has
* changed.
*
* @param newColor The new color of the error {@link Production}.
*/
public final void fireColorChangedProductionError ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedProductionError ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the error {@link Production} has
* changed.
*
* @param newColor The new color of the error {@link Production}.
*/
public final void fireColorChangedProductionHighlight ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedProductionError ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of Regex position has changed.
*
* @param newColor The new color of the Regex positionF.
*/
public final void fireColorChangedRegexPosition ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedRegexPosition ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of Regex position has changed.
*
* @param newColor The new color of the Regex positionF.
*/
public final void fireColorChangedRegexSymbol ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedRegexSymbol ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of Regex token has changed.
*
* @param newColor The new color of the Regex token.
*/
public final void fireColorChangedRegexToken ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedRegexToken ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of Regex tool tip has changed.
*
* @param newColor The new color of the Regex tool tip.
*/
public final void fireColorChangedRegexToolTip ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedRegexToolTip ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of Regex tool tip has changed.
*
* @param newColor The new color of the Regex tool tip.
*/
public final void fireColorChangedRegexMarkedNode ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedRegexMarkedNode ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of Regex tool tip has changed.
*
* @param newColor The new color of the Regex tool tip.
*/
public final void fireColorChangedRegexSelectedNode ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedRegexSelectedNode ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of Regex tool tip has changed.
*
* @param newColor The new color of the Regex tool tip.
*/
public final void fireColorChangedRegexComment ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedRegexComment ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the start
* {@link NonterminalSymbol} has changed.
*
* @param newColor The new color of the start {@link NonterminalSymbol}.
*/
public final void fireColorChangedStartNonterminalSymbol ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedStartNonterminalSymbol ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the {@link State} has changed.
*
* @param newColor The new color of the {@link State}.
*/
public final void fireColorChangedState ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedState ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the active {@link State} has
* changed.
*
* @param newColor The new color of the active {@link State}.
*/
public final void fireColorChangedStateActive ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedStateActive ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the background color of the {@link State} has
* changed.
*
* @param newColor The new background color of the {@link State}.
*/
public final void fireColorChangedStateBackground ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedStateBackground ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the error {@link State} has
* changed.
*
* @param newColor The new color of the error {@link State}.
*/
public final void fireColorChangedStateError ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedStateError ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the final {@link State} has
* changed.
*
* @param newColor The new color of the final {@link State}.
*/
public final void fireColorChangedStateFinal ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedStateFinal ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the selected {@link State} has
* changed.
*
* @param newColor The new color of the selected {@link State}.
*/
public final void fireColorChangedStateSelected ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedStateSelected ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the start {@link State} has
* changed.
*
* @param newColor The new color of the start {@link State}.
*/
public final void fireColorChangedStateStart ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedStateStart ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the {@link Symbol} has changed.
*
* @param newColor The new color of the {@link Symbol}.
*/
public final void fireColorChangedSymbol ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedSymbol ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the active {@link Symbol} has
* changed.
*
* @param newColor The new color of the active {@link Symbol}.
*/
public final void fireColorChangedSymbolActive ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedSymbolActive ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the error {@link Symbol} has
* changed.
*
* @param newColor The new color of the error {@link Symbol}.
*/
public final void fireColorChangedSymbolError ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedSymbolError ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the {@link TerminalSymbol} has
* changed.
*
* @param newColor The new color of the {@link TerminalSymbol}.
*/
public final void fireColorChangedTerminalSymbol ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedTerminalSymbol ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the error {@link TerminalSymbol}
* has changed.
*
* @param newColor The new color of the error {@link TerminalSymbol}.
*/
public final void fireColorChangedTerminalSymbolError ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedTerminalSymbolError ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the {@link Transition} has
* changed.
*
* @param newColor The new color of the {@link Transition}.
*/
public final void fireColorChangedTransition ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedTransition ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the active {@link Transition} has
* changed.
*
* @param newColor The new color of the active {@link Transition}.
*/
public final void fireColorChangedTransitionActive ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedTransitionActive ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the error {@link Transition} has
* changed.
*
* @param newColor The new color of the error {@link Transition}.
*/
public final void fireColorChangedTransitionError ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedTransitionError ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the color of the selected {@link Transition}
* has changed.
*
* @param newColor The new color of the selected {@link Transition}.
*/
public final void fireColorChangedTransitionSelected ( Color newColor )
{
ColorChangedListener [] listeners = this.listenerList
.getListeners ( ColorChangedListener.class );
for ( ColorChangedListener current : listeners )
{
current.colorChangedTransitionSelected ( newColor );
current.colorChanged ();
}
}
/**
* Let the listeners know that the language has changed.
*
* @param newLocale The new {@link Locale}.
*/
public final void fireLanguageChanged ( Locale newLocale )
{
Locale.setDefault ( newLocale );
JComponent.setDefaultLocale ( newLocale );
LanguageChangedListener [] listeners = this.listenerList
.getListeners ( LanguageChangedListener.class );
for ( LanguageChangedListener current : listeners )
{
current.languageChanged ();
}
}
/**
* Returns the {@link AlphabetItem}.
*
* @return The {@link AlphabetItem}.
*/
public final AlphabetItem getAlphabetItem ()
{
ArrayList < Symbol > symbols = new ArrayList < Symbol > ();
String end = "no item found"; //$NON-NLS-1$
int count = 0;
while ( true )
{
String symbol = this.preferences.get ( "DefaultAlphabet" + count, //$NON-NLS-1$
end );
if ( symbol.equals ( end ) )
{
break;
}
symbols.add ( new DefaultSymbol ( symbol ) );
count++ ;
}
// Return the default alphabet if no alphabet is found.
if ( symbols.size () == 0 )
{
return new AlphabetItem ( DEFAULT_ALPHABET, DEFAULT_ALPHABET );
}
try
{
return new AlphabetItem ( new DefaultAlphabet ( symbols ),
DEFAULT_ALPHABET );
}
catch ( AlphabetException e )
{
e.printStackTrace ();
System.exit ( 1 );
return null;
}
}
/**
* Returns the {@link ColorItem} of the {NonterminalSymbol}.
*
* @return The {@link ColorItem} of the {NonterminalSymbol}.
*/
public final ColorItem getColorItemNonterminalSymbol ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorNonterminalSymbol", //$NON-NLS-1$
DEFAULT_NONTERMINAL_SYMBOL_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorNonterminalSymbolCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorNonterminalSymbolDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_NONTERMINAL_SYMBOL_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link NonterminalSymbol}.
*
* @return The {@link ColorItem} of the error {@link NonterminalSymbol}.
*/
public final ColorItem getColorItemNonterminalSymbolError ()
{
int rgb = this.preferences.getInt (
"Preferences.ColorNonterminalSymbolError", //$NON-NLS-1$
DEFAULT_NONTERMINAL_SYMBOL_ERROR_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorNonterminalSymbolErrorCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorNonterminalSymbolErrorDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_NONTERMINAL_SYMBOL_ERROR_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link NonterminalSymbol}.
*
* @return The {@link ColorItem} of the error {@link NonterminalSymbol}.
*/
public final ColorItem getColorItemNonterminalSymbolHighlight ()
{
int rgb = this.preferences.getInt (
"Preferences.ColorNonterminalSymbolHighlight", //$NON-NLS-1$
DEFAULT_NONTERMINAL_SYMBOL_HIGHLIGHT_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorNonterminalSymbolHighlightCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorNonterminalSymbolHighlightDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_NONTERMINAL_SYMBOL_HIGHLIGHT_COLOR );
}
/**
* Returns the {@link ColorItem} of the {@link NonterminalSymbol} group.
*
* @return The {@link ColorItem} of the {@link NonterminalSymbol} group.
*/
public final ColorItem getColorItemNonterminalSymbolGroup ()
{
String caption = Messages
.getString ( "Preferences.ColorNonterminalSymbolGroupCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorNonterminalSymbolGroupDescription" );//$NON-NLS-1$
boolean expanded = this.preferences.getBoolean (
"Preferences.ColorNonterminalSymbolGroupExpanded", false ); //$NON-NLS-1$
return new ColorItem ( caption, description, expanded );
}
/**
* Returns the {@link ColorItem} of the parser error.
*
* @return The {@link ColorItem} of the parser error.
*/
public final ColorItem getColorItemParserError ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorParserError", //$NON-NLS-1$
DEFAULT_PARSER_ERROR_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorParserErrorCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorParserErrorDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_PARSER_ERROR_COLOR );
}
/**
* Returns the {@link ColorItem} of the parser group.
*
* @return The {@link ColorItem} of the parser group.
*/
public final ColorItem getColorItemParserGroup ()
{
String caption = Messages
.getString ( "Preferences.ColorParserGroupCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorParserGroupDescription" );//$NON-NLS-1$
boolean expanded = this.preferences.getBoolean (
"Preferences.ColorParserGroupExpanded", false ); //$NON-NLS-1$
return new ColorItem ( caption, description, expanded );
}
/**
* Returns the {@link ColorItem} of the parser highlighting.
*
* @return The {@link ColorItem} of the parser highlighting.
*/
public final ColorItem getColorItemParserHighlighting ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorParserHighlighting", //$NON-NLS-1$
DEFAULT_PARSER_HIGHLIGHTING_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorParserHighlightingCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorParserHighlightingDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_PARSER_HIGHLIGHTING_COLOR );
}
/**
* Returns the {@link ColorItem} of the parser keyword.
*
* @return The {@link ColorItem} of the parser keyword.
*/
public final ColorItem getColorItemParserKeyword ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorParserKeyword", //$NON-NLS-1$
DEFAULT_PARSER_KEYWORD_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorParserKeywordCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorParserKeywordDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_PARSER_KEYWORD_COLOR );
}
/**
* Returns the {@link ColorItem} of the parser warning.
*
* @return The {@link ColorItem} of the parser warning.
*/
public final ColorItem getColorItemParserWarning ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorParserWarning", //$NON-NLS-1$
DEFAULT_PARSER_WARNING_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorParserWarningCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorParserWarningDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_PARSER_WARNING_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link Production}.
*
* @return The {@link ColorItem} of the error {@link Production}.
*/
public final ColorItem getColorItemProductionError ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorProductionError", //$NON-NLS-1$
DEFAULT_PRODUCTION_ERROR_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorProductionErrorCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorProductionErrorDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_PRODUCTION_ERROR_COLOR );
}
/**
* Returns the {@link ColorItem} of the highlight {@link Production}.
*
* @return The {@link ColorItem} of the highlight {@link Production}.
*/
public final ColorItem getColorItemProductionHighlight ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorProductionHighlight", //$NON-NLS-1$
DEFAULT_PRODUCTION_HIGHLIGHT_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorProductionHighlightCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorProductionHighlightDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_PRODUCTION_HIGHLIGHT_COLOR );
}
/**
* Returns the {@link ColorItem} of the {@link Production} group.
*
* @return The {@link ColorItem} of the {@link Production} group.
*/
public final ColorItem getColorItemProductionGroup ()
{
String caption = Messages
.getString ( "Preferences.ColorProductionGroupCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorProductionGroupDescription" );//$NON-NLS-1$
boolean expanded = this.preferences.getBoolean (
"Preferences.ColorProductionGroupExpanded", false ); //$NON-NLS-1$
return new ColorItem ( caption, description, expanded );
}
/**
* Returns the {@link ColorItem} of the Regex group.
*
* @return The {@link ColorItem} of the Regex group.
*/
public final ColorItem getColorItemRegexGroup ()
{
String caption = Messages.getString ( "Preferences.ColorRegexGroupCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorRegexGroupDescription" );//$NON-NLS-1$
boolean expanded = this.preferences.getBoolean (
"Preferences.ColorRegexGroupExpanded", false ); //$NON-NLS-1$
return new ColorItem ( caption, description, expanded );
}
/**
* Returns the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @return The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final ColorItem getColorItemRegexPosition ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorRegexPosition", //$NON-NLS-1$
DEFAULT_REGEX_POSITION_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorRegexPositionCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorRegexPositionDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_REGEX_POSITION_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @return The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final ColorItem getColorItemRegexSymbol ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorRegexSymbol", //$NON-NLS-1$
DEFAULT_REGEX_SYMBOL_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorRegexSymbolCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorRegexSymbolDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_REGEX_SYMBOL_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @return The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final ColorItem getColorItemRegexToken ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorRegexToken", //$NON-NLS-1$
DEFAULT_REGEX_TOKEN_COLOR.getRGB () );
String caption = Messages.getString ( "Preferences.ColorRegexTokenCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorRegexTokenDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_REGEX_TOKEN_COLOR );
}
/**
* Returns the {@link ColorItem} of the marked Regexnode.
*
* @return The {@link ColorItem} of the marked Regexnode.
*/
public final ColorItem getColorItemRegexMarkedNode ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorRegexMarkedNode", //$NON-NLS-1$
DEFAULT_REGEX_MARKED_NODE_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorRegexMarkedNodeCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorRegexMarkedNodeDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_REGEX_MARKED_NODE_COLOR );
}
/**
* Returns the {@link ColorItem} of the marked Regexnode.
*
* @return The {@link ColorItem} of the marked Regexnode.
*/
public final ColorItem getColorItemRegexSelectedNode ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorRegexSelectedNode", //$NON-NLS-1$
DEFAULT_REGEX_SELECTED_NODE_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorRegexSelectedNodeCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorRegexSelectedNodeDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_REGEX_SELECTED_NODE_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @return The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final ColorItem getColorItemRegexComment ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorRegexComment", //$NON-NLS-1$
DEFAULT_REGEX_COMMENT_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorRegexCommentCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorRegexCommentDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_REGEX_COMMENT_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @return The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final ColorItem getColorItemRegexToolTipText ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorRegexToolTipText", //$NON-NLS-1$
DEFAULT_REGEX_TOOL_TIP_TEXT_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorRegexToolTipTextCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorRegexToolTipTextDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_REGEX_TOOL_TIP_TEXT_COLOR );
}
/**
* Returns the {@link ColorItem} of the start {NonterminalSymbol}.
*
* @return The {@link ColorItem} of the start {NonterminalSymbol}.
*/
public final ColorItem getColorItemStartNonterminalSymbol ()
{
int rgb = this.preferences.getInt (
"Preferences.ColorStartNonterminalSymbol", //$NON-NLS-1$
DEFAULT_START_NONTERMINAL_SYMBOL_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorStartNonterminalSymbolCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStartNonterminalSymbolDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_START_NONTERMINAL_SYMBOL_COLOR );
}
/**
* Returns the {@link ColorItem} of the {State}.
*
* @return The {@link ColorItem} of the {State}.
*/
public final ColorItem getColorItemState ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorState", //$NON-NLS-1$
DEFAULT_STATE_COLOR.getRGB () );
String caption = Messages.getString ( "Preferences.ColorStateCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStateDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_STATE_COLOR );
}
/**
* Returns the {@link ColorItem} of the active {@link State}.
*
* @return The {@link ColorItem} of the active {@link State}.
*/
public final ColorItem getColorItemStateActive ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorStateActive", //$NON-NLS-1$
DEFAULT_STATE_ACTIVE_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorStateActiveCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStateActiveDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_STATE_ACTIVE_COLOR );
}
/**
* Returns the {@link ColorItem} of the {@link State} background.
*
* @return The {@link ColorItem} of the {@link State} background.
*/
public final ColorItem getColorItemStateBackground ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorStateBackground", //$NON-NLS-1$
DEFAULT_STATE_BACKGROUND_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorStateBackgroundCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStateBackgroundDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_STATE_BACKGROUND_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link State}.
*
* @return The {@link ColorItem} of the error {@link State}.
*/
public final ColorItem getColorItemStateError ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorStateError", //$NON-NLS-1$
DEFAULT_STATE_ERROR_COLOR.getRGB () );
String caption = Messages.getString ( "Preferences.ColorStateErrorCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStateErrorDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_STATE_ERROR_COLOR );
}
/**
* Returns the {@link ColorItem} of the final {@link State}.
*
* @return The {@link ColorItem} of the final {@link State}.
*/
public final ColorItem getColorItemStateFinal ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorStateFinal", //$NON-NLS-1$
DEFAULT_STATE_FINAL_COLOR.getRGB () );
String caption = Messages.getString ( "Preferences.ColorStateFinalCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStateFinalDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_STATE_FINAL_COLOR );
}
/**
* Returns the {@link ColorItem} of the {@link State} group.
*
* @return The {@link ColorItem} of the {@link State} group.
*/
public final ColorItem getColorItemStateGroup ()
{
String caption = Messages.getString ( "Preferences.ColorStateGroupCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStateGroupDescription" );//$NON-NLS-1$
boolean expanded = this.preferences.getBoolean (
"Preferences.ColorStateGroupExpanded", false ); //$NON-NLS-1$
return new ColorItem ( caption, description, expanded );
}
/**
* Returns the {@link ColorItem} of the selected {@link State}.
*
* @return The {@link ColorItem} of the selected {@link State}.
*/
public final ColorItem getColorItemStateSelected ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorStateSelected", //$NON-NLS-1$
DEFAULT_STATE_SELECTED_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorStateSelectedCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStateSelectedDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_STATE_SELECTED_COLOR );
}
/**
* Returns the {@link ColorItem} of the start {@link State}.
*
* @return The {@link ColorItem} of the start {@link State}.
*/
public final ColorItem getColorItemStateStart ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorStateStart", //$NON-NLS-1$
DEFAULT_STATE_START_COLOR.getRGB () );
String caption = Messages.getString ( "Preferences.ColorStateStartCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorStateStartDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_STATE_START_COLOR );
}
/**
* Returns the {@link ColorItem} of the {Symbol}.
*
* @return The {@link ColorItem} of the {Symbol}.
*/
public final ColorItem getColorItemSymbol ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorSymbol", //$NON-NLS-1$
DEFAULT_SYMBOL_COLOR.getRGB () );
String caption = Messages.getString ( "Preferences.ColorSymbolCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorSymbolDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_SYMBOL_COLOR );
}
/**
* Returns the {@link ColorItem} of the active {@link Symbol}.
*
* @return The {@link ColorItem} of the active {@link Symbol}.
*/
public final ColorItem getColorItemSymbolActive ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorSymbolActive", //$NON-NLS-1$
DEFAULT_SYMBOL_ACTIVE_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorSymbolActiveCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorSymbolActiveDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_SYMBOL_ACTIVE_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link Symbol}.
*
* @return The {@link ColorItem} of the error {@link Symbol}.
*/
public final ColorItem getColorItemSymbolError ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorSymbolError", //$NON-NLS-1$
DEFAULT_SYMBOL_ERROR_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorSymbolErrorCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorSymbolErrorDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_SYMBOL_ERROR_COLOR );
}
/**
* Returns the {@link ColorItem} of the {@link Symbol} group.
*
* @return The {@link ColorItem} of the {@link Symbol} group.
*/
public final ColorItem getColorItemSymbolGroup ()
{
String caption = Messages
.getString ( "Preferences.ColorSymbolGroupCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorSymbolGroupDescription" );//$NON-NLS-1$
boolean expanded = this.preferences.getBoolean (
"Preferences.ColorSymbolGroupExpanded", false ); //$NON-NLS-1$
return new ColorItem ( caption, description, expanded );
}
/**
* Returns the {@link ColorItem} of the {TerminalSymbol}.
*
* @return The {@link ColorItem} of the {TerminalSymbol}.
*/
public final ColorItem getColorItemTerminalSymbol ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorTerminalSymbol", //$NON-NLS-1$
DEFAULT_TERMINAL_SYMBOL_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorTerminalSymbolCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorTerminalSymbolDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_TERMINAL_SYMBOL_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @return The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final ColorItem getColorItemTerminalSymbolError ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorTerminalSymbolError", //$NON-NLS-1$
DEFAULT_TERMINAL_SYMBOL_ERROR_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorTerminalSymbolErrorCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorTerminalSymbolErrorDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_TERMINAL_SYMBOL_ERROR_COLOR );
}
/**
* Returns the {@link ColorItem} of the {@link TerminalSymbol} group.
*
* @return The {@link ColorItem} of the {@link TerminalSymbol} group.
*/
public final ColorItem getColorItemTerminalSymbolGroup ()
{
String caption = Messages
.getString ( "Preferences.ColorTerminalSymbolGroupCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorTerminalSymbolGroupDescription" );//$NON-NLS-1$
boolean expanded = this.preferences.getBoolean (
"Preferences.ColorTerminalSymbolGroupExpanded", false ); //$NON-NLS-1$
return new ColorItem ( caption, description, expanded );
}
/**
* Returns the {@link ColorItem} of the {@link Transition}.
*
* @return The {@link ColorItem} of the {@link Transition}.
*/
public final ColorItem getColorItemTransition ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorTransition", //$NON-NLS-1$
DEFAULT_TRANSITION_COLOR.getRGB () );
String caption = Messages.getString ( "Preferences.ColorTransitionCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorTransitionDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_TRANSITION_COLOR );
}
/**
* Returns the {@link ColorItem} of the active {@link Transition}.
*
* @return The {@link ColorItem} of the active {@link Transition}.
*/
public final ColorItem getColorItemTransitionActive ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorTransitionActive", //$NON-NLS-1$
DEFAULT_TRANSITION_ACTIVE_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorTransitionActiveCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorTransitionActiveDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_TRANSITION_ACTIVE_COLOR );
}
/**
* Returns the {@link ColorItem} of the error {@link Transition}.
*
* @return The {@link ColorItem} of the error {@link Transition}.
*/
public final ColorItem getColorItemTransitionError ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorTransitionError", //$NON-NLS-1$
DEFAULT_TRANSITION_ERROR_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorTransitionErrorCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorTransitionErrorDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_TRANSITION_ERROR_COLOR );
}
/**
* Returns the {@link ColorItem} of the {@link Transition} group.
*
* @return The {@link ColorItem} of the {@link Transition} group.
*/
public final ColorItem getColorItemTransitionGroup ()
{
String caption = Messages
.getString ( "Preferences.ColorTransitionGroupCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorTransitionGroupDescription" );//$NON-NLS-1$
boolean expanded = this.preferences.getBoolean (
"Preferences.ColorTransitionGroupExpanded", false ); //$NON-NLS-1$
return new ColorItem ( caption, description, expanded );
}
/**
* Returns the {@link ColorItem} of the selected {@link Transition}.
*
* @return The {@link ColorItem} of the selected {@link Transition}.
*/
public final ColorItem getColorItemTransitionSelected ()
{
int rgb = this.preferences.getInt ( "Preferences.ColorTransitionSelected", //$NON-NLS-1$
DEFAULT_TRANSITION_SELECTED_COLOR.getRGB () );
String caption = Messages
.getString ( "Preferences.ColorTransitionSelectedCaption" );//$NON-NLS-1$
String description = Messages
.getString ( "Preferences.ColorTransitionSelectedDescription" );//$NON-NLS-1$
return new ColorItem ( new Color ( rgb ), caption, description,
DEFAULT_TRANSITION_SELECTED_COLOR );
}
/**
* Returns the {@link LanguageItem}.
*
* @return The {@link LanguageItem}.
*/
public final LanguageItem getLanguageItem ()
{
String title = this.preferences.get ( "PreferencesDialog.Language.Title", //$NON-NLS-1$
DEFAULT_LANGUAGE_TITLE );
String language = this.preferences.get (
"PreferencesDialog.Language.Language", DEFAULT_LANGUAGE_LANGUAGE ); //$NON-NLS-1$
return new LanguageItem ( title, new Locale ( language ) );
}
/**
* Returns the {@link NonterminalSymbolSet}.
*
* @return The {@link NonterminalSymbolSetItem}.
*/
public final NonterminalSymbolSetItem getNonterminalSymbolSetItem ()
{
ArrayList < NonterminalSymbol > nonterminalSymbols = new ArrayList < NonterminalSymbol > ();
String end = "no item found"; //$NON-NLS-1$
int count = 0;
while ( true )
{
String nonterminalSymbol = this.preferences.get (
"DefaultNonterminalSymbolSet" + count, //$NON-NLS-1$
end );
if ( nonterminalSymbol.equals ( end ) )
{
break;
}
nonterminalSymbols
.add ( new DefaultNonterminalSymbol ( nonterminalSymbol ) );
count++ ;
}
/*
* Return the default nonterminal symbol set if no nonterminal symbol set is
* found.
*/
if ( nonterminalSymbols.size () == 0 )
{
return new NonterminalSymbolSetItem ( DEFAULT_NONTERMINAL_SYMBOL_SET,
DEFAULT_NONTERMINAL_SYMBOL_SET );
}
try
{
return new NonterminalSymbolSetItem ( new DefaultNonterminalSymbolSet (
nonterminalSymbols ), DEFAULT_NONTERMINAL_SYMBOL_SET );
}
catch ( NonterminalSymbolSetException exc )
{
exc.printStackTrace ();
System.exit ( 1 );
return null;
}
}
/**
* Returns the {@link AlphabetItem}.
*
* @return The push down {@link AlphabetItem}.
*/
public final AlphabetItem getPushDownAlphabetItem ()
{
ArrayList < Symbol > symbols = new ArrayList < Symbol > ();
String end = "no item found"; //$NON-NLS-1$
int count = 0;
while ( true )
{
String symbol = this.preferences.get ( "DefaultPushDownAlphabet" + count, //$NON-NLS-1$
end );
if ( symbol.equals ( end ) )
{
break;
}
symbols.add ( new DefaultSymbol ( symbol ) );
count++ ;
}
// Return the default alphabet if no alphabet is found.
if ( symbols.size () == 0 )
{
return new AlphabetItem ( DEFAULT_PUSH_DOWN_ALPHABET,
DEFAULT_PUSH_DOWN_ALPHABET );
}
try
{
return new AlphabetItem ( new DefaultAlphabet ( symbols ),
DEFAULT_PUSH_DOWN_ALPHABET );
}
catch ( AlphabetException e )
{
e.printStackTrace ();
System.exit ( 1 );
return null;
}
}
/**
* Returns the {@link AlphabetItem}.
*
* @return The push down {@link AlphabetItem}.
*/
public final AlphabetItem getRegexAlphabetItem ()
{
ArrayList < Symbol > symbols = new ArrayList < Symbol > ();
String end = "no item found"; //$NON-NLS-1$
int count = 0;
while ( true )
{
String symbol = this.preferences.get ( "DefaultRegexAlphabet" + count, //$NON-NLS-1$
end );
if ( symbol.equals ( end ) )
{
break;
}
symbols.add ( new DefaultSymbol ( symbol ) );
count++ ;
}
// Return the default alphabet if no alphabet is found.
if ( symbols.size () == 0 )
{
return new AlphabetItem ( DEFAULT_REGEX_ALPHABET, DEFAULT_REGEX_ALPHABET );
}
try
{
return new AlphabetItem ( new DefaultRegexAlphabet ( symbols ),
DEFAULT_REGEX_ALPHABET );
}
catch ( AlphabetException e )
{
e.printStackTrace ();
System.exit ( 1 );
return null;
}
}
/**
* Returns the start {@link NonterminalSymbol}.
*
* @return The start {@link NonterminalSymbol}.
*/
public final NonterminalSymbolItem getStartSymbolItem ()
{
String startSymbol = this.preferences.get ( "DefaultStartSymbol", //$NON-NLS-1$
DEFAULT_START_SYMBOL.getName () );
return new NonterminalSymbolItem ( new DefaultNonterminalSymbol (
startSymbol ), DEFAULT_START_SYMBOL );
}
/**
* Returns the system {@link Locale}.
*
* @return The system {@link Locale}.
*/
public final Locale getSystemLocale ()
{
return this.systemLocale;
}
/**
* Returns the {@link TerminalSymbolSet}.
*
* @return The {@link TerminalSymbolSetItem}.
*/
public final TerminalSymbolSetItem getTerminalSymbolSetItem ()
{
ArrayList < TerminalSymbol > terminalSymbols = new ArrayList < TerminalSymbol > ();
String end = "no item found"; //$NON-NLS-1$
int count = 0;
while ( true )
{
String terminalSymbol = this.preferences.get (
"DefaultTerminalSymbolSet" + count, //$NON-NLS-1$
end );
if ( terminalSymbol.equals ( end ) )
{
break;
}
terminalSymbols.add ( new DefaultTerminalSymbol ( terminalSymbol ) );
count++ ;
}
/*
* Return the default terminal symbol set if no terminal symbol set is
* found.
*/
if ( terminalSymbols.size () == 0 )
{
return new TerminalSymbolSetItem ( DEFAULT_TERMINAL_SYMBOL_SET,
DEFAULT_TERMINAL_SYMBOL_SET );
}
try
{
return new TerminalSymbolSetItem ( new DefaultTerminalSymbolSet (
terminalSymbols ), DEFAULT_TERMINAL_SYMBOL_SET );
}
catch ( TerminalSymbolSetException exc )
{
exc.printStackTrace ();
System.exit ( 1 );
return null;
}
}
/**
* Returns the use push down {@link Alphabet} value.
*
* @return The use push down {@link Alphabet} value.
*/
public final boolean getUsePushDownAlphabet ()
{
return this.preferences.getBoolean ( "UsePushDownAlphabet", //$NON-NLS-1$
DEFAULT_USE_PUSH_DOWN_ALPHABET );
}
/**
* Removes the given {@link ColorChangedListener}.
*
* @param listener The {@link ColorChangedListener}.
*/
public final void removeColorChangedListener ( ColorChangedListener listener )
{
this.listenerList.remove ( ColorChangedListener.class, listener );
}
/**
* Removes the given {@link LanguageChangedListener}.
*
* @param listener The {@link LanguageChangedListener}.
*/
public final void removeLanguageChangedListener (
LanguageChangedListener listener )
{
this.listenerList.remove ( LanguageChangedListener.class, listener );
}
/**
* Sets the {@link AlphabetItem}.
*
* @param alphabetItem The {@link AlphabetItem}.
*/
public final void setAlphabetItem ( AlphabetItem alphabetItem )
{
logger.debug ( "setAlphabetItem", "set the alphabet to " + Messages.QUOTE //$NON-NLS-1$ //$NON-NLS-2$
+ alphabetItem.getAlphabet () + Messages.QUOTE );
// Delete old data
String end = "no item found"; //$NON-NLS-1$
int count = 0;
loop : while ( true )
{
String symbol = this.preferences.get ( "DefaultAlphabet" + count, //$NON-NLS-1$
end );
if ( symbol.equals ( end ) )
{
break loop;
}
count++ ;
}
for ( int i = 0 ; i < count ; i++ )
{
this.preferences.remove ( "DefaultAlphabet" + i ); //$NON-NLS-1$
}
// Set the new data
for ( int i = 0 ; i < alphabetItem.getAlphabet ().size () ; i++ )
{
this.preferences.put (
"DefaultAlphabet" + i, alphabetItem.getAlphabet ().get ( i ) //$NON-NLS-1$
.getName () );
}
}
/**
* Sets the {@link AlphabetItem}.
*
* @param alphabetItem The {@link AlphabetItem}.
*/
public final void setRegexAlphabetItem ( AlphabetItem alphabetItem )
{
logger.debug (
"setRegexAlphabetItem", "set the alphabet to " + Messages.QUOTE //$NON-NLS-1$ //$NON-NLS-2$
+ alphabetItem.getAlphabet () + Messages.QUOTE );
// Delete old data
String end = "no item found"; //$NON-NLS-1$
int count = 0;
loop : while ( true )
{
String symbol = this.preferences.get ( "DefaultRegexAlphabet" + count, //$NON-NLS-1$
end );
if ( symbol.equals ( end ) )
{
break loop;
}
count++ ;
}
for ( int i = 0 ; i < count ; i++ )
{
this.preferences.remove ( "DefaultRegexAlphabet" + i ); //$NON-NLS-1$
}
// Set the new data
for ( int i = 0 ; i < alphabetItem.getAlphabet ().size () ; i++ )
{
this.preferences.put (
"DefaultRegexAlphabet" + i, alphabetItem.getAlphabet ().get ( i ) //$NON-NLS-1$
.getName () );
}
}
/**
* Sets the {@link ColorItem} of the parser {@link NonterminalSymbol}.
*
* @param colorItem The {@link ColorItem} of the parser
* {@link NonterminalSymbol}.
*/
public final void setColorItemNonterminalSymbol ( ColorItem colorItem )
{
logger.debug ( "setColorItemNonterminalSymbol", //$NON-NLS-1$
"set color of the nonterminal symbol to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorNonterminalSymbol", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link NonterminalSymbol}.
*
* @param colorItem The {@link ColorItem} of the error
* {@link NonterminalSymbol}.
*/
public final void setColorItemNonterminalSymbolError ( ColorItem colorItem )
{
logger.debug ( "setColorItemNonterminalSymbolError",//$NON-NLS-1$
"set color of the error nonterminal symbol to " + Messages.QUOTE + "r="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getRed () + ", " + "g="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getGreen () + ", "//$NON-NLS-1$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorNonterminalSymbolError", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the highlight {@link NonterminalSymbol}.
*
* @param colorItem The {@link ColorItem} of the highlighted
* {@link NonterminalSymbol}.
*/
public final void setColorItemNonterminalSymbolHighlight ( ColorItem colorItem )
{
logger
.debug (
"setColorItemNonterminalSymbolHighlight",//$NON-NLS-1$
"set color of the highlight nonterminal symbol to " + Messages.QUOTE + "r="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getRed () + ", " + "g="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getGreen () + ", "//$NON-NLS-1$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorNonterminalSymbolHighlight", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the {@link NonterminalSymbol} group.
*
* @param colorItem The {@link ColorItem} of the {@link NonterminalSymbol}
* group.
*/
public final void setColorItemNonterminalSymbolGroup ( ColorItem colorItem )
{
logger.debug ( "setColorItemNonterminalSymbolGroup",//$NON-NLS-1$
"set expanded value of the nonterminal symbol group to "//$NON-NLS-1$
+ Messages.QUOTE + colorItem.isExpanded () + Messages.QUOTE );
this.preferences.putBoolean (
"Preferences.ColorNonterminalSymbolGroupExpanded", colorItem //$NON-NLS-1$
.isExpanded () );
}
/**
* Sets the {@link ColorItem} of the parser error.
*
* @param colorItem The {@link ColorItem} of the parser error.
*/
public final void setColorItemParserError ( ColorItem colorItem )
{
logger.debug ( "setColorItemParserError",//$NON-NLS-1$
"set color of the parser error to " + Messages.QUOTE//$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorParserError", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the parser group.
*
* @param colorItem The {@link ColorItem} of the parser group.
*/
public final void setColorItemParserGroup ( ColorItem colorItem )
{
logger.debug ( "setColorItemParserGroup",//$NON-NLS-1$
"set expanded value of the parser group to " + Messages.QUOTE//$NON-NLS-1$
+ colorItem.isExpanded () + Messages.QUOTE );
this.preferences.putBoolean ( "Preferences.ColorParserGroupExpanded", //$NON-NLS-1$
colorItem.isExpanded () );
}
/**
* Sets the {@link ColorItem} of the parser highlighting.
*
* @param colorItem The {@link ColorItem} of the parser highlighting.
*/
public final void setColorItemParserHighlighting ( ColorItem colorItem )
{
logger.debug ( "setColorItemParserHighlighting",//$NON-NLS-1$
"set color of the parser highlighting to " + Messages.QUOTE//$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorParserHighlighting", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the parser keyword.
*
* @param colorItem The {@link ColorItem} of the parser keyword.
*/
public final void setColorItemParserKeyword ( ColorItem colorItem )
{
logger.debug ( "setColorItemParserKeyword",//$NON-NLS-1$
"set color of the parser keyword to " + Messages.QUOTE//$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorParserKeyword", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the parser warning.
*
* @param colorItem The {@link ColorItem} of the parser warning.
*/
public final void setColorItemParserWarning ( ColorItem colorItem )
{
logger.debug ( "setColorItemParserWarning", //$NON-NLS-1$
"set color of the parser warning to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorParserWarning", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link Production}.
*
* @param colorItem The {@link ColorItem} of the error {@link Production}.
*/
public final void setColorItemProductionError ( ColorItem colorItem )
{
logger.debug ( "setColorItemProductionError",//$NON-NLS-1$
"set color of the error production to " + Messages.QUOTE + "r="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getRed () + ", " + "g="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getGreen () + ", "//$NON-NLS-1$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorProductionError", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link Production}.
*
* @param colorItem The {@link ColorItem} of the error {@link Production}.
*/
public final void setColorItemProductionHighlight ( ColorItem colorItem )
{
logger.debug ( "setColorItemProductionHighlight",//$NON-NLS-1$
"set color of the highlight production to " + Messages.QUOTE + "r="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getRed () + ", " + "g="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getGreen () + ", "//$NON-NLS-1$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorProductionHighlight", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the {@link Production} group.
*
* @param colorItem The {@link ColorItem} of the {@link Production} group.
*/
public final void setColorItemProductionGroup ( ColorItem colorItem )
{
logger.debug ( "setColorItemProductionGroup", //$NON-NLS-1$
"set expanded value of the production group to " + Messages.QUOTE //$NON-NLS-1$
+ colorItem.isExpanded () + Messages.QUOTE );
this.preferences.putBoolean (
"Preferences.ColorProductionGroupExpanded", colorItem //$NON-NLS-1$
.isExpanded () );
}
/**
* Sets the {@link ColorItem} of the Regex group.
*
* @param colorItem The {@link ColorItem} of the Regex group.
*/
public final void setColorItemRegexGroup ( ColorItem colorItem )
{
logger.debug ( "setColorItemRegexGroup", //$NON-NLS-1$
"set expanded value of the regex group to " + Messages.QUOTE //$NON-NLS-1$
+ colorItem.isExpanded () + Messages.QUOTE );
this.preferences.putBoolean ( "Preferences.ColorRegexGroupExpanded", //$NON-NLS-1$
colorItem.isExpanded () );
}
/**
* Sets the {@link ColorItem} of the Regex position.
*
* @param colorItem The {@link ColorItem} of the Regex position.
*/
public final void setColorItemRegexPosition ( ColorItem colorItem )
{
logger.debug (
"setColorItemRegexPosition", "set color of the regex position to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorRegexPosition", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the Regex symbol.
*
* @param colorItem The {@link ColorItem} of the Regex symbol.
*/
public final void setColorItemRegexSymbol ( ColorItem colorItem )
{
logger.debug (
"setColorItemRegexSymbol", "set color of the regex symbol to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorRegexSymbol", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the Regex token.
*
* @param colorItem The {@link ColorItem} of the Regex token.
*/
public final void setColorItemRegexToken ( ColorItem colorItem )
{
logger.debug ( "setColorItemRegexToken", "set color of the regex token to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorRegexToken", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the Regex token.
*
* @param colorItem The {@link ColorItem} of the Regex token.
*/
public final void setColorItemRegexMarkedNode ( ColorItem colorItem )
{
logger.debug (
"setColorItemRegexMarkedNode", "set color of the regex marked node to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorRegexMarkedNode", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the Regex token.
*
* @param colorItem The {@link ColorItem} of the Regex token.
*/
public final void setColorItemRegexSelectedNode ( ColorItem colorItem )
{
logger
.debug (
"setColorItemRegexSelectedNode", "set color of the regex selected node to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorRegexSelectedNode", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the Regex tool tip.
*
* @param colorItem The {@link ColorItem} of the Regex tool tip.
*/
public final void setColorItemRegexToolTip ( ColorItem colorItem )
{
logger.debug (
"setColorItemRegexToolTip", "set color of the regex tooltip to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorRegexToolTipText", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @param colorItem The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final void setColorItemRegexToolTipText ( ColorItem colorItem )
{
logger.debug ( "setColorItemRegexToolTipText",//$NON-NLS-1$
"set color of the regex tool tip text to " + Messages.QUOTE + "r="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getRed () + ", " + "g="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getGreen () + ", "//$NON-NLS-1$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorRegexToolTipText", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @param colorItem The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final void setColorItemRegexComment ( ColorItem colorItem )
{
logger.debug ( "setColorItemRegexComment",//$NON-NLS-1$
"set color of the regex tool tip text to " + Messages.QUOTE + "r="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getRed () + ", " + "g="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getGreen () + ", "//$NON-NLS-1$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorRegexComment", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the parser start {@link NonterminalSymbol}.
*
* @param colorItem The {@link ColorItem} of the parser start
* {@link NonterminalSymbol}.
*/
public final void setColorItemStartNonterminalSymbol ( ColorItem colorItem )
{
logger.debug ( "setColorItemStartNonterminalSymbol", //$NON-NLS-1$
"set color of the start nonterminal symbol to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt (
"Preferences.ColorStartNonterminalSymbol", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the {@link State}.
*
* @param colorItem The {@link ColorItem} of the {@link State}.
*/
public final void setColorItemState ( ColorItem colorItem )
{
logger.debug ( "setColorItemState", "set color of the state to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorState", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the active {@link State}.
*
* @param colorItem The {@link ColorItem} of the active {@link State}.
*/
public final void setColorItemStateActive ( ColorItem colorItem )
{
logger.debug ( "setColorItemStateActive", //$NON-NLS-1$
"set color of the avtive state to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorStateActive", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the {@link State} background.
*
* @param colorItem The {@link ColorItem} of the {@link State} background.
*/
public final void setColorItemStateBackground ( ColorItem colorItem )
{
logger.debug ( "setColorItemStateBackground", //$NON-NLS-1$
"set background color of the state to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorStateBackground", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link State}.
*
* @param colorItem The {@link ColorItem} of the error {@link State}.
*/
public final void setColorItemStateError ( ColorItem colorItem )
{
logger.debug ( "setColorItemStateError", "set color of the error state to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorStateError", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the final {@link State}.
*
* @param colorItem The {@link ColorItem} of the final {@link State}.
*/
public final void setColorItemStateFinal ( ColorItem colorItem )
{
logger.debug ( "setColorItemStateFinal", "set color of the final state to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorStateFinal", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the {@link State} group.
*
* @param colorItem The {@link ColorItem} of the {@link State} group.
*/
public final void setColorItemStateGroup ( ColorItem colorItem )
{
logger.debug ( "setColorItemStateGroup", //$NON-NLS-1$
"set expanded value of the state group to " + Messages.QUOTE //$NON-NLS-1$
+ colorItem.isExpanded () + Messages.QUOTE );
this.preferences.putBoolean (
"Preferences.ColorStateGroupExpanded", colorItem //$NON-NLS-1$
.isExpanded () );
}
/**
* Sets the {@link ColorItem} of the selected {@link State}.
*
* @param colorItem The {@link ColorItem} of the selected {@link State}.
*/
public final void setColorItemStateSelected ( ColorItem colorItem )
{
logger.debug ( "setColorItemStateSelected", //$NON-NLS-1$
"set color of the selected state to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorStateSelected", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the start {@link State}.
*
* @param colorItem The {@link ColorItem} of the start {@link State}.
*/
public final void setColorItemStateStart ( ColorItem colorItem )
{
logger.debug ( "setColorItemStateStart", "set color of the start state to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorStateStart", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the parser {@link Symbol}.
*
* @param colorItem The {@link ColorItem} of the parser {@link Symbol}.
*/
public final void setColorItemSymbol ( ColorItem colorItem )
{
logger.debug ( "setColorItemSymbol", "set color of the symbol to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorSymbol", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the active {@link Symbol}.
*
* @param colorItem The {@link ColorItem} of the active {@link Symbol}.
*/
public final void setColorItemSymbolActive ( ColorItem colorItem )
{
logger.debug ( "setColorItemSymbolActive", //$NON-NLS-1$
"set color of the active symbol to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorSymbolActive", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link Symbol}.
*
* @param colorItem The {@link ColorItem} of the error {@link Symbol}.
*/
public final void setColorItemSymbolError ( ColorItem colorItem )
{
logger.debug ( "setColorItemSymbolError", //$NON-NLS-1$
"set color of the error symbol to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorSymbolError", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the {@link Symbol} group.
*
* @param colorItem The {@link ColorItem} of the {@link Symbol} group.
*/
public final void setColorItemSymbolGroup ( ColorItem colorItem )
{
logger.debug ( "setColorItemSymbolGroup", //$NON-NLS-1$
"set expanded value of the symbol group to " + Messages.QUOTE //$NON-NLS-1$
+ colorItem.isExpanded () + Messages.QUOTE );
this.preferences.putBoolean ( "Preferences.ColorSymbolGroupExpanded", //$NON-NLS-1$
colorItem.isExpanded () );
}
/**
* Sets the {@link ColorItem} of the parser {@link TerminalSymbol}.
*
* @param colorItem The {@link ColorItem} of the parser {@link TerminalSymbol}
* .
*/
public final void setColorItemTerminalSymbol ( ColorItem colorItem )
{
logger.debug ( "setColorItemTerminalSymbol", //$NON-NLS-1$
"set color of the terminal symbol to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorTerminalSymbol", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link TerminalSymbol}.
*
* @param colorItem The {@link ColorItem} of the error {@link TerminalSymbol}.
*/
public final void setColorItemTerminalSymbolError ( ColorItem colorItem )
{
logger.debug ( "setColorItemTerminalSymbolError",//$NON-NLS-1$
"set color of the error terminal symbol to " + Messages.QUOTE + "r="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getRed () + ", " + "g="//$NON-NLS-1$ //$NON-NLS-2$
+ colorItem.getColor ().getGreen () + ", "//$NON-NLS-1$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorTerminalSymbolError", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the {@link TerminalSymbol} group.
*
* @param colorItem The {@link ColorItem} of the {@link TerminalSymbol} group.
*/
public final void setColorItemTerminalSymbolGroup ( ColorItem colorItem )
{
logger.debug ( "setColorItemTerminalSymbolGroup", //$NON-NLS-1$
"set expanded value of the terminal symbol group to " + Messages.QUOTE //$NON-NLS-1$
+ colorItem.isExpanded () + Messages.QUOTE );
this.preferences.putBoolean (
"Preferences.ColorTerminalSymbolGroupExpanded", colorItem //$NON-NLS-1$
.isExpanded () );
}
/**
* Sets the {@link ColorItem} of the {@link Transition}.
*
* @param colorItem The {@link ColorItem} of the {@link Transition}.
*/
public final void setColorItemTransition ( ColorItem colorItem )
{
logger.debug ( "setColorItemTransition", "set color of the transition to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE + "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorTransition", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the active {@link Transition}.
*
* @param colorItem The {@link ColorItem} of the active {@link Transition}.
*/
public final void setColorItemTransitionActive ( ColorItem colorItem )
{
logger.debug ( "setColorItemTransitionActive", //$NON-NLS-1$
"set color of the active transition to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorTransitionActive", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the error {@link Transition}.
*
* @param colorItem The {@link ColorItem} of the error {@link Transition}.
*/
public final void setColorItemTransitionError ( ColorItem colorItem )
{
logger.debug ( "setColorItemTransitionError", //$NON-NLS-1$
"set color of the error transition to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorTransitionError", colorItem //$NON-NLS-1$
.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link ColorItem} of the {@link Transition} group.
*
* @param colorItem The {@link ColorItem} of the {@link Transition} group.
*/
public final void setColorItemTransitionGroup ( ColorItem colorItem )
{
logger.debug ( "setColorItemTransitionGroup", //$NON-NLS-1$
"set expanded value of the transition group to " + Messages.QUOTE //$NON-NLS-1$
+ colorItem.isExpanded () + Messages.QUOTE );
this.preferences.putBoolean (
"Preferences.ColorTransitionGroupExpanded", colorItem //$NON-NLS-1$
.isExpanded () );
}
/**
* Sets the {@link ColorItem} of the selected {@link Transition}.
*
* @param colorItem The {@link ColorItem} of the selected {@link Transition}.
*/
public final void setColorItemTransitionSelected ( ColorItem colorItem )
{
logger.debug ( "setColorItemTransitionSelected", //$NON-NLS-1$
"set color of the selected transition to " + Messages.QUOTE //$NON-NLS-1$
+ "r=" + colorItem.getColor ().getRed () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "g=" + colorItem.getColor ().getGreen () + ", " //$NON-NLS-1$ //$NON-NLS-2$
+ "b=" + colorItem.getColor ().getBlue () + Messages.QUOTE ); //$NON-NLS-1$
this.preferences.putInt ( "Preferences.ColorTransitionSelected", //$NON-NLS-1$
colorItem.getColor ().getRGB () & 0xFFFFFF );
}
/**
* Sets the {@link LanguageItem}.
*
* @param languageItem The {@link LanguageItem}.
*/
public final void setLanguageItem ( LanguageItem languageItem )
{
logger.debug ( "setLanguageItem", "set language to " + Messages.QUOTE //$NON-NLS-1$//$NON-NLS-2$
+ languageItem.getLocale ().getLanguage () + Messages.QUOTE );
this.preferences.put ( "PreferencesDialog.Language.Title", languageItem //$NON-NLS-1$
.getTitle () );
this.preferences.put ( "PreferencesDialog.Language.Language", languageItem //$NON-NLS-1$
.getLocale ().getLanguage () );
}
/**
* Sets the {@link NonterminalSymbolSetItem}.
*
* @param nonterminalSymbolSetItem The {@link NonterminalSymbolSetItem}.
*/
public final void setNonterminalSymbolSetItem (
NonterminalSymbolSetItem nonterminalSymbolSetItem )
{
logger.debug ( "setNonterminalSymbolSetItem", //$NON-NLS-1$
"set the nonterminal symbol set to " + Messages.QUOTE //$NON-NLS-1$
+ nonterminalSymbolSetItem.getNonterminalSymbolSet ()
+ Messages.QUOTE );
// Delete old data
String end = "no item found"; //$NON-NLS-1$
int count = 0;
loop : while ( true )
{
String symbol = this.preferences.get (
"DefaultNonterminalSymbolSet" + count, //$NON-NLS-1$
end );
if ( symbol.equals ( end ) )
{
break loop;
}
count++ ;
}
for ( int i = 0 ; i < count ; i++ )
{
this.preferences.remove ( "DefaultNonterminalSymbolSet" + i ); //$NON-NLS-1$
}
// Set new data
for ( int i = 0 ; i < nonterminalSymbolSetItem.getNonterminalSymbolSet ()
.size () ; i++ )
{
this.preferences.put ( "DefaultNonterminalSymbolSet" + i, //$NON-NLS-1$
nonterminalSymbolSetItem.getNonterminalSymbolSet ().get ( i )
.getName () );
}
}
/**
* Sets the push down {@link AlphabetItem}.
*
* @param pushDownAlphabetItem The push down {@link AlphabetItem}.
*/
public final void setPushDownAlphabetItem ( AlphabetItem pushDownAlphabetItem )
{
logger
.debug ( "setPushDownAlphabetItem", "set the push down alphabet to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE
+ pushDownAlphabetItem.getAlphabet ()
+ Messages.QUOTE );
// Delete old data
String end = "no item found"; //$NON-NLS-1$
int count = 0;
loop : while ( true )
{
String symbol = this.preferences.get ( "DefaultPushDownAlphabet" + count, //$NON-NLS-1$
end );
if ( symbol.equals ( end ) )
{
break loop;
}
count++ ;
}
for ( int i = 0 ; i < count ; i++ )
{
this.preferences.remove ( "DefaultPushDownAlphabet" + i ); //$NON-NLS-1$
}
// Set new data
for ( int i = 0 ; i < pushDownAlphabetItem.getAlphabet ().size () ; i++ )
{
this.preferences.put ( "DefaultPushDownAlphabet" + i, //$NON-NLS-1$
pushDownAlphabetItem.getAlphabet ().get ( i ).getName () );
}
}
/**
* Sets the start {@link NonterminalSymbol}.
*
* @param nonterminalSymbolItem The start {@link NonterminalSymbol}.
*/
public final void setStartSymbolItem (
NonterminalSymbolItem nonterminalSymbolItem )
{
logger.debug ( "setStartSymbolItem", "set the start symbol to " //$NON-NLS-1$//$NON-NLS-2$
+ Messages.QUOTE
+ nonterminalSymbolItem.getNonterminalSymbol ()
+ Messages.QUOTE );
this.preferences.put ( "DefaultStartSymbol", nonterminalSymbolItem //$NON-NLS-1$
.getNonterminalSymbol ().getName () );
}
/**
* Sets the system {@link Locale}.
*
* @param locale The system {@link Locale}.
*/
public final void setSystemLocale ( Locale locale )
{
this.systemLocale = locale;
}
/**
* Sets the {@link TerminalSymbolSetItem}.
*
* @param terminalSymbolSetItem The {@link TerminalSymbolSetItem}.
*/
public final void setTerminalSymbolSetItem (
TerminalSymbolSetItem terminalSymbolSetItem )
{
logger.debug ( "setTerminalSymbolSetItem", //$NON-NLS-1$
"set the terminal symbol set to " + Messages.QUOTE //$NON-NLS-1$
+ terminalSymbolSetItem.getTerminalSymbolSet () + Messages.QUOTE );
// Delete old data
String end = "no item found"; //$NON-NLS-1$
int count = 0;
loop : while ( true )
{
String symbol = this.preferences.get (
"DefaultTerminalSymbolSet" + count, //$NON-NLS-1$
end );
if ( symbol.equals ( end ) )
{
break loop;
}
count++ ;
}
for ( int i = 0 ; i < count ; i++ )
{
this.preferences.remove ( "DefaultTerminalSymbolSet" + i ); //$NON-NLS-1$
}
// Set new data
for ( int i = 0 ; i < terminalSymbolSetItem.getTerminalSymbolSet ().size () ; i++ )
{
this.preferences.put ( "DefaultTerminalSymbolSet" + i, //$NON-NLS-1$
terminalSymbolSetItem.getTerminalSymbolSet ().get ( i ).getName () );
}
}
/**
* Sets the use push down {@link Alphabet} value.
*
* @param usePushDownAlphabet The use push down {@link Alphabet} to set.
*/
public final void setUsePushDownAlphabet ( boolean usePushDownAlphabet )
{
this.preferences.putBoolean ( "UsePushDownAlphabet", //$NON-NLS-1$
usePushDownAlphabet );
}
}