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()]);
}
