* @return the descriptors corresponding to the given editable working set
* ids
*/
private static WorkingSetDescriptor[] getSupportedEditableDescriptors(
String[] supportedWorkingSetIds) {
WorkingSetRegistry registry = WorkbenchPlugin.getDefault()
.getWorkingSetRegistry();
if (supportedWorkingSetIds == null) {
return registry.getNewPageWorkingSetDescriptors();
}
List result = new ArrayList(supportedWorkingSetIds.length);
for (int i = 0; i < supportedWorkingSetIds.length; i++) {
WorkingSetDescriptor desc = registry
.getWorkingSetDescriptor(supportedWorkingSetIds[i]);
if (desc != null && desc.isEditable()) {
result.add(desc);
}
}