|
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 |
Java API By Example, From Geeks To Geeks.