1 31 32 package org.antlr.works.prefs; 33 34 import org.antlr.xjlib.appkit.app.XJApplication; 35 import org.antlr.xjlib.appkit.app.XJPreferences; 36 import org.antlr.xjlib.foundation.XJSystem; 37 38 import java.awt.*; 39 import java.util.Calendar ; 40 import java.util.HashMap ; 41 import java.util.List ; 42 import java.util.Map ; 43 44 public class AWPrefs { 45 46 public static final String PREF_STARTUP_ACTION = "PREF_STARTUP_ACTION"; 48 public static final String PREF_LAST_SAVED_DOCUMENT = "PREF_LAST_SAVED_DOCUMENT"; 49 public static final String PREF_ALL_OPENED_DOCUMENTS = "PREF_ALL_OPENED_DOCUMENTS"; 50 51 public static final String PREF_RESTORE_WINDOWS = "PREF_RESTORE_WINDOWS"; 52 public static final String PREF_LOOK_AND_FEEL = "PREF_LOOK_AND_FEEL"; 53 public static final String PREF_DESKTOP_MODE = "PREF_DESKTOP_MODE"; 54 55 public static final String PREF_DEBUG_VERBOSE = "PREF_DEBUG_VERBOSE"; 56 public static final String PREF_DEBUG_DONT_OPTIMIZE_NFA = "PREF_DONT_OPTIMIZE_NFA"; 57 58 public static final String PREF_DOT_TOOL_PATH = "PREF_DOT_TOOL_PATH"; 59 public static final String PREF_ANTLR3_OPTIONS = "PREF_ANTLR3_OPTIONS"; 60 61 public static final String PREF_TOOLBAR_SORT = "PREF_TOOLBAR_SORT"; 62 63 public static final int STARTUP_NEW_DOC = 0; 64 public static final int STARTUP_OPEN_LAST_OPENED_DOC = 1; 65 public static final int STARTUP_OPEN_LAST_SAVED_DOC = 2; 66 public static final int STARTUP_OPEN_ALL_OPENED_DOC = 3; 67 68 public static final boolean DEFAULT_DESKTOP_MODE; 69 public static final String DEFAULT_DOT_TOOL_PATH; 70 public static final String DEFAULT_ANTLR3_OPTIONS=""; 71 public static final boolean DEFAULT_RESTORE_WINDOWS = true; 72 73 public static final String PREF_TAB_WIDTH = "PREF_TAB_WIDTH"; 75 public static final String PREF_AUTOSAVE_ENABLED = "PREF_AUTOSAVE_ENABLED"; 76 public static final String PREF_AUTOSAVE_DELAY = "PREF_AUTOSAVE_DELAY"; 77 public static final String PREF_BACKUP_FILE_ENABLED = "PREF_BACKUP_FILE_ENABLED"; 78 public static final String PREF_HIGHLIGHTCURSORLINE = "PREF_HIGHLIGHTCURSORLINE"; 79 public static final String PREF_EDITOR_FONT = "PREF_EDITOR_FONT"; 80 public static final String PREF_EDITOR_FONT_SIZE = "PREF_EDITOR_FONT_SIZE"; 81 public static final String PREF_EDITOR_FOLDING = "PREF_EDITOR_FOLDING"; 82 public static final String PREF_ACTIONS_ANCHORS_FOLDING = "PREF_ACTIONS_ANCHORS_FOLDING"; 83 public static final String PREF_AUTO_IDENT_COLON_RULE = "PREF_AUTO_IDENT_COLON_RULE"; 84 public static final String PREF_LINE_NUMBER = "PREF_LINE_NUMBER"; 85 public static final String PREF_VSTYLE_AUTOCOMPLETION = "PREF_VSTYLE_AUTOCOMPLETION"; 86 public static final String PREF_PARSER_DELAY = "PREF_PARSER_DELAY"; 87 public static final String PREF_SMOOTH_SCROLLING = "PREF_SMOOTH_SCROLLING"; 88 89 public static final int DEFAULT_TAB_WIDTH = 8; 90 public static String DEFAULT_EDITOR_FONT; 91 public static final int DEFAULT_EDITOR_FONT_SIZE = 12; 92 public static final boolean DEFAULT_EDITOR_FOLDING = true; 93 public static final boolean DEFAULT_ACTIONS_ANCHORS_FOLDING = true; 94 public static final boolean DEFAULT_AUTO_INDENT_COLON_RULE = true; 95 public static final int DEFAULT_PARSER_DELAY = 250; 96 public static final boolean DEFAULT_SMOOTH_SCROLLING = true; 97 98 100 public static final String PREF_SYNTAX_PARSER = "PREF_SYNTAX_PARSER"; 101 public static final String PREF_SYNTAX_LEXER = "PREF_SYNTAX_LEXER"; 102 public static final String PREF_SYNTAX_LABEL = "PREF_SYNTAX_LABEL"; 103 public static final String PREF_SYNTAX_REFS = "PREF_SYNTAX_REFS"; 104 public static final String PREF_SYNTAX_COMMENT = "PREF_SYNTAX_COMMENT"; 105 public static final String PREF_SYNTAX_STRING = "PREF_SYNTAX_STRING"; 106 public static final String PREF_SYNTAX_KEYWORD = "PREF_SYNTAX_KEYWORD"; 107 108 public static Map <String ,Color> color = new HashMap <String , Color>(); 109 public static Map <String ,Boolean > bold = new HashMap <String , Boolean >(); 110 public static Map <String ,Boolean > italic = new HashMap <String , Boolean >(); 111 112 public static void addSyntax(String key, Color c, boolean b, boolean i) { 113 color.put(key, c); 114 bold.put(key, b); 115 italic.put(key, i); 116 } 117 118 static { 119 addSyntax(PREF_SYNTAX_PARSER, new Color(0.42f, 0, 0.42f), true, false); 120 addSyntax(PREF_SYNTAX_LEXER, new Color(0, 0, 0.5f), true, false); 121 addSyntax(PREF_SYNTAX_LABEL, Color.black, false, true); 122 addSyntax(PREF_SYNTAX_REFS, new Color(0, 153, 153), true, false); 123 addSyntax(PREF_SYNTAX_COMMENT, Color.lightGray, false, true); 124 addSyntax(PREF_SYNTAX_STRING, new Color(0, 0.5f, 0), true, false); 125 addSyntax(PREF_SYNTAX_KEYWORD, new Color(0, 0, 0.5f), true, false); 126 } 127 128 public static String getSyntaxColorKey(String identifier) { 129 return identifier+"_COLOR"; 130 } 131 132 public static String getSyntaxBoldKey(String identifier) { 133 return identifier+"_BOLD"; 134 } 135 136 public static String getSyntaxItalicKey(String identifier) { 137 return identifier+"_ITALIC"; 138 } 139 140 public static Color getSyntaxDefaultColor(String identifier) { 141 return color.get(identifier); 142 } 143 144 public static boolean getSyntaxDefaultBold(String identifier) { 145 return bold.get(identifier); 146 } 147 148 public static boolean getSyntaxDefaultItalic(String identifier) { 149 return italic.get(identifier); 150 } 151 152 public static Color getSyntaxColor(String identifier) { 153 return getPreferences().getColor(getSyntaxColorKey(identifier), getSyntaxDefaultColor(identifier)); 154 } 155 156 public static boolean getSyntaxBold(String identifier) { 157 return getPreferences().getBoolean(getSyntaxBoldKey(identifier), getSyntaxDefaultBold(identifier)); 158 } 159 160 public static boolean getSyntaxItalic(String identifier) { 161 return getPreferences().getBoolean(getSyntaxItalicKey(identifier), getSyntaxDefaultItalic(identifier)); 162 } 163 164 public static final String PREF_SCM_P4_ENABLED = "PREF_SCM_ENABLE_P4"; 166 public static final String PREF_SCM_P4_PORT = "PREF_SCM_P4_PORT"; 167 public static final String PREF_SCM_P4_USER = "PREF_SCM_P4_USER"; 168 public static final String PREF_SCM_P4_PASSWORD = "PREF_SCM_P4_PASSWORD"; 169 public static final String PREF_SCM_P4_CLIENT = "PREF_SCM_P4_CLIENT"; 170 public static final String PREF_SCM_P4_EXEC = "PREF_SCM_P4_EXEC"; 171 172 public static final String PREF_JAVAC_CUSTOM_PATH = "PREF_JAVAC_CUSTOM_PATH"; 174 public static final String PREF_JAVAC_PATH = "PREF_JAVAC_PATH"; 175 public static final String PREF_JIKES_PATH = "PREF_JIKES_PATH"; 176 public static final String PREF_CUSTOM_CLASS_PATH = "PREF_CUSTOM_CLASS_PATH"; 177 public static final String PREF_COMPILER = "PREF_COMPILER"; 178 public static final String PREF_CLASSPATH_SYSTEM = "PREF_CLASSPATH_SYSTEM"; 179 public static final String PREF_CLASSPATH_CUSTOM = "PREF_CLASSPATH_CUSTOM"; 180 181 public static final boolean DEFAULT_JAVAC_CUSTOM_PATH = false; 182 public static final String DEFAULT_JAVAC_PATH = ""; 183 public static final String DEFAULT_JIKES_PATH = ""; 184 public static final String DEFAULT_PREF_CUSTOM_CLASS_PATH = ""; 185 public static final String DEFAULT_COMPILER = "javac"; 186 public static final boolean DEFAULT_CLASSPATH_SYSTEM = true; 187 public static final boolean DEFAULT_CLASSPATH_CUSTOM = false; 188 189 public static final String COMPILER_JAVAC = "javac"; 190 public static final String COMPILER_JIKES = "jikes"; 191 public static final String COMPILER_INTEGRATED = "integrated"; 192 193 public static final String PREF_UPDATE_TYPE = "PREF_UPDATE_TYPE"; 195 public static final String PREF_DOWNLOAD_PATH = "PREF_DOWNLOAD_PATH"; 196 public static final String PREF_UPDATE_NEXT_DATE = "PREF_UPDATE_NEXT_DATE"; 197 198 public static final int UPDATE_MANUALLY = 0; 199 public static final int UPDATE_AT_STARTUP = 1; 200 public static final int UPDATE_DAILY = 2; 201 public static final int UPDATE_WEEKLY = 3; 202 203 public static final int DEFAULT_UPDATE_TYPE = UPDATE_WEEKLY; 204 public static final String DEFAULT_DOWNLOAD_PATH = System.getProperty("user.home"); 205 206 208 public static final String PREF_NONCONSUMED_TOKEN_COLOR = "PREF_NONCONSUMED_TOKEN_COLOR2"; 209 public static final Color DEFAULT_NONCONSUMED_TOKEN_COLOR = Color.lightGray; 210 211 public static final String PREF_CONSUMED_TOKEN_COLOR = "PREF_CONSUMED_TOKEN_COLOR2"; 212 public static final Color DEFAULT_CONSUMED_TOKEN_COLOR = Color.black; 213 214 public static final String PREF_HIDDEN_TOKEN_COLOR = "PREF_HIDDEN_TOKEN_COLOR2"; 215 public static final Color DEFAULT_HIDDEN_TOKEN_COLOR = Color.lightGray; 216 217 public static final String PREF_DEAD_TOKEN_COLOR = "PREF_DEAD_TOKEN_COLOR2"; 218 public static final Color DEFAULT_DEAD_TOKEN_COLOR = Color.red; 219 220 public static final String PREF_LOOKAHEAD_TOKEN_COLOR = "PREF_LOOKAHEAD_TOKEN_COLOR2"; 221 public static final Color DEFAULT_LOOKAHEAD_TOKEN_COLOR = Color.blue; 222 223 public static final String PREF_DEBUG_LOCALPORT = "PREF_DEBUG_LOCALPORT"; 224 public static final int DEFAULT_DEBUG_LOCALPORT = 0xC001; 225 226 public static final String PREF_DEBUG_LAUNCHTIMEOUT = "PREF_DEBUG_LAUNCHTIMEOUT"; 227 public static final int DEFAULT_DEBUG_LAUNCHTIMEOUT = 5; 228 229 public static final String PREF_DETACHABLE_CHILDREN = "PREF_DETACHABLE_CHILDREN"; 230 public static final boolean DEFAULT_DETACHABLE_CHILDREN = true; 231 232 public static final String PREF_DEBUGGER_ASK_GEN = "PREF_DEBUGGER_ASK_GEN"; 233 public static final boolean DEFAULT_DEBUGGER_ASK_GEN = false; 234 235 public static final String PREF_USER_REGISTERED = "PREF_USER_REGISTERED"; 237 public static final String PREF_SERVER_ID = "PREF_SERVER_ID"; 238 239 public static final String PREF_OUTPUT_PATH = "PREF_OUTPUT_PATH"; 240 public static final String PREF_START_SYMBOL = "PREF_START_SYMBOL"; 241 public static final String PREF_DEBUGGER_INPUT_TEXT = "PREF_DEBUGGER_INPUT_TEXT"; 242 public static final String PREF_DEBUGGER_EOL = "PREF_DEBUGGER_EOL"; 243 public static final String PREF_DEBUGGER_INPUT_FILE = "PREF_DEBUGGER_INPUT_FILE"; 244 public static final String PREF_DEBUGGER_INPUT_MODE = "PREF_DEBUGGER_INPUT_MODE"; 245 246 public static final String PREF_DEBUG_BREAK_ALL = "PREF_DEBUG_BREAK_ALL"; 247 public static final String PREF_DEBUG_BREAK_LOCATION = "PREF_DEBUG_BREAK_LOCATION"; 248 public static final String PREF_DEBUG_BREAK_CONSUME = "PREF_DEBUG_BREAK_CONSUME"; 249 public static final String PREF_DEBUG_BREAK_LT = "PREF_DEBUG_BREAK_LT"; 250 public static final String PREF_DEBUG_BREAK_EXCEPTION = "PREF_DEBUG_BREAK_EXCEPTION"; 251 252 public static final String PREF_PERSONAL_INFO = "PREF_OUTPUT_DEV_DATE"; 253 public static final String PREF_PRIVATE_MENU = "PREF_PRIVATE_MENU"; 254 255 public static final String PREF_PROJET_DOCUMENT = "PREF_PROJET_DOCUMENT"; 256 257 public static final String DEFAULT_OUTPUT_PATH; 258 259 static { 260 DEFAULT_EDITOR_FONT = "Courier New"; 261 262 if(XJSystem.isMacOS()) { 263 DEFAULT_OUTPUT_PATH = "/tmp/antlrworks/"; 264 DEFAULT_DOT_TOOL_PATH = "/Applications/Graphviz.app/Contents/MacOS/dot"; 265 if(Font.getFont("Monospaced") != null) 266 DEFAULT_EDITOR_FONT = "Monospaced"; 267 } else if(XJSystem.isWindows()) { 268 DEFAULT_OUTPUT_PATH = "\\tmp\\antlrworks\\"; 269 DEFAULT_DOT_TOOL_PATH = ""; 270 if(Font.getFont("Tahoma") != null) 271 DEFAULT_EDITOR_FONT = "Tahoma"; 272 } else if(XJSystem.isLinux()) { 273 DEFAULT_OUTPUT_PATH = "/tmp/antlrworks/"; 274 DEFAULT_DOT_TOOL_PATH = ""; 275 if(Font.getFont("Monospaced") != null) 276 DEFAULT_EDITOR_FONT = "Monospaced"; 277 } else { 278 DEFAULT_OUTPUT_PATH = "/tmp/antlrworks/"; 279 DEFAULT_DOT_TOOL_PATH = ""; 280 if(Font.getFont("Courier") != null) 281 DEFAULT_EDITOR_FONT = "Courier"; 282 } 283 284 DEFAULT_DESKTOP_MODE = !XJSystem.isMacOS(); 285 } 286 287 public static boolean getDebugVerbose() { 288 return getPreferences().getBoolean(PREF_DEBUG_VERBOSE, false); 289 } 290 291 public static boolean getDebugDontOptimizeNFA() { 292 return getPreferences().getBoolean(PREF_DEBUG_DONT_OPTIMIZE_NFA, false); 293 } 294 295 public static int getDebugDefaultLocalPort() { 296 return getPreferences().getInt(PREF_DEBUG_LOCALPORT, DEFAULT_DEBUG_LOCALPORT); 297 } 298 299 public static int getDebugLaunchTimeout() { 300 return getPreferences().getInt(PREF_DEBUG_LAUNCHTIMEOUT, DEFAULT_DEBUG_LAUNCHTIMEOUT); 301 } 302 303 public static void setOutputPath(String path) { 304 getPreferences().setString(PREF_OUTPUT_PATH, path); 305 } 306 307 public static String getOutputPath() { 308 return getPreferences().getString(PREF_OUTPUT_PATH, DEFAULT_OUTPUT_PATH); 309 } 310 311 public static void setStartSymbol(String startSymbol) { 312 getPreferences().setString(PREF_START_SYMBOL, startSymbol); 313 } 314 315 public static String getStartSymbol() { 316 return getPreferences().getString(PREF_START_SYMBOL, ""); 317 } 318 319 public static void setDebuggerInputText(String inputText) { 320 getPreferences().setString(PREF_DEBUGGER_INPUT_TEXT, inputText); 321 } 322 323 public static String getDebuggerInputText() { 324 return getPreferences().getString(PREF_DEBUGGER_INPUT_TEXT, ""); 325 } 326 327 public static int getStartupAction() { 328 return getPreferences().getInt(PREF_STARTUP_ACTION, STARTUP_OPEN_LAST_OPENED_DOC); 329 } 330 331 public static boolean getRestoreWindows() { 332 return getPreferences().getBoolean(PREF_RESTORE_WINDOWS, DEFAULT_RESTORE_WINDOWS); 333 } 334 335 public static boolean getAutoSaveEnabled() { 336 return getPreferences().getBoolean(PREF_AUTOSAVE_ENABLED, false); 337 } 338 339 public static int getAutoSaveDelay() { 340 return getPreferences().getInt(PREF_AUTOSAVE_DELAY, 5); 341 } 342 343 public static boolean getBackupFileEnabled() { 344 return getPreferences().getBoolean(PREF_BACKUP_FILE_ENABLED, false); 345 } 346 347 public static boolean getHighlightCursorEnabled() { 348 return getPreferences().getBoolean(PREF_HIGHLIGHTCURSORLINE, true); 349 } 350 351 public static int getEditorTabSize() { 352 return getPreferences().getInt(PREF_TAB_WIDTH, DEFAULT_TAB_WIDTH); 353 } 354 355 public static String getEditorFont() { 356 return getPreferences().getString(PREF_EDITOR_FONT, DEFAULT_EDITOR_FONT); 357 } 358 359 public static int getEditorFontSize() { 360 return getPreferences().getInt(PREF_EDITOR_FONT_SIZE, DEFAULT_EDITOR_FONT_SIZE); 361 } 362 363 public static boolean getSmoothScrolling() { 364 return getPreferences().getBoolean(PREF_SMOOTH_SCROLLING, DEFAULT_SMOOTH_SCROLLING); 365 } 366 367 public static boolean getFoldingEnabled() { 368 return getPreferences().getBoolean(PREF_EDITOR_FOLDING, DEFAULT_EDITOR_FOLDING); 369 } 370 371 public static boolean getDisplayActionsAnchorsFolding() { 372 return getPreferences().getBoolean(PREF_ACTIONS_ANCHORS_FOLDING, DEFAULT_ACTIONS_ANCHORS_FOLDING); 373 } 374 375 public static boolean autoIndentColonInRule() { 376 return getPreferences().getBoolean(PREF_AUTO_IDENT_COLON_RULE, true); 377 } 378 379 public static boolean getLineNumberEnabled() { 380 return getPreferences().getBoolean(PREF_LINE_NUMBER, false); 381 } 382 383 public static boolean isVStyleAutoCompletion() { 384 return getPreferences().getBoolean(PREF_VSTYLE_AUTOCOMPLETION, false); 385 } 386 387 public static int getParserDelay() { 388 return getPreferences().getInt(PREF_PARSER_DELAY, DEFAULT_PARSER_DELAY); 389 } 390 391 public static void setLookAndFeel(String name) { 392 getPreferences().setString(PREF_LOOK_AND_FEEL, name); 393 } 394 395 public static String getLookAndFeel() { 396 return getPreferences().getString(PREF_LOOK_AND_FEEL, null); 397 } 398 399 public static boolean getUseDesktopMode() { 400 return getPreferences().getBoolean(PREF_DESKTOP_MODE, DEFAULT_DESKTOP_MODE); 401 } 402 403 public static void setDOTToolPath(String path) { 404 getPreferences().setString(PREF_DOT_TOOL_PATH, path); 405 } 406 407 public static String getDOTToolPath() { 408 return getPreferences().getString(PREF_DOT_TOOL_PATH, DEFAULT_DOT_TOOL_PATH); 409 } 410 411 public static String [] getANTLR3Options() { 412 String options = getPreferences().getString(PREF_ANTLR3_OPTIONS, DEFAULT_ANTLR3_OPTIONS); 413 if(options != null && options.trim().length() > 0) { 414 return options.split(" "); 415 } else { 416 return new String [0]; 417 } 418 } 419 420 public static boolean getP4Enabled() { 421 return getPreferences().getBoolean(PREF_SCM_P4_ENABLED, false); 422 } 423 424 public static String getP4Port() { 425 return getPreferences().getString(PREF_SCM_P4_PORT, ""); 426 } 427 428 public static String getP4User() { 429 return getPreferences().getString(PREF_SCM_P4_USER, ""); 430 } 431 432 public static String getP4Password() { 433 return getPreferences().getString(PREF_SCM_P4_PASSWORD, ""); 434 } 435 436 public static String getP4Client() { 437 return getPreferences().getString(PREF_SCM_P4_CLIENT, ""); 438 } 439 440 public static String getP4ExecPath() { 441 return getPreferences().getString(PREF_SCM_P4_EXEC, ""); 442 } 443 444 public static boolean getJavaCCustomPath() { 445 return getPreferences().getBoolean(PREF_JAVAC_CUSTOM_PATH, DEFAULT_JAVAC_CUSTOM_PATH); 446 } 447 448 public static void setJavaCPath(String path) { 449 getPreferences().setString(PREF_JAVAC_PATH, path); 450 } 451 452 public static String getJavaCPath() { 453 return getPreferences().getString(PREF_JAVAC_PATH, DEFAULT_JAVAC_PATH); 454 } 455 456 public static void setJikesPath(String path) { 457 getPreferences().setString(PREF_JIKES_PATH, path); 458 } 459 460 public static String getJikesPath() { 461 return getPreferences().getString(PREF_JIKES_PATH, DEFAULT_JIKES_PATH); 462 } 463 464 public static void setCustomClassPath(String path) { 465 getPreferences().setString(PREF_CUSTOM_CLASS_PATH, path); 466 } 467 468 public static String getCustomClassPath() { 469 return getPreferences().getString(PREF_CUSTOM_CLASS_PATH, DEFAULT_PREF_CUSTOM_CLASS_PATH); 470 } 471 472 public static String getCompiler() { 473 return getPreferences().getString(PREF_COMPILER, DEFAULT_COMPILER); 474 } 475 476 public static boolean getUseSystemClassPath() { 477 return getPreferences().getBoolean(PREF_CLASSPATH_SYSTEM, DEFAULT_CLASSPATH_SYSTEM); 478 } 479 480 public static boolean getUseCustomClassPath() { 481 return getPreferences().getBoolean(PREF_CLASSPATH_CUSTOM, DEFAULT_CLASSPATH_CUSTOM); 482 } 483 484 public static int getUpdateType() { 485 return getPreferences().getInt(PREF_UPDATE_TYPE, DEFAULT_UPDATE_TYPE); 486 } 487 488 public static void setUpdateNextDate(Calendar date) { 489 getPreferences().setObject(PREF_UPDATE_NEXT_DATE, date); 490 } 491 492 public static Calendar getUpdateNextDate() { 493 return (Calendar )getPreferences().getObject(PREF_UPDATE_NEXT_DATE, null); 494 } 495 496 public static void setDownloadPath(String path) { 497 getPreferences().setString(PREF_DOWNLOAD_PATH, path); 498 } 499 500 public static String getDownloadPath() { 501 return getPreferences().getString(PREF_DOWNLOAD_PATH, DEFAULT_DOWNLOAD_PATH); 502 } 503 504 public static void setUserRegistered(boolean flag) { 505 getPreferences().setBoolean(PREF_USER_REGISTERED, flag); 506 } 507 508 public static boolean isUserRegistered() { 509 return getPreferences().getBoolean(PREF_USER_REGISTERED, false); 510 } 511 512 public static void removeUserRegistration() { 513 getPreferences().remove(PREF_USER_REGISTERED); 514 } 515 516 public static void setServerID(String id) { 517 getPreferences().setString(PREF_SERVER_ID, id); 518 } 519 520 public static String getServerID() { 521 return getPreferences().getString(PREF_SERVER_ID, null); 522 } 523 524 public static void setPersonalInfo(Map <String ,Object > info) { 525 getPreferences().setObject(PREF_PERSONAL_INFO, info); 526 } 527 528 public static Map getPersonalInfo() { 529 return (Map )getPreferences().getObject(PREF_PERSONAL_INFO, null); 530 } 531 532 public static boolean getPrivateMenu() { 533 return getPreferences().getBoolean(PREF_PRIVATE_MENU, false); 534 } 535 536 public static Color getNonConsumedTokenColor() { 537 return getPreferences().getColor(PREF_NONCONSUMED_TOKEN_COLOR, DEFAULT_NONCONSUMED_TOKEN_COLOR); 538 } 539 540 public static Color getConsumedTokenColor() { 541 return getPreferences().getColor(PREF_CONSUMED_TOKEN_COLOR, DEFAULT_CONSUMED_TOKEN_COLOR); 542 } 543 544 public static Color getHiddenTokenColor() { 545 return getPreferences().getColor(PREF_HIDDEN_TOKEN_COLOR, DEFAULT_HIDDEN_TOKEN_COLOR); 546 } 547 548 public static Color getDeadTokenColor() { 549 return getPreferences().getColor(PREF_DEAD_TOKEN_COLOR, DEFAULT_DEAD_TOKEN_COLOR); 550 } 551 552 public static Color getLookaheadTokenColor() { 553 return getPreferences().getColor(PREF_LOOKAHEAD_TOKEN_COLOR, DEFAULT_LOOKAHEAD_TOKEN_COLOR); 554 } 555 556 public static boolean getDetachableChildren() { 557 return getPreferences().getBoolean(PREF_DETACHABLE_CHILDREN, DEFAULT_DETACHABLE_CHILDREN); 558 } 559 560 public static boolean getDebuggerAskGen() { 561 return getPreferences().getBoolean(PREF_DEBUGGER_ASK_GEN, DEFAULT_DEBUGGER_ASK_GEN); 562 } 563 564 public static boolean getEnableProjectDocument() { 565 return getPreferences().getBoolean(PREF_PROJET_DOCUMENT, false); 566 } 567 568 public static XJPreferences getPreferences() { 569 return XJApplication.shared().getPreferences(); 570 } 571 572 public static void setLastSavedDocument(String filePath) { 573 if(filePath != null) 574 getPreferences().setString(PREF_LAST_SAVED_DOCUMENT, filePath); 575 } 576 577 public static String getLastSavedDocument() { 578 return getPreferences().getString(PREF_LAST_SAVED_DOCUMENT, null); 579 } 580 581 public static void setAllOpenedDocuments(List <String > documents) { 582 if(documents != null) 583 getPreferences().setObject(PREF_ALL_OPENED_DOCUMENTS, documents); 584 } 585 586 public static List <String > getAllOpenedDocuments() { 587 return (List <String >) getPreferences().getObject(PREF_ALL_OPENED_DOCUMENTS, null); 588 } 589 590 public static void setDebuggerEOL(int index) { 591 getPreferences().setInt(PREF_DEBUGGER_EOL, index); 592 } 593 594 public static int getDebuggerEOL() { 595 return getPreferences().getInt(PREF_DEBUGGER_EOL, 0); 596 } 597 598 public static void setDebuggerInputMode(int mode) { 599 getPreferences().setInt(PREF_DEBUGGER_INPUT_MODE, mode); 600 } 601 602 public static int getDebuggerInputMode() { 603 return getPreferences().getInt(PREF_DEBUGGER_INPUT_MODE, 0); 604 } 605 606 public static void setDebuggerInputFile(String file) { 607 getPreferences().setString(PREF_DEBUGGER_INPUT_FILE, file); 608 } 609 610 public static String getDebuggerInputFile() { 611 return getPreferences().getString(PREF_DEBUGGER_INPUT_FILE, ""); 612 } 613 } 614 | Popular Tags |