edu.rice.cs.drjava.config
Class OptionConstants.COMPILER_PREFERENCE_CONTROL

java.lang.Object
  extended by edu.rice.cs.drjava.config.OptionConstants.COMPILER_PREFERENCE_CONTROL
Enclosing interface:
OptionConstants

public static final class OptionConstants.COMPILER_PREFERENCE_CONTROL
extends Object

Class that is used to dynamically populate the ForcedChoiceOption. setList method is used by DefaultCompilerModel to set the available compilers that it has Must store the selected name into DEFAULT_COMPILER_PREFERENCE to save the setting


Field Summary
static ArrayList<String> _list
           
static String NO_PREFERENCE
           
 
Constructor Summary
OptionConstants.COMPILER_PREFERENCE_CONTROL()
           
 
Method Summary
static ForcedChoiceOption evaluate()
           
static void setList(ArrayList<String> list)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NO_PREFERENCE

public static final String NO_PREFERENCE
See Also:
Constant Field Values

_list

public static ArrayList<String> _list
Constructor Detail

OptionConstants.COMPILER_PREFERENCE_CONTROL

public OptionConstants.COMPILER_PREFERENCE_CONTROL()
Method Detail

setList

public static void setList(ArrayList<String> list)

evaluate

public static ForcedChoiceOption evaluate()