Manipulating JDT Core options

JDT Core options are accessible from a few APIs. All of these APIs are located in JavaCore. Only four methods are necessary to manipulate the options:

• JavaCore.getDefaultOptions() - Answers the default value of the options.
• JavaCore.getOption(String optionName) - Answers the value of a specific option.
• JavaCore.getOptions() - Answers the current values of the options.
• JavaCore.setOptions(Hashtable newOptions) - Replaces the options values by new values.

The options are manipulated as a hashtable of all known configurable options with their values. Helper constants have been defined on JavaCore for each option ID and its possible constant values.

If you want to configure JDT Core with only your options, the following code fragment would work:

   // Get the current options
   Hashtable options = JavaCore.getDefaultOptions();
   
   // Change the value of an option
   options.put(JavaCore.COMPILER_PB_DEPRECATION, JavaCore.ERROR);
   
   // Set the new options
   JavaCore.setOptions(options);

   // Get the current options
   Hashtable options = JavaCore.getOptions();
   
   // Change the value of an option
   options.put(JavaCore.COMPILER_PB_DEPRECATION, JavaCore.ERROR);
   
   // Set the new options
   JavaCore.setOptions(options);

JDT Core options descriptions

The list of all the JDT Core options are in the following tables. All of the tables have the same organisation with the option id surrounded with parenthesis and the default value printed in bold italics.

Options category

• Compiler options
• Builder options
• JavaCore options
• Formatter options
• CodeAssist options

Compiler options

   try {
      throw new java.io.CharConversionException();
   } catch (java.io.CharConversionException e) {
   } catch (java.io.IOException e) {}.

Builder options

JavaCore options

Formatter options

CodeAssist options