/** * Returns the default Eclipse formatter settings * * @return the Eclipse default settings * @since 3.1 */ public static Map getEclipseDefaultSettings() { return DefaultCodeFormatterOptions.getEclipseDefaultSettings().getMap(); }
/** * Returns the default Eclipse formatter settings * * @return the Eclipse default settings * @since 3.1 */ public static Map getEclipseDefaultSettings() { return DefaultCodeFormatterOptions.getEclipseDefaultSettings().getMap(); }
/** * Returns the default Eclipse formatter settings * * @return the Eclipse default settings * @since 3.1 */ public static Map getEclipseDefaultSettings() { return DefaultCodeFormatterOptions.getEclipseDefaultSettings().getMap(); }
/** * Returns the default Eclipse formatter settings * * @return the Eclipse default settings * @since 3.1 */ public static Map getEclipseDefaultSettings() { return DefaultCodeFormatterOptions.getEclipseDefaultSettings().getMap(); }
/** * Returns the default Eclipse formatter settings * * @return the Eclipse default settings * @since 3.1 */ public static Map getEclipseDefaultSettings() { return DefaultCodeFormatterOptions.getEclipseDefaultSettings().getMap(); }
/** * Returns the default Eclipse formatter settings * * @return the Eclipse default settings * @since 3.1 */ public static Map getEclipseDefaultSettings() { return DefaultCodeFormatterOptions.getEclipseDefaultSettings().getMap(); }
private static void setFormattingOptions(Map<String, String> options) { Map<String, String> defaultOptions = DefaultCodeFormatterOptions.getEclipseDefaultSettings().getMap(); defaultOptions.putAll(options); Hashtable<String, String> javaOptions = JavaCore.getOptions(); defaultOptions.entrySet().stream().filter(p -> p.getKey().startsWith(FORMATTER_OPTION_PREFIX)).forEach(p -> { javaOptions.put(p.getKey(), p.getValue()); }); JavaCore.setOptions(javaOptions); }
public static void configureFormatter(PreferenceManager preferenceManager, ProjectsManager projectsManager) { String formatterUrl = preferenceManager.getPreferences().getFormatterUrl(); Map<String, String> options = null; if (formatterUrl != null) { URL url = projectsManager.getUrl(formatterUrl); if (url != null) { try (InputStream inputStream = url.openStream()) { InputSource inputSource = new InputSource(inputStream); String profileName = preferenceManager.getPreferences().getFormatterProfileName(); options = FormatterManager.readSettingsFromStream(inputSource, profileName); } catch (Exception e) { JavaLanguageServerPlugin.logException(e.getMessage(), e); } } else { JavaLanguageServerPlugin.logInfo("Invalid formatter:" + formatterUrl); } } if (options != null && !options.isEmpty()) { setFormattingOptions(options); } else { Map<String, String> defaultOptions = DefaultCodeFormatterOptions.getEclipseDefaultSettings().getMap(); Hashtable<String, String> javaOptions = JavaCore.getOptions(); defaultOptions.forEach((k, v) -> { javaOptions.put(k, v); }); JavaCore.setOptions(javaOptions); JavaLanguageServerPlugin.getPreferencesManager().initialize(); } }