edu.rice.cs.drjava.config
Class KeyStrokeOption

java.lang.Object
  |
  +--edu.rice.cs.drjava.config.OptionParser
        |
        +--edu.rice.cs.drjava.config.Option
              |
              +--edu.rice.cs.drjava.config.KeyStrokeOption
All Implemented Interfaces:
FormatStrategy, ParseStrategy

public class KeyStrokeOption
extends Option

Class representing all configuration options with values of type KeyStroke.


Field Summary
(package private) static Hashtable keys
           
static KeyStroke NULL_KEYSTROKE
           
 
Fields inherited from class edu.rice.cs.drjava.config.Option
listeners
 
Fields inherited from class edu.rice.cs.drjava.config.OptionParser
defaultValue, map, name
 
Constructor Summary
KeyStrokeOption(String key, KeyStroke def)
           
 
Method Summary
private  boolean _isMacPlatform()
          Returns if the current platform is a Macintosh.
(package private) static void ()
           
 String format(KeyStroke k)
           
 String format(Object x0)
          the ability to format a statically typed T value to a String.
 Object getDefault()
           
(package private)  Object getOption(DefaultOptionMap x0)
          the accessor for the magic-typed hashtable stunt.
(package private)  void notifyListeners(Configuration x0, Object x1)
           
 KeyStroke parse(String s)
          the ability to parse a string to an object of type T.
 KeyStroke parse(String s)
          the ability to parse a string to an object of type T.
(package private)  Object remove(DefaultOptionMap x0)
          the destructor for a mapping in the magic-typed hashtable.
(package private)  Object setOption(DefaultOptionMap x0, Object x1)
          the mutator for the magic-typed hashtable stunt.
(package private)  Object setString(DefaultOptionMap x0, String x1)
          uses parse() and setOption() so that any changes in parsing will automatically be applied to setString().
 
Methods inherited from class edu.rice.cs.drjava.config.Option
addListener, getDefaultString, getString, removeListener
 
Methods inherited from class edu.rice.cs.drjava.config.OptionParser
getName
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

keys

static Hashtable keys

NULL_KEYSTROKE

public static final KeyStroke NULL_KEYSTROKE
Constructor Detail

KeyStrokeOption

public KeyStrokeOption(String key,
                       KeyStroke def)
Parameters:
key - The name of this option.
Method Detail

static void ()

parse

public KeyStroke parse(String s)
Description copied from class: OptionParser
the ability to parse a string to an object of type T. All concrete versions of this class must override this method to provide some sort of parser implementation.
Overrides:
parse in class OptionParser
Parameters:
s - The String to be parsed, must be the string representation of the KeyStroke to be created. Uses the method KeyStroke.getKeyStroke(String s) which returns a KeyStroke if the string is correctly formatted or null otherwise.
Returns:
The KeyStroke object corresponding to the input string "s".

format

public String format(KeyStroke k)
Parameters:
k - The instance of class KeyStroke to be formatted.
Returns:
A String representing the KeyStroke "k".

_isMacPlatform

private boolean _isMacPlatform()
Returns if the current platform is a Macintosh.

notifyListeners

void notifyListeners(Configuration x0,
                     Object x1)
Overrides:
notifyListeners in class Option

format

public String format(Object x0)
Description copied from class: Option
the ability to format a statically typed T value to a String. Since T is an Object, the default implementation uses the .toString() method.
Overrides:
format in class Option
Following copied from class: edu.rice.cs.drjava.config.Option
Parameters:
value - the statically-typed value to format into a String
Throws:
NullPointerException - if value is null

remove

Object remove(DefaultOptionMap x0)
Description copied from class: OptionParser
the destructor for a mapping in the magic-typed hashtable.
Overrides:
remove in class OptionParser

setOption

Object setOption(DefaultOptionMap x0,
                 Object x1)
Description copied from class: OptionParser
the mutator for the magic-typed hashtable stunt.
Overrides:
setOption in class OptionParser

getOption

Object getOption(DefaultOptionMap x0)
Description copied from class: OptionParser
the accessor for the magic-typed hashtable stunt.
Overrides:
getOption in class OptionParser

setString

Object setString(DefaultOptionMap x0,
                 String x1)
Description copied from class: OptionParser
uses parse() and setOption() so that any changes in parsing will automatically be applied to setString().
Overrides:
setString in class OptionParser

parse

public KeyStroke parse(String s)
Description copied from class: OptionParser
the ability to parse a string to an object of type T. All concrete versions of this class must override this method to provide some sort of parser implementation.
Overrides:
parse in class OptionParser
Parameters:
s - The String to be parsed, must be the string representation of the KeyStroke to be created. Uses the method KeyStroke.getKeyStroke(String s) which returns a KeyStroke if the string is correctly formatted or null otherwise.
Returns:
The KeyStroke object corresponding to the input string "s".

getDefault

public Object getDefault()
Overrides:
getDefault in class OptionParser
Following copied from class: edu.rice.cs.drjava.config.OptionParser
Returns:
the default value