IJavaFoldingProviderDescriptor
+ * describing all extension to the foldingProviders extension
+ * point.
+ *
+ * @return the list of extensions to the
+ * quickDiffReferenceProvider extension point.
+ */
+ public JavaFoldingStructureProviderDescriptor[] getFoldingProviderDescriptors() {
+ synchronized (this) {
+ ensureRegistered();
+ return (JavaFoldingStructureProviderDescriptor[]) fDescriptors
+ .values()
+ .toArray(
+ new JavaFoldingStructureProviderDescriptor[fDescriptors
+ .size()]);
+ }
+ }
+
+ /**
+ * Returns the folding provider with identifier id or
+ * null if no such provider is registered.
+ *
+ * @param id
+ * the identifier for which a provider is wanted
+ * @return the corresponding provider, or null if none can be
+ * found
+ */
+ public JavaFoldingStructureProviderDescriptor getFoldingProviderDescriptor(
+ String id) {
+ synchronized (this) {
+ ensureRegistered();
+ return (JavaFoldingStructureProviderDescriptor) fDescriptors
+ .get(id);
+ }
+ }
+
+ /**
+ * Instantiates and returns the provider that is currently configured in the
+ * preferences.
+ *
+ * @return the current provider according to the preferences
+ */
+ public IJavaFoldingStructureProvider getCurrentFoldingProvider() {
+ String id = WebUI.getDefault().getPreferenceStore()
+ .getString(PreferenceConstants.EDITOR_FOLDING_PROVIDER);
+ JavaFoldingStructureProviderDescriptor desc = getFoldingProviderDescriptor(id);
+ if (desc != null) {
+ try {
+ return desc.createProvider();
+ } catch (CoreException e) {
+ WebUI.log(e);
+ }
+ }
+ return null;
+ }
+
+ /**
+ * Ensures that the extensions are read and stored in
+ * fDescriptors.
+ */
+ private void ensureRegistered() {
+ if (fDescriptors == null)
+ reloadExtensions();
+ }
+
+ /**
+ * Reads all extensions.
+ * + * This method can be called more than once in order to reload from a + * changed extension registry. + *
+ */ + public void reloadExtensions() { + IExtensionRegistry registry = Platform.getExtensionRegistry(); + Map map = new HashMap(); + + IConfigurationElement[] elements = registry + .getConfigurationElementsFor(PHPeclipsePlugin.getPluginId(), + EXTENSION_POINT); + for (int i = 0; i < elements.length; i++) { + JavaFoldingStructureProviderDescriptor desc = new JavaFoldingStructureProviderDescriptor( + elements[i]); + map.put(desc.getId(), desc); + } + + synchronized (this) { + fDescriptors = Collections.unmodifiableMap(map); + } + } + +}