org.antlr.works.prefs.AWPrefs Maven / Gradle / Ivy
The newest version!
/*
[The "BSD licence"]
Copyright (c) 2005 Jean Bovet
All rights reserved.
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
1. Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
2. Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
3. The name of the author may not be used to endorse or promote products
derived from this software without specific prior written permission.
THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
package org.antlr.works.prefs;
import org.antlr.xjlib.appkit.app.XJApplication;
import org.antlr.xjlib.appkit.app.XJPreferences;
import org.antlr.xjlib.foundation.XJSystem;
import java.awt.*;
import java.util.Calendar;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
public class AWPrefs {
// General
public static final String PREF_STARTUP_ACTION = "PREF_STARTUP_ACTION";
public static final String PREF_LAST_SAVED_DOCUMENT = "PREF_LAST_SAVED_DOCUMENT";
public static final String PREF_ALL_OPENED_DOCUMENTS = "PREF_ALL_OPENED_DOCUMENTS";
public static final String PREF_RESTORE_WINDOWS = "PREF_RESTORE_WINDOWS";
public static final String PREF_LOOK_AND_FEEL = "PREF_LOOK_AND_FEEL";
public static final String PREF_DESKTOP_MODE = "PREF_DESKTOP_MODE";
public static final String PREF_DEBUG_VERBOSE = "PREF_DEBUG_VERBOSE";
public static final String PREF_DEBUG_DONT_OPTIMIZE_NFA = "PREF_DONT_OPTIMIZE_NFA";
public static final String PREF_DOT_TOOL_PATH = "PREF_DOT_TOOL_PATH";
public static final String PREF_ANTLR3_OPTIONS = "PREF_ANTLR3_OPTIONS";
public static final String PREF_TOOLBAR_SORT = "PREF_TOOLBAR_SORT";
public static final String PREF_TOOLBAR_ST_SORT = "PREF_TOOLBAR_ST_SORT";
public static final int STARTUP_NEW_DOC = 0;
public static final int STARTUP_OPEN_LAST_OPENED_DOC = 1;
public static final int STARTUP_OPEN_LAST_SAVED_DOC = 2;
public static final int STARTUP_OPEN_ALL_OPENED_DOC = 3;
public static final boolean DEFAULT_DESKTOP_MODE;
public static final String DEFAULT_DOT_TOOL_PATH;
public static final String DEFAULT_ANTLR3_OPTIONS="";
public static final boolean DEFAULT_RESTORE_WINDOWS = true;
// Editor
public static final String PREF_TAB_WIDTH = "PREF_TAB_WIDTH";
public static final String PREF_AUTOSAVE_ENABLED = "PREF_AUTOSAVE_ENABLED";
public static final String PREF_AUTOSAVE_DELAY = "PREF_AUTOSAVE_DELAY";
public static final String PREF_BACKUP_FILE_ENABLED = "PREF_BACKUP_FILE_ENABLED";
public static final String PREF_HIGHLIGHTCURSORLINE = "PREF_HIGHLIGHTCURSORLINE";
public static final String PREF_EDITOR_FONT = "PREF_EDITOR_FONT";
public static final String PREF_EDITOR_FONT_SIZE = "PREF_EDITOR_FONT_SIZE";
public static final String PREF_EDITOR_FOLDING = "PREF_EDITOR_FOLDING";
public static final String PREF_ACTIONS_ANCHORS_FOLDING = "PREF_ACTIONS_ANCHORS_FOLDING";
public static final String PREF_AUTO_IDENT_COLON_RULE = "PREF_AUTO_IDENT_COLON_RULE";
public static final String PREF_LINE_NUMBER = "PREF_LINE_NUMBER";
public static final String PREF_VSTYLE_AUTOCOMPLETION = "PREF_VSTYLE_AUTOCOMPLETION";
public static final String PREF_PARSER_DELAY = "PREF_PARSER_DELAY";
public static final String PREF_SMOOTH_SCROLLING = "PREF_SMOOTH_SCROLLING";
public static final int DEFAULT_TAB_WIDTH = 8;
public static String DEFAULT_EDITOR_FONT;
public static final int DEFAULT_EDITOR_FONT_SIZE = 12;
public static final boolean DEFAULT_EDITOR_FOLDING = true;
public static final boolean DEFAULT_ACTIONS_ANCHORS_FOLDING = true;
public static final boolean DEFAULT_AUTO_INDENT_COLON_RULE = true;
public static final int DEFAULT_PARSER_DELAY = 250;
public static final boolean DEFAULT_SMOOTH_SCROLLING = true;
// Syntax
public static final String PREF_SYNTAX_PARSER = "PREF_SYNTAX_PARSER";
public static final String PREF_SYNTAX_LEXER = "PREF_SYNTAX_LEXER";
public static final String PREF_SYNTAX_LABEL = "PREF_SYNTAX_LABEL";
public static final String PREF_SYNTAX_REFS = "PREF_SYNTAX_REFS";
public static final String PREF_SYNTAX_BLOCK = "PREF_SYNTAX_BLOCK";
public static final String PREF_SYNTAX_COMMENT = "PREF_SYNTAX_COMMENT";
public static final String PREF_SYNTAX_STRING = "PREF_SYNTAX_STRING";
public static final String PREF_SYNTAX_KEYWORD = "PREF_SYNTAX_KEYWORD";
public static Map color = new HashMap();
public static Map bold = new HashMap();
public static Map italic = new HashMap();
public static void addSyntax(String key, Color c, boolean bold, boolean italic) {
color.put(key, c);
AWPrefs.bold.put(key, bold);
AWPrefs.italic.put(key, italic);
}
static {
addSyntax(PREF_SYNTAX_PARSER, new Color(0.42f, 0, 0.42f), true, false);
addSyntax(PREF_SYNTAX_LEXER, new Color(0, 0, 0.5f), true, false);
addSyntax(PREF_SYNTAX_LABEL, Color.black, false, true);
addSyntax(PREF_SYNTAX_REFS, new Color(0, 153, 153), true, false);
addSyntax(PREF_SYNTAX_BLOCK, Color.black, true, false);
addSyntax(PREF_SYNTAX_COMMENT, Color.lightGray, false, true);
addSyntax(PREF_SYNTAX_STRING, new Color(0, 0.5f, 0), true, false);
addSyntax(PREF_SYNTAX_KEYWORD, new Color(0, 0, 0.5f), true, false);
}
public static String getSyntaxColorKey(String identifier) {
return identifier+"_COLOR";
}
public static String getSyntaxBoldKey(String identifier) {
return identifier+"_BOLD";
}
public static String getSyntaxItalicKey(String identifier) {
return identifier+"_ITALIC";
}
public static Color getSyntaxDefaultColor(String identifier) {
return color.get(identifier);
}
public static boolean getSyntaxDefaultBold(String identifier) {
return bold.get(identifier);
}
public static boolean getSyntaxDefaultItalic(String identifier) {
return italic.get(identifier);
}
public static Color getSyntaxColor(String identifier) {
return getPreferences().getColor(getSyntaxColorKey(identifier), getSyntaxDefaultColor(identifier));
}
public static boolean getSyntaxBold(String identifier) {
return getPreferences().getBoolean(getSyntaxBoldKey(identifier), getSyntaxDefaultBold(identifier));
}
public static boolean getSyntaxItalic(String identifier) {
return getPreferences().getBoolean(getSyntaxItalicKey(identifier), getSyntaxDefaultItalic(identifier));
}
// Compiler
public static final String PREF_JAVAC_CUSTOM_PATH = "PREF_JAVAC_CUSTOM_PATH";
public static final String PREF_JAVAC_PATH = "PREF_JAVAC_PATH";
public static final String PREF_JIKES_PATH = "PREF_JIKES_PATH";
public static final String PREF_CUSTOM_CLASS_PATH = "PREF_CUSTOM_CLASS_PATH";
public static final String PREF_COMPILER = "PREF_COMPILER";
public static final String PREF_CLASSPATH_SYSTEM = "PREF_CLASSPATH_SYSTEM";
public static final String PREF_CLASSPATH_CUSTOM = "PREF_CLASSPATH_CUSTOM";
public static final boolean DEFAULT_JAVAC_CUSTOM_PATH = false;
public static final String DEFAULT_JAVAC_PATH = "";
public static final String DEFAULT_JIKES_PATH = "";
public static final String DEFAULT_PREF_CUSTOM_CLASS_PATH = "";
public static final String DEFAULT_COMPILER = "javac";
public static final boolean DEFAULT_CLASSPATH_SYSTEM = true;
public static final boolean DEFAULT_CLASSPATH_CUSTOM = false;
public static final String COMPILER_JAVAC = "javac";
public static final String COMPILER_JIKES = "jikes";
public static final String COMPILER_INTEGRATED = "integrated";
// Updates
public static final String PREF_UPDATE_TYPE = "PREF_UPDATE_TYPE";
public static final String PREF_DOWNLOAD_PATH = "PREF_DOWNLOAD_PATH";
public static final String PREF_UPDATE_NEXT_DATE = "PREF_UPDATE_NEXT_DATE";
public static final int UPDATE_MANUALLY = 0;
public static final int UPDATE_AT_STARTUP = 1;
public static final int UPDATE_DAILY = 2;
public static final int UPDATE_WEEKLY = 3;
public static final int DEFAULT_UPDATE_TYPE = UPDATE_WEEKLY;
public static final String DEFAULT_DOWNLOAD_PATH = System.getProperty("user.home");
// Debugger
public static final String PREF_NONCONSUMED_TOKEN_COLOR = "PREF_NONCONSUMED_TOKEN_COLOR2";
public static final Color DEFAULT_NONCONSUMED_TOKEN_COLOR = Color.lightGray;
public static final String PREF_CONSUMED_TOKEN_COLOR = "PREF_CONSUMED_TOKEN_COLOR2";
public static final Color DEFAULT_CONSUMED_TOKEN_COLOR = Color.black;
public static final String PREF_HIDDEN_TOKEN_COLOR = "PREF_HIDDEN_TOKEN_COLOR2";
public static final Color DEFAULT_HIDDEN_TOKEN_COLOR = Color.lightGray;
public static final String PREF_DEAD_TOKEN_COLOR = "PREF_DEAD_TOKEN_COLOR2";
public static final Color DEFAULT_DEAD_TOKEN_COLOR = Color.red;
public static final String PREF_LOOKAHEAD_TOKEN_COLOR = "PREF_LOOKAHEAD_TOKEN_COLOR2";
public static final Color DEFAULT_LOOKAHEAD_TOKEN_COLOR = Color.blue;
public static final String PREF_DEBUG_LOCALPORT = "PREF_DEBUG_LOCALPORT";
public static final int DEFAULT_DEBUG_LOCALPORT = 49100;
public static final String PREF_DEBUG_LAUNCHTIMEOUT = "PREF_DEBUG_LAUNCHTIMEOUT";
public static final int DEFAULT_DEBUG_LAUNCHTIMEOUT = 5;
public static final String PREF_DETACHABLE_CHILDREN = "PREF_DETACHABLE_CHILDREN";
public static final boolean DEFAULT_DETACHABLE_CHILDREN = true;
public static final String PREF_DEBUGGER_ASK_GEN = "PREF_DEBUGGER_ASK_GEN";
public static final boolean DEFAULT_DEBUGGER_ASK_GEN = false;
// Avanced
public static final String PREF_ALERT_CHECK_GRAMMAR_SUCCESS = "PREF_ALERT_CHECK_GRAMMAR_SUCCESS";
public static final String PREF_ALERT_GENERATE_CODE_SUCCESS = "PREF_ALERT_GENERATE_CODE_SUCCESS";
public static final String PREF_ALERT_FILE_CHANGES_DETECTED = "PREF_ALERT_FILE_CHANGES_DETECTED";
public static final String PREF_ALERT_INTERPRETER_LIMITATION = "PREF_ALERT_INTERPRETER_LIMITATION";
public static final String PREF_CLEAR_CONSOLE_BEFORE_CHECK = "PREF_CLEAR_CONSOLE_BEFORE_CHECK";
// Test Rig
public static final String PREF_TEST_RIG_TEXT = "PREF_TEST_RIG_TEXT";
public static final String PREF_TEST_RIG_CLASS = "PREF_TEST_RIG_CLASS";
public static final String PREF_TEST_RIG_MODE = "PREF_TEST_RIG_MODE";
public static final String TEST_RIG_MODE_DEFAULT = "default";
public static final String TEST_RIG_MODE_TEXT = "text";
public static final String TEST_RIG_MODE_CLASS = "class";
public static final String DEFAULT_TEST_RIG_MODE = TEST_RIG_MODE_TEXT;
public static final String DEFAULT_TEST_RIG_MODE_BY_LANGUAGE = TEST_RIG_MODE_DEFAULT;
// Other
public static final String PREF_USER_REGISTERED = "PREF_USER_REGISTERED";
public static final String PREF_SERVER_ID = "PREF_SERVER_ID";
public static final String PREF_OUTPUT_PATH_CUSTOM = "PREF_OUTPUT_PATH_CUSTOM";
public static final String PREF_OUTPUT_PATH = "PREF_OUTPUT_PATH";
public static final String PREF_DEBUGGER_INPUT_TEXT = "PREF_DEBUGGER_INPUT_TEXT";
public static final String PREF_DEBUGGER_EOL = "PREF_DEBUGGER_EOL";
public static final String PREF_DEBUGGER_INPUT_FILE = "PREF_DEBUGGER_INPUT_FILE";
public static final String PREF_DEBUGGER_INPUT_MODE = "PREF_DEBUGGER_INPUT_MODE";
public static final String PREF_DEBUG_BREAK_ALL = "PREF_DEBUG_BREAK_ALL";
public static final String PREF_DEBUG_BREAK_LOCATION = "PREF_DEBUG_BREAK_LOCATION";
public static final String PREF_DEBUG_BREAK_CONSUME = "PREF_DEBUG_BREAK_CONSUME";
public static final String PREF_DEBUG_BREAK_LT = "PREF_DEBUG_BREAK_LT";
public static final String PREF_DEBUG_BREAK_EXCEPTION = "PREF_DEBUG_BREAK_EXCEPTION";
public static final String PREF_PERSONAL_INFO = "PREF_OUTPUT_DEV_DATE";
public static final String PREF_PRIVATE_MENU = "PREF_PRIVATE_MENU";
public static final String DEFAULT_OUTPUT_PATH = "output";
static {
DEFAULT_EDITOR_FONT = "Courier New";
if(XJSystem.isMacOS()) {
DEFAULT_DOT_TOOL_PATH = "/Applications/Graphviz.app/Contents/MacOS/dot";
if(Font.getFont("Monospaced") != null)
DEFAULT_EDITOR_FONT = "Monospaced";
} else if(XJSystem.isWindows()) {
DEFAULT_DOT_TOOL_PATH = "";
if(Font.getFont("Tahoma") != null)
DEFAULT_EDITOR_FONT = "Tahoma";
} else if(XJSystem.isLinux()) {
DEFAULT_DOT_TOOL_PATH = "/usr/bin/dot";
if(Font.getFont("Monospaced") != null)
DEFAULT_EDITOR_FONT = "Monospaced";
} else {
DEFAULT_DOT_TOOL_PATH = "/usr/bin/dot";
if(Font.getFont("Courier") != null)
DEFAULT_EDITOR_FONT = "Courier";
}
DEFAULT_DESKTOP_MODE = !XJSystem.isMacOS();
}
public static boolean getDebugVerbose() {
return getPreferences().getBoolean(PREF_DEBUG_VERBOSE, false);
}
public static boolean getDebugDontOptimizeNFA() {
return getPreferences().getBoolean(PREF_DEBUG_DONT_OPTIMIZE_NFA, false);
}
public static int getDebugDefaultLocalPort() {
return getPreferences().getInt(PREF_DEBUG_LOCALPORT, DEFAULT_DEBUG_LOCALPORT);
}
public static int getDebugLaunchTimeout() {
return getPreferences().getInt(PREF_DEBUG_LAUNCHTIMEOUT, DEFAULT_DEBUG_LAUNCHTIMEOUT);
}
public static void setOutputPath(String path) {
getPreferences().setString(PREF_OUTPUT_PATH, path);
}
public static String getOutputPath() {
return getPreferences().getString(PREF_OUTPUT_PATH, DEFAULT_OUTPUT_PATH);
}
public static void setDebuggerInputText(String inputText) {
getPreferences().setString(PREF_DEBUGGER_INPUT_TEXT, inputText);
}
public static String getDebuggerInputText() {
return getPreferences().getString(PREF_DEBUGGER_INPUT_TEXT, "");
}
public static int getStartupAction() {
return getPreferences().getInt(PREF_STARTUP_ACTION, STARTUP_OPEN_LAST_OPENED_DOC);
}
public static boolean getRestoreWindows() {
return getPreferences().getBoolean(PREF_RESTORE_WINDOWS, DEFAULT_RESTORE_WINDOWS);
}
public static boolean getAutoSaveEnabled() {
return getPreferences().getBoolean(PREF_AUTOSAVE_ENABLED, false);
}
public static int getAutoSaveDelay() {
return getPreferences().getInt(PREF_AUTOSAVE_DELAY, 5);
}
public static boolean getBackupFileEnabled() {
return getPreferences().getBoolean(PREF_BACKUP_FILE_ENABLED, false);
}
public static boolean getHighlightCursorEnabled() {
return getPreferences().getBoolean(PREF_HIGHLIGHTCURSORLINE, true);
}
public static int getEditorTabSize() {
return getPreferences().getInt(PREF_TAB_WIDTH, DEFAULT_TAB_WIDTH);
}
public static String getEditorFont() {
return getPreferences().getString(PREF_EDITOR_FONT, DEFAULT_EDITOR_FONT);
}
public static int getEditorFontSize() {
return getPreferences().getInt(PREF_EDITOR_FONT_SIZE, DEFAULT_EDITOR_FONT_SIZE);
}
public static boolean getSmoothScrolling() {
return getPreferences().getBoolean(PREF_SMOOTH_SCROLLING, DEFAULT_SMOOTH_SCROLLING);
}
public static boolean getFoldingEnabled() {
return getPreferences().getBoolean(PREF_EDITOR_FOLDING, DEFAULT_EDITOR_FOLDING);
}
public static boolean getDisplayActionsAnchorsFolding() {
return getPreferences().getBoolean(PREF_ACTIONS_ANCHORS_FOLDING, DEFAULT_ACTIONS_ANCHORS_FOLDING);
}
public static boolean autoIndentColonInRule() {
return getPreferences().getBoolean(PREF_AUTO_IDENT_COLON_RULE, true);
}
public static boolean getLineNumberEnabled() {
return getPreferences().getBoolean(PREF_LINE_NUMBER, false);
}
public static boolean isVStyleAutoCompletion() {
return getPreferences().getBoolean(PREF_VSTYLE_AUTOCOMPLETION, false);
}
public static int getParserDelay() {
return getPreferences().getInt(PREF_PARSER_DELAY, DEFAULT_PARSER_DELAY);
}
public static void setLookAndFeel(String name) {
getPreferences().setString(PREF_LOOK_AND_FEEL, name);
}
public static String getLookAndFeel() {
return getPreferences().getString(PREF_LOOK_AND_FEEL, null);
}
public static boolean getUseDesktopMode() {
return getPreferences().getBoolean(PREF_DESKTOP_MODE, DEFAULT_DESKTOP_MODE);
}
public static void setDOTToolPath(String path) {
getPreferences().setString(PREF_DOT_TOOL_PATH, path);
}
public static String getDOTToolPath() {
return getPreferences().getString(PREF_DOT_TOOL_PATH, DEFAULT_DOT_TOOL_PATH);
}
public static String[] getANTLR3Options() {
String options = getPreferences().getString(PREF_ANTLR3_OPTIONS, DEFAULT_ANTLR3_OPTIONS);
if(options != null && options.trim().length() > 0) {
return options.trim().split(" ");
} else {
return new String[0];
}
}
public static boolean getJavaCCustomPath() {
return getPreferences().getBoolean(PREF_JAVAC_CUSTOM_PATH, DEFAULT_JAVAC_CUSTOM_PATH);
}
public static void setJavaCPath(String path) {
getPreferences().setString(PREF_JAVAC_PATH, path);
}
public static String getJavaCPath() {
return getPreferences().getString(PREF_JAVAC_PATH, DEFAULT_JAVAC_PATH);
}
public static void setJikesPath(String path) {
getPreferences().setString(PREF_JIKES_PATH, path);
}
public static String getJikesPath() {
return getPreferences().getString(PREF_JIKES_PATH, DEFAULT_JIKES_PATH);
}
public static void setCustomClassPath(String path) {
getPreferences().setString(PREF_CUSTOM_CLASS_PATH, path);
}
public static String getCustomClassPath() {
return getPreferences().getString(PREF_CUSTOM_CLASS_PATH, DEFAULT_PREF_CUSTOM_CLASS_PATH);
}
public static String getCompiler() {
return getPreferences().getString(PREF_COMPILER, DEFAULT_COMPILER);
}
public static boolean getUseSystemClassPath() {
return getPreferences().getBoolean(PREF_CLASSPATH_SYSTEM, DEFAULT_CLASSPATH_SYSTEM);
}
public static boolean getUseCustomClassPath() {
return getPreferences().getBoolean(PREF_CLASSPATH_CUSTOM, DEFAULT_CLASSPATH_CUSTOM);
}
public static int getUpdateType() {
return getPreferences().getInt(PREF_UPDATE_TYPE, DEFAULT_UPDATE_TYPE);
}
public static void setUpdateNextDate(Calendar date) {
getPreferences().setObject(PREF_UPDATE_NEXT_DATE, date);
}
public static Calendar getUpdateNextDate() {
return (Calendar)getPreferences().getObject(PREF_UPDATE_NEXT_DATE, null);
}
public static void setDownloadPath(String path) {
getPreferences().setString(PREF_DOWNLOAD_PATH, path);
}
public static String getDownloadPath() {
return getPreferences().getString(PREF_DOWNLOAD_PATH, DEFAULT_DOWNLOAD_PATH);
}
public static void setUserRegistered(boolean flag) {
getPreferences().setBoolean(PREF_USER_REGISTERED, flag);
}
public static boolean isUserRegistered() {
return getPreferences().getBoolean(PREF_USER_REGISTERED, false);
}
public static void removeUserRegistration() {
getPreferences().remove(PREF_USER_REGISTERED);
}
public static void setServerID(String id) {
getPreferences().setString(PREF_SERVER_ID, id);
}
public static String getServerID() {
return getPreferences().getString(PREF_SERVER_ID, null);
}
public static void setPersonalInfo(Map info) {
getPreferences().setObject(PREF_PERSONAL_INFO, info);
}
public static Map getPersonalInfo() {
return (Map)getPreferences().getObject(PREF_PERSONAL_INFO, null);
}
public static boolean getPrivateMenu() {
return getPreferences().getBoolean(PREF_PRIVATE_MENU, false);
}
public static Color getNonConsumedTokenColor() {
return getPreferences().getColor(PREF_NONCONSUMED_TOKEN_COLOR, DEFAULT_NONCONSUMED_TOKEN_COLOR);
}
public static Color getConsumedTokenColor() {
return getPreferences().getColor(PREF_CONSUMED_TOKEN_COLOR, DEFAULT_CONSUMED_TOKEN_COLOR);
}
public static Color getHiddenTokenColor() {
return getPreferences().getColor(PREF_HIDDEN_TOKEN_COLOR, DEFAULT_HIDDEN_TOKEN_COLOR);
}
public static Color getDeadTokenColor() {
return getPreferences().getColor(PREF_DEAD_TOKEN_COLOR, DEFAULT_DEAD_TOKEN_COLOR);
}
public static Color getLookaheadTokenColor() {
return getPreferences().getColor(PREF_LOOKAHEAD_TOKEN_COLOR, DEFAULT_LOOKAHEAD_TOKEN_COLOR);
}
public static boolean getDetachableChildren() {
return getPreferences().getBoolean(PREF_DETACHABLE_CHILDREN, DEFAULT_DETACHABLE_CHILDREN);
}
public static boolean getDebuggerAskGen() {
return getPreferences().getBoolean(PREF_DEBUGGER_ASK_GEN, DEFAULT_DEBUGGER_ASK_GEN);
}
public static XJPreferences getPreferences() {
return XJApplication.shared().getPreferences();
}
public static void setLastSavedDocument(String filePath) {
if(filePath != null)
getPreferences().setString(PREF_LAST_SAVED_DOCUMENT, filePath);
}
public static String getLastSavedDocument() {
return getPreferences().getString(PREF_LAST_SAVED_DOCUMENT, null);
}
public static void setAllOpenedDocuments(List documents) {
if(documents != null)
getPreferences().setObject(PREF_ALL_OPENED_DOCUMENTS, documents);
}
public static List getAllOpenedDocuments() {
return (List) getPreferences().getObject(PREF_ALL_OPENED_DOCUMENTS, null);
}
public static void setDebuggerEOL(int index) {
getPreferences().setInt(PREF_DEBUGGER_EOL, index);
}
public static int getDebuggerEOL() {
return getPreferences().getInt(PREF_DEBUGGER_EOL, 0);
}
public static void setDebuggerInputMode(int mode) {
getPreferences().setInt(PREF_DEBUGGER_INPUT_MODE, mode);
}
public static int getDebuggerInputMode() {
return getPreferences().getInt(PREF_DEBUGGER_INPUT_MODE, 0);
}
public static void setDebuggerInputFile(String file) {
getPreferences().setString(PREF_DEBUGGER_INPUT_FILE, file);
}
public static String getDebuggerInputFile() {
return getPreferences().getString(PREF_DEBUGGER_INPUT_FILE, "");
}
public static void setTestRigTemplateTextByLanguage(String language, String text) {
getPreferences().setString(PREF_TEST_RIG_TEXT + "_FOR_" + language.toUpperCase(), text);
}
public static String getTestRigTemplateTextByLanguage(String language) {
return getPreferences().getString(PREF_TEST_RIG_TEXT + "_FOR_" + language.toUpperCase(), "");
}
public static void setTestRigTemplateMode(String identifier, String testRigMode) {
getPreferences().setString(PREF_TEST_RIG_MODE + "_" + identifier, testRigMode);
}
public static String getTestRigTemplateMode(String identifier) {
return getPreferences().getString(PREF_TEST_RIG_MODE + "_" + identifier, DEFAULT_TEST_RIG_MODE);
}
public static void setTestRigTemplateModeByLanguage(String language, String testRigMode) {
getPreferences().setString(PREF_TEST_RIG_MODE + "_FOR_" + language.toUpperCase(), testRigMode);
}
public static String getTestRigTemplateModeByLanguage(String langauge) {
return getPreferences().getString(PREF_TEST_RIG_MODE + "_FOR_" + langauge.toUpperCase(), DEFAULT_TEST_RIG_MODE_BY_LANGUAGE);
}
public static void setTestRigTemplateClass(String identifier, String className) {
getPreferences().setString(PREF_TEST_RIG_CLASS + "_" + identifier, className);
}
public static String getTestRigTemplateClass(String identifier) {
return getPreferences().getString(PREF_TEST_RIG_CLASS + "_" + identifier, "");
}
public static void setAlertGenerateCodeSuccess(boolean flag) {
getPreferences().setBoolean(PREF_ALERT_GENERATE_CODE_SUCCESS, flag);
}
public static boolean isAlertGenerateCodeSuccess() {
return getPreferences().getBoolean(PREF_ALERT_GENERATE_CODE_SUCCESS, true);
}
public static void setAlertCheckGrammarSuccess(boolean flag) {
getPreferences().setBoolean(PREF_ALERT_CHECK_GRAMMAR_SUCCESS, flag);
}
public static boolean isAlertCheckGrammarSuccess() {
return getPreferences().getBoolean(PREF_ALERT_CHECK_GRAMMAR_SUCCESS, true);
}
public static void setAlertFileChangesDetected(boolean flag) {
getPreferences().setBoolean(PREF_ALERT_FILE_CHANGES_DETECTED, flag);
}
public static boolean isAlertFileChangesDetected() {
return getPreferences().getBoolean(PREF_ALERT_FILE_CHANGES_DETECTED, true);
}
public static void setAlertInterpreterLimitation(boolean flag) {
getPreferences().setBoolean(PREF_ALERT_INTERPRETER_LIMITATION, flag);
}
public static boolean isAlertInterpreterLimitation() {
return getPreferences().getBoolean(PREF_ALERT_INTERPRETER_LIMITATION, true);
}
public static boolean isClearConsoleBeforeCheckGrammar() {
return getPreferences().getBoolean(PREF_CLEAR_CONSOLE_BEFORE_CHECK, false);
}
}