Package org.codehaus.groovy.tools.shell.util

Class Preferences

java.lang.Object
org.codehaus.groovy.tools.shell.util.Preferences
public class Preferences
extends java.lang.Object
Container for shell preferences.

  • Field Summary

    Fields
    Modifier and Type Field Description
    static java.lang.String EDITOR_KEY  
    static java.lang.String PARSER_FLAVOR_KEY  
    static java.lang.String PARSER_RELAXED  
    static java.lang.String PARSER_RIGID  
    static java.lang.String SANITIZE_STACK_TRACE_KEY  
    static java.lang.String SHOW_LAST_RESULT_KEY  
    static IO.Verbosity verbosity  
    static java.lang.String VERBOSITY_KEY  

  • Constructor Summary

    Constructors
    Constructor Description
    Preferences()  

  • Method Summary

    Modifier and Type Method Description
    static void addChangeListener​(java.util.prefs.PreferenceChangeListener listener)  
    static void clear()  
    static java.lang.String get​(java.lang.String name)  
    static java.lang.String get​(java.lang.String name, java.lang.String defaultValue)  
    static java.lang.String getEditor()  
    static java.lang.String getParserFlavor()  
    static boolean getSanitizeStackTrace()  
    static boolean getShowLastResult()  
    static java.lang.String[] keys()  
    static void put​(java.lang.String name, java.lang.String value)  

    Methods inherited from class java.lang.Object

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

  • Field Details

  • Constructor Details

    • Preferences

      public Preferences()

  • Method Details

    • getShowLastResult

      public static boolean getShowLastResult()

    • getSanitizeStackTrace

      public static boolean getSanitizeStackTrace()

    • getEditor

      public static java.lang.String getEditor()

    • getParserFlavor

      public static java.lang.String getParserFlavor()

    • keys

      public static java.lang.String[] keys() throws java.util.prefs.BackingStoreException
      Throws:
      java.util.prefs.BackingStoreException

    • get

      public static java.lang.String get​(java.lang.String name, java.lang.String defaultValue)

    • get

      public static java.lang.String get​(java.lang.String name)

    • put

      public static void put​(java.lang.String name, java.lang.String value)

    • clear

      public static void clear() throws java.util.prefs.BackingStoreException
      Throws:
      java.util.prefs.BackingStoreException

    • addChangeListener

      public static void addChangeListener​(java.util.prefs.PreferenceChangeListener listener)