public PHPSourceElementRequestor(ISourceElementRequestor requestor, IModuleSource sourceModule) { super(requestor); // Load PHP source element requester extensions final IConfigurationElement[] elements = Platform.getExtensionRegistry() .getConfigurationElementsFor(PHPCorePlugin.ID, "phpSourceElementRequestors"); final List<PHPSourceElementRequestorExtension> requestors = new ArrayList<PHPSourceElementRequestorExtension>(elements.length); for (final IConfigurationElement element : elements) { try { final PHPSourceElementRequestorExtension extension = (PHPSourceElementRequestorExtension) element.createExecutableExtension("class"); extension.setRequestor(fRequestor); extension.setSourceModule(sourceModule); requestors.add(extension); } catch (final CoreException e) { GeneratorBeautifierPlugin.log(e); // Logger.logException(e); } } extensions = requestors.toArray(new PHPSourceElementRequestorExtension[requestors.size()]); }