import net.sourceforge.phpdt.core.IJavaElement;
import net.sourceforge.phpdt.core.JavaCore;
import net.sourceforge.phpdt.core.WorkingCopyOwner;
-import net.sourceforge.phpdt.externaltools.internal.model.ColorManager;
-import net.sourceforge.phpdt.externaltools.internal.model.ExternalToolsPlugin;
import net.sourceforge.phpdt.internal.core.BatchOperation;
import net.sourceforge.phpdt.internal.core.JavaModelManager;
import net.sourceforge.phpdt.internal.core.util.Util;
import org.eclipse.core.runtime.IAdapterManager;
import org.eclipse.core.runtime.IConfigurationElement;
import org.eclipse.core.runtime.IPath;
-import org.eclipse.core.runtime.IPluginDescriptor;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.core.runtime.IStatus;
import org.eclipse.core.runtime.Path;
* The id of the PHP plugin (value <code>"net.sourceforge.phpeclipse"</code>).
*/
public static final String PLUGIN_ID = "net.sourceforge.phpeclipse"; //$NON-NLS-1$
+ public static final String EDITOR_ID = PHPeclipsePlugin.PLUGIN_ID+".PHPUnitEditor";
+ public static final String ID_PERSPECTIVE = "net.sourceforge.phpeclipse.PHPPerspective"; //$NON-NLS-1$
IWorkspace w;
/**
* The key to store customized templates.
- *
+ *
* @since 3.0
*/
private static final String TEMPLATES_KEY = "net.sourceforge.phpdt.ui.text.custom_templates"; //$NON-NLS-1$
/**
* The key to store customized code templates.
- *
+ *
* @since 3.0
*/
private static final String CODE_TEMPLATES_KEY = "net.sourceforge.phpdt.ui.text.custom_code_templates"; //$NON-NLS-1$
/**
* The key to store whether the legacy templates have been migrated
- *
+ *
* @since 3.0
*/
// private static final String TEMPLATES_MIGRATION_KEY= "net.sourceforge.phpdt.ui.text.templates_migrated"; //$NON-NLS-1$
/**
* The key to store whether the legacy code templates have been migrated
- *
+ *
* @since 3.0
*/
// private static final String CODE_TEMPLATES_MIGRATION_KEY= "net.sourceforge.phpdt.ui.text.code_templates_migrated";
// //$NON-NLS-1$
- private static ExternalToolsPlugin externalTools;
+// private static ExternalToolsPlugin externalTools;
/**
* The Java virtual machine that we are running on.
/**
* The template context type registry for the java editor.
- *
+ *
* @since 3.0
*/
private ContextTypeRegistry fContextTypeRegistry;
/**
* The code template context type registry for the java editor.
- *
+ *
* @since 3.0
*/
private ContextTypeRegistry fCodeTemplateContextTypeRegistry;
/**
* The template store for the java editor.
- *
+ *
* @since 3.0
*/
private TemplateStore fTemplateStore;
/**
* The coded template store for the java editor.
- *
+ *
* @since 3.0
*/
private TemplateStore fCodeTemplateStore;
/**
* Property change listener on this plugin's preference store.
- *
+ *
* @since 3.0
*/
// private IPropertyChangeListener fPropertyChangeListener;
/**
* The combined preference store.
- *
+ *
* @since 3.0
*/
private IPreferenceStore fCombinedPreferenceStore;
/**
* The extension point registry for the <code>net.sourceforge.phpdt.ui.javaFoldingStructureProvider</code> extension point.
- *
+ *
* @since 3.0
*/
private JavaFoldingStructureProviderRegistry fFoldingStructureProviderRegistry;
/**
* Mockup preference store for firing events and registering listeners on project setting changes. FIXME: Temporary solution.
- *
+ *
* @since 3.0
*/
private MockupPreferenceStore fMockupPreferenceStore;
/**
* The constructor.
*/
- public PHPeclipsePlugin(IPluginDescriptor descriptor) {
- super(descriptor);
- plugin = this;
- externalTools = new ExternalToolsPlugin();
-
- // try {
- // resourceBundle =
- // ResourceBundle.getBundle("net.sourceforge.PHPeclipsePluginResources");
- // } catch (MissingResourceException x) {
- // resourceBundle = null;
- // }
+ public PHPeclipsePlugin() {
+ super();
+ plugin = this;
+// externalTools = new ExternalToolsPlugin();
+
+ // try {
+ // resourceBundle =
+ // ResourceBundle.getBundle("net.sourceforge.PHPeclipsePluginResources");
+ // } catch (MissingResourceException x) {
+ // resourceBundle = null;
+ // }
}
// /**
// }
/**
* Returns all Java editor text hovers contributed to the workbench.
- *
+ *
* @return an array of JavaEditorTextHoverDescriptor
* @since 2.1
*/
public JavaEditorTextHoverDescriptor[] getJavaEditorTextHoverDescriptors() {
- if (fJavaEditorTextHoverDescriptors == null) {
- fJavaEditorTextHoverDescriptors = JavaEditorTextHoverDescriptor.getContributedHovers();
- ConfigurationElementSorter sorter = new ConfigurationElementSorter() {
- /*
- * @see org.eclipse.ui.texteditor.ConfigurationElementSorter#getConfigurationElement(java.lang.Object)
- */
- public IConfigurationElement getConfigurationElement(Object object) {
- return ((JavaEditorTextHoverDescriptor) object).getConfigurationElement();
- }
- };
- sorter.sort(fJavaEditorTextHoverDescriptors);
-
- // The Problem hover has to be the first and the Annotation hover has to
- // be the last one in the JDT UI's hover list
- int length = fJavaEditorTextHoverDescriptors.length;
- int first = -1;
- int last = length - 1;
- int problemHoverIndex = -1;
- int annotationHoverIndex = -1;
- for (int i = 0; i < length; i++) {
- if (!fJavaEditorTextHoverDescriptors[i].getId().startsWith(PLUGIN_ID)) {
- if (problemHoverIndex == -1 || annotationHoverIndex == -1)
- continue;
- else {
- last = i - 1;
- break;
- }
- }
- if (first == -1)
- first = i;
-
- if (fJavaEditorTextHoverDescriptors[i].getId().equals("net.sourceforge.phpdt.ui.AnnotationHover")) { //$NON-NLS-1$
- annotationHoverIndex = i;
- continue;
- }
- if (fJavaEditorTextHoverDescriptors[i].getId().equals("net.sourceforge.phpdt.ui.ProblemHover")) { //$NON-NLS-1$
- problemHoverIndex = i;
- continue;
- }
- }
-
- JavaEditorTextHoverDescriptor hoverDescriptor = null;
-
- if (first > -1 && problemHoverIndex > -1 && problemHoverIndex != first) {
- // move problem hover to beginning
- hoverDescriptor = fJavaEditorTextHoverDescriptors[first];
- fJavaEditorTextHoverDescriptors[first] = fJavaEditorTextHoverDescriptors[problemHoverIndex];
- fJavaEditorTextHoverDescriptors[problemHoverIndex] = hoverDescriptor;
-
- // update annotation hover index if needed
- if (annotationHoverIndex == first)
- annotationHoverIndex = problemHoverIndex;
- }
-
- if (annotationHoverIndex > -1 && annotationHoverIndex != last) {
- // move annotation hover to end
- hoverDescriptor = fJavaEditorTextHoverDescriptors[last];
- fJavaEditorTextHoverDescriptors[last] = fJavaEditorTextHoverDescriptors[annotationHoverIndex];
- fJavaEditorTextHoverDescriptors[annotationHoverIndex] = hoverDescriptor;
- }
-
- // Move Best Match hover to front
- for (int i = 0; i < fJavaEditorTextHoverDescriptors.length - 1; i++) {
- if (PreferenceConstants.ID_BESTMATCH_HOVER.equals(fJavaEditorTextHoverDescriptors[i].getId())) {
- hoverDescriptor = fJavaEditorTextHoverDescriptors[i];
- for (int j = i; j > 0; j--)
- fJavaEditorTextHoverDescriptors[j] = fJavaEditorTextHoverDescriptors[j - 1];
- fJavaEditorTextHoverDescriptors[0] = hoverDescriptor;
- break;
- }
-
- }
- }
-
- return fJavaEditorTextHoverDescriptors;
+ if (fJavaEditorTextHoverDescriptors == null) {
+ fJavaEditorTextHoverDescriptors = JavaEditorTextHoverDescriptor.getContributedHovers();
+ ConfigurationElementSorter sorter = new ConfigurationElementSorter() {
+ /*
+ * @see org.eclipse.ui.texteditor.ConfigurationElementSorter#getConfigurationElement(java.lang.Object)
+ */
+ public IConfigurationElement getConfigurationElement(Object object) {
+ return ((JavaEditorTextHoverDescriptor) object).getConfigurationElement();
+ }
+ };
+ sorter.sort(fJavaEditorTextHoverDescriptors);
+
+ // The Problem hover has to be the first and the Annotation hover has to
+ // be the last one in the JDT UI's hover list
+ int length = fJavaEditorTextHoverDescriptors.length;
+ int first = -1;
+ int last = length - 1;
+ int problemHoverIndex = -1;
+ int annotationHoverIndex = -1;
+ for (int i = 0; i < length; i++) {
+ if (!fJavaEditorTextHoverDescriptors[i].getId().startsWith(PLUGIN_ID)) {
+ if (problemHoverIndex == -1 || annotationHoverIndex == -1)
+ continue;
+ else {
+ last = i - 1;
+ break;
+ }
+ }
+ if (first == -1)
+ first = i;
+
+ if (fJavaEditorTextHoverDescriptors[i].getId().equals("net.sourceforge.phpdt.ui.AnnotationHover")) { //$NON-NLS-1$
+ annotationHoverIndex = i;
+ continue;
+ }
+ if (fJavaEditorTextHoverDescriptors[i].getId().equals("net.sourceforge.phpdt.ui.ProblemHover")) { //$NON-NLS-1$
+ problemHoverIndex = i;
+ continue;
+ }
+ }
+
+ JavaEditorTextHoverDescriptor hoverDescriptor = null;
+
+ if (first > -1 && problemHoverIndex > -1 && problemHoverIndex != first) {
+ // move problem hover to beginning
+ hoverDescriptor = fJavaEditorTextHoverDescriptors[first];
+ fJavaEditorTextHoverDescriptors[first] = fJavaEditorTextHoverDescriptors[problemHoverIndex];
+ fJavaEditorTextHoverDescriptors[problemHoverIndex] = hoverDescriptor;
+
+ // update annotation hover index if needed
+ if (annotationHoverIndex == first)
+ annotationHoverIndex = problemHoverIndex;
+ }
+
+ if (annotationHoverIndex > -1 && annotationHoverIndex != last) {
+ // move annotation hover to end
+ hoverDescriptor = fJavaEditorTextHoverDescriptors[last];
+ fJavaEditorTextHoverDescriptors[last] = fJavaEditorTextHoverDescriptors[annotationHoverIndex];
+ fJavaEditorTextHoverDescriptors[annotationHoverIndex] = hoverDescriptor;
+ }
+
+ // Move Best Match hover to front
+ for (int i = 0; i < fJavaEditorTextHoverDescriptors.length - 1; i++) {
+ if (PreferenceConstants.ID_BESTMATCH_HOVER.equals(fJavaEditorTextHoverDescriptors[i].getId())) {
+ hoverDescriptor = fJavaEditorTextHoverDescriptors[i];
+ for (int j = i; j > 0; j--)
+ fJavaEditorTextHoverDescriptors[j] = fJavaEditorTextHoverDescriptors[j - 1];
+ fJavaEditorTextHoverDescriptors[0] = hoverDescriptor;
+ break;
+ }
+
+ }
+ }
+
+ return fJavaEditorTextHoverDescriptors;
}
/**
* <p>
* This will force a rebuild of the descriptors the next time a client asks for them.
* </p>
- *
+ *
* @return an array of JavaEditorTextHoverDescriptor
* @since 2.1
*/
public void resetJavaEditorTextHoverDescriptors() {
- fJavaEditorTextHoverDescriptors = null;
+ fJavaEditorTextHoverDescriptors = null;
}
/**
* Creates the PHP plugin standard groups in a context menu.
*/
public static void createStandardGroups(IMenuManager menu) {
- if (!menu.isEmpty())
- return;
- menu.add(new Separator(IContextMenuConstants.GROUP_NEW));
- menu.add(new GroupMarker(IContextMenuConstants.GROUP_GOTO));
- menu.add(new Separator(IContextMenuConstants.GROUP_OPEN));
- menu.add(new GroupMarker(IContextMenuConstants.GROUP_SHOW));
- menu.add(new Separator(IContextMenuConstants.GROUP_REORGANIZE));
- menu.add(new Separator(IContextMenuConstants.GROUP_GENERATE));
- menu.add(new Separator(IContextMenuConstants.GROUP_SEARCH));
- menu.add(new Separator(IContextMenuConstants.GROUP_BUILD));
- menu.add(new Separator(IContextMenuConstants.GROUP_ADDITIONS));
- menu.add(new Separator(IContextMenuConstants.GROUP_VIEWER_SETUP));
- menu.add(new Separator(IContextMenuConstants.GROUP_PROPERTIES));
+ if (!menu.isEmpty())
+ return;
+ menu.add(new Separator(IContextMenuConstants.GROUP_NEW));
+ menu.add(new GroupMarker(IContextMenuConstants.GROUP_GOTO));
+ menu.add(new Separator(IContextMenuConstants.GROUP_OPEN));
+ menu.add(new GroupMarker(IContextMenuConstants.GROUP_SHOW));
+ menu.add(new Separator(IContextMenuConstants.GROUP_REORGANIZE));
+ menu.add(new Separator(IContextMenuConstants.GROUP_GENERATE));
+ menu.add(new Separator(IContextMenuConstants.GROUP_SEARCH));
+ menu.add(new Separator(IContextMenuConstants.GROUP_BUILD));
+ menu.add(new Separator(IContextMenuConstants.GROUP_ADDITIONS));
+ menu.add(new Separator(IContextMenuConstants.GROUP_VIEWER_SETUP));
+ menu.add(new Separator(IContextMenuConstants.GROUP_PROPERTIES));
}
public static IWorkbenchPage getActivePage() {
- return getDefault().internalGetActivePage();
+ return getDefault().internalGetActivePage();
}
public static Shell getActiveWorkbenchShell() {
- return getActiveWorkbenchWindow().getShell();
+ return getActiveWorkbenchWindow().getShell();
}
/**
* Returns an array of all editors that have an unsaved content. If the identical content is presented in more than one editor,
* only one of those editor parts is part of the result.
- *
+ *
* @return an array of all dirty editor parts.
*/
public static IEditorPart[] getDirtyEditors() {
- Set inputs = new HashSet();
- List result = new ArrayList(0);
- IWorkbench workbench = getDefault().getWorkbench();
- IWorkbenchWindow[] windows = workbench.getWorkbenchWindows();
- for (int i = 0; i < windows.length; i++) {
- IWorkbenchPage[] pages = windows[i].getPages();
- for (int x = 0; x < pages.length; x++) {
- IEditorPart[] editors = pages[x].getDirtyEditors();
- for (int z = 0; z < editors.length; z++) {
- IEditorPart ep = editors[z];
- IEditorInput input = ep.getEditorInput();
- if (!inputs.contains(input)) {
- inputs.add(input);
- result.add(ep);
- }
- }
- }
- }
- return (IEditorPart[]) result.toArray(new IEditorPart[result.size()]);
+ Set inputs = new HashSet();
+ List result = new ArrayList(0);
+ IWorkbench workbench = getDefault().getWorkbench();
+ IWorkbenchWindow[] windows = workbench.getWorkbenchWindows();
+ for (int i = 0; i < windows.length; i++) {
+ IWorkbenchPage[] pages = windows[i].getPages();
+ for (int x = 0; x < pages.length; x++) {
+ IEditorPart[] editors = pages[x].getDirtyEditors();
+ for (int z = 0; z < editors.length; z++) {
+ IEditorPart ep = editors[z];
+ IEditorInput input = ep.getEditorInput();
+ if (!inputs.contains(input)) {
+ inputs.add(input);
+ result.add(ep);
+ }
+ }
+ }
+ }
+ return (IEditorPart[]) result.toArray(new IEditorPart[result.size()]);
}
public static IWorkbenchWindow getActiveWorkbenchWindow() {
- return getDefault().getWorkbench().getActiveWorkbenchWindow();
+ return getDefault().getWorkbench().getActiveWorkbenchWindow();
}
/**
* Returns the shared instance.
*/
public static PHPeclipsePlugin getDefault() {
- return plugin;
+ return plugin;
}
public static ImageDescriptorRegistry getImageDescriptorRegistry() {
- return getDefault().internalGetImageDescriptorRegistry();
+ return getDefault().internalGetImageDescriptorRegistry();
}
static IPath getInstallLocation() {
- return new Path(getDefault().getDescriptor().getInstallURL().getFile());
+ return new Path(getDefault().getBundle().getEntry("/").getFile());
}
// public static int getJVM() {
// }
public static String getPluginId() {
- return getDefault().getDescriptor().getUniqueIdentifier();
+ return getDefault().getBundle().getSymbolicName() ;
}
/**
* If so, this display is returned. Otherwise the method returns the default display.
*/
public static Display getStandardDisplay() {
- Display display = Display.getCurrent();
- if (display == null) {
- display = Display.getDefault();
- }
- return display;
+ Display display = Display.getCurrent();
+ if (display == null) {
+ display = Display.getDefault();
+ }
+ return display;
}
// public static ExternalToolsPlugin getExternalTools() {
* Returns the workspace instance.
*/
public static IWorkspace getWorkspace() {
- return ResourcesPlugin.getWorkspace();
+ return ResourcesPlugin.getWorkspace();
}
public static boolean isDebug() {
- return getDefault().isDebugging();
+ return getDefault().isDebugging();
}
// public static void logErrorMessage(String message) {
// JavaUIMessages.getString("JavaPlugin.internal_error"), e)); //$NON-NLS-1$
// }
public static void log(int severity, String message) {
- Status status = new Status(severity, PLUGIN_ID, IStatus.OK, message, null);
- log(status);
+ Status status = new Status(severity, PLUGIN_ID, IStatus.OK, message, null);
+ log(status);
}
public static void log(IStatus status) {
- getDefault().getLog().log(status);
+ getDefault().getLog().log(status);
}
- public static void log(Throwable e) {
- log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, "PHPeclipsePlugin.internalErrorOccurred", e)); //$NON-NLS-1$
+ public static void log(Throwable t) {
+ log(error(t));
+ }
+
+ public static void log(String message, Throwable t) {
+ log(error(message, t));
}
public static void logErrorMessage(String message) {
- log(new Status(IStatus.ERROR, getPluginId(), IJavaStatusConstants.INTERNAL_ERROR, message, null));
+ log(new Status(IStatus.ERROR, getPluginId(), IJavaStatusConstants.INTERNAL_ERROR, message, null));
+ }
+
+ public static IStatus error(Throwable t) {
+ return error("PHPeclipsePlugin.internalErrorOccurred", t); //$NON-NLS-1$
+ }
+
+ public static IStatus error(String message, Throwable t) {
+ return new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, message, t);
}
// private static void setJVM() {
// TODO: refactor this into a better method name !
public synchronized ICompilationUnitDocumentProvider getCompilationUnitDocumentProvider() {
- if (fCompilationUnitDocumentProvider == null)
- fCompilationUnitDocumentProvider = new PHPDocumentProvider();
- return fCompilationUnitDocumentProvider;
+ if (fCompilationUnitDocumentProvider == null)
+ fCompilationUnitDocumentProvider = new PHPDocumentProvider();
+ return fCompilationUnitDocumentProvider;
}
/**
* Get the identifier index manager for the given project
- *
+ *
* @param iProject
* the current project
* @return
*/
public IdentifierIndexManager getIndexManager(IProject iProject) {
- IPath path = iProject.getWorkingLocation(PHPeclipsePlugin.PLUGIN_ID);
- path = path.append("project.index");
- String indexFilename = path.toString();
- // System.out.println(indexFilename);
- IdentifierIndexManager indexManager = (IdentifierIndexManager) fIndexManagerMap.get(indexFilename);
- if (indexManager == null) {
- indexManager = new IdentifierIndexManager(indexFilename);
- fIndexManagerMap.put(indexFilename, indexManager);
- }
- return indexManager;
+ IPath path = iProject.getWorkingLocation(PHPeclipsePlugin.PLUGIN_ID);
+ path = path.append("project.index");
+ String indexFilename = path.toString();
+// try {
+// IdentDB db = IdentDB.getInstance();
+// } catch (ClassNotFoundException e) {
+// e.printStackTrace();
+// } catch (SQLException e) {
+// e.printStackTrace();
+// }
+ IdentifierIndexManager indexManager = (IdentifierIndexManager) fIndexManagerMap.get(indexFilename);
+ if (indexManager == null) {
+ indexManager = new IdentifierIndexManager(indexFilename);
+ fIndexManagerMap.put(indexFilename, indexManager);
+ }
+ return indexManager;
}
public synchronized IWorkingCopyManager getWorkingCopyManager() {
- if (fWorkingCopyManager == null) {
- ICompilationUnitDocumentProvider provider = getCompilationUnitDocumentProvider();
- fWorkingCopyManager = new WorkingCopyManager(provider);
- }
- return fWorkingCopyManager;
+ if (fWorkingCopyManager == null) {
+ ICompilationUnitDocumentProvider provider = getCompilationUnitDocumentProvider();
+ fWorkingCopyManager = new WorkingCopyManager(provider);
+ }
+ return fWorkingCopyManager;
}
public synchronized MembersOrderPreferenceCache getMemberOrderPreferenceCache() {
- if (fMembersOrderPreferenceCache == null)
- fMembersOrderPreferenceCache = new MembersOrderPreferenceCache();
- return fMembersOrderPreferenceCache;
+ if (fMembersOrderPreferenceCache == null)
+ fMembersOrderPreferenceCache = new MembersOrderPreferenceCache();
+ return fMembersOrderPreferenceCache;
}
/**
* Returns the mockup preference store for firing events and registering listeners on project setting changes. Temporary solution.
*/
public MockupPreferenceStore getMockupPreferenceStore() {
- if (fMockupPreferenceStore == null)
- fMockupPreferenceStore = new MockupPreferenceStore();
+ if (fMockupPreferenceStore == null)
+ fMockupPreferenceStore = new MockupPreferenceStore();
- return fMockupPreferenceStore;
+ return fMockupPreferenceStore;
}
public synchronized ProblemMarkerManager getProblemMarkerManager() {
- if (fProblemMarkerManager == null)
- fProblemMarkerManager = new ProblemMarkerManager();
- return fProblemMarkerManager;
+ if (fProblemMarkerManager == null)
+ fProblemMarkerManager = new ProblemMarkerManager();
+ return fProblemMarkerManager;
}
// public synchronized JavaTextTools getJavaTextTools() {
// return fJavaTextTools;
// }
public synchronized JavaTextTools getJavaTextTools() {
- if (fJavaTextTools == null)
- fJavaTextTools = new JavaTextTools(getPreferenceStore(), JavaCore.getPlugin().getPluginPreferences());
- return fJavaTextTools;
+ if (fJavaTextTools == null)
+ fJavaTextTools = new JavaTextTools(getPreferenceStore(), JavaCore.getPlugin().getPluginPreferences());
+ return fJavaTextTools;
}
public IFile getLastEditorFile() {
- return fLastEditorFile;
+ return fLastEditorFile;
}
/**
// return resourceBundle;
// }
protected void initializeDefaultPreferences(IPreferenceStore store) {
- String operatingSystem = Platform.getOS();
- // maxosx, linux, solaris, win32,...
- try {
- InputStream is = getDefault().openStream(new Path("prefs/default_" + operatingSystem + ".properties"));
- PropertyResourceBundle resourceBundle = new PropertyResourceBundle(is);
- Enumeration enum = resourceBundle.getKeys();
- String key;
- while (enum.hasMoreElements()) {
- key = (String)enum.nextElement();
- store.setDefault(key, resourceBundle.getString( key ));
- }
-// store.setDefault(PHP_RUN_PREF, resourceBundle.getString(PHP_RUN_PREF));
-// store.setDefault(EXTERNAL_PARSER_PREF, resourceBundle.getString(EXTERNAL_PARSER_PREF));
-// store.setDefault(MYSQL_RUN_PREF, resourceBundle.getString(MYSQL_RUN_PREF));
-// store.setDefault(APACHE_RUN_PREF, resourceBundle.getString(APACHE_RUN_PREF));
-//
-// store.setDefault(MYSQL_PREF, resourceBundle.getString(MYSQL_PREF));
-// store.setDefault(APACHE_START_PREF, resourceBundle.getString(APACHE_START_PREF));
-// store.setDefault(APACHE_STOP_PREF, resourceBundle.getString(APACHE_STOP_PREF));
-// store.setDefault(APACHE_RESTART_PREF, resourceBundle.getString(APACHE_RESTART_PREF));
-// store.setDefault(MYSQL_START_BACKGROUND, resourceBundle.getString(MYSQL_START_BACKGROUND));
-// store.setDefault(APACHE_START_BACKGROUND, resourceBundle.getString(APACHE_START_BACKGROUND));
-// store.setDefault(APACHE_STOP_BACKGROUND, resourceBundle.getString(APACHE_STOP_BACKGROUND));
-// store.setDefault(APACHE_RESTART_BACKGROUND, resourceBundle.getString(APACHE_RESTART_BACKGROUND));
- } catch (Exception e) {
- // no default properties found
- if (operatingSystem.equals(Platform.OS_WIN32)) {
- store.setDefault(PHP_RUN_PREF, "c:\\apache\\php\\php.exe");
- store.setDefault(EXTERNAL_PARSER_PREF, "c:\\apache\\php\\php -l -f {0}");
- store.setDefault(MYSQL_RUN_PREF, "c:\\apache\\mysql\\bin\\mysqld-nt.exe");
- store.setDefault(APACHE_RUN_PREF, "c:\\apache\\apache.exe");
- store.setDefault(XAMPP_START_PREF, "c:\\xampp\\xampp_start.exe");
- store.setDefault(XAMPP_STOP_PREF, "c:\\xampp\\xampp_stop.exe");
- } else {
- store.setDefault(PHP_RUN_PREF, "/apache/php/php");
- store.setDefault(EXTERNAL_PARSER_PREF, "/apache/php/php -l -f {0}");
- store.setDefault(MYSQL_RUN_PREF, "/apache/mysql/bin/mysqld");
- store.setDefault(APACHE_RUN_PREF, "/apache/apache");
- store.setDefault(XAMPP_START_PREF, "xamp/xampp_start");
- store.setDefault(XAMPP_STOP_PREF, "xampp/xampp_stop");
- }
- store.setDefault(MYSQL_PREF, "--standalone");
- store.setDefault(APACHE_START_PREF, "-c \"DocumentRoot \"{0}\"\"");
- store.setDefault(APACHE_STOP_PREF, "-k shutdown");
- store.setDefault(APACHE_RESTART_PREF, "-k restart");
- store.setDefault(MYSQL_START_BACKGROUND, "true");
- store.setDefault(APACHE_START_BACKGROUND, "true");
- store.setDefault(APACHE_STOP_BACKGROUND, "true");
- store.setDefault(APACHE_RESTART_BACKGROUND, "true");
- }
-
- store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true");
- store.setDefault(PHP_OBFUSCATOR_DEFAULT, "c:\\temp");
- if (operatingSystem.equals(Platform.OS_WIN32)) {
- // store.setDefault(EXTERNAL_BROWSER_PREF, "rundll32 url.dll,FileProtocolHandler {0}");
- } else if (operatingSystem.equals(Platform.OS_MACOSX)) {
- store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
- // TODO How do we start Safari on Mac OS X ?
- // store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
- } else {
- store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
- // store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
- }
-
- store.setDefault(PHP_EXTENSION_PREFS, "php,php3,php4,php5,phtml,inc,module,class");
-
- // store.setDefault(PHP_PARSER_DEFAULT, PHP_EXTERNAL_PARSER);
- // store.setDefault(PHP_INTERNAL_PARSER, "false");
- // store.setDefault(PHP_EXTERNAL_PARSER, "true");
- // store.setDefault(PHP_PARSE_ON_SAVE, "true");
- // show line numbers:
- // store.setDefault(LINE_NUMBER_RULER, "false");
- // store.setDefault(FORMATTER_TAB_SIZE, "4");
- // php syntax highlighting
- store.setDefault(PHP_USERDEF_XMLFILE, "");
- //assume there is none chooA
- PreferenceConverter.setDefault(store, PHP_MULTILINE_COMMENT, PHPColorProvider.MULTI_LINE_COMMENT);
- PreferenceConverter.setDefault(store, PHP_SINGLELINE_COMMENT, PHPColorProvider.SINGLE_LINE_COMMENT);
- PreferenceConverter.setDefault(store, PHP_TAG, PHPColorProvider.TAG);
- PreferenceConverter.setDefault(store, PHP_KEYWORD, PHPColorProvider.KEYWORD);
- PreferenceConverter.setDefault(store, PHP_VARIABLE, PHPColorProvider.VARIABLE);
- PreferenceConverter.setDefault(store, PHP_FUNCTIONNAME, PHPColorProvider.FUNCTION_NAME);
- PreferenceConverter.setDefault(store, PHP_CONSTANT, PHPColorProvider.CONSTANT);
- PreferenceConverter.setDefault(store, PHP_TYPE, PHPColorProvider.TYPE);
- PreferenceConverter.setDefault(store, PHP_STRING, PHPColorProvider.STRING);
- PreferenceConverter.setDefault(store, PHP_DEFAULT, PHPColorProvider.DEFAULT);
- PreferenceConverter.setDefault(store, PHPDOC_KEYWORD, PHPColorProvider.PHPDOC_KEYWORD);
- PreferenceConverter.setDefault(store, PHPDOC_TAG, PHPColorProvider.PHPDOC_TAG);
- PreferenceConverter.setDefault(store, PHPDOC_LINK, PHPColorProvider.PHPDOC_LINK);
- PreferenceConverter.setDefault(store, PHPDOC_DEFAULT, PHPColorProvider.PHPDOC_DEFAULT);
-
- PreferenceConverter.setDefault(store, EDITOR_PHP_KEYWORD_RETURN_COLOR, new RGB(127, 0, 85));
- store.setDefault(EDITOR_PHP_KEYWORD_RETURN_BOLD, true);
- store.setDefault(EDITOR_PHP_KEYWORD_RETURN_ITALIC, false);
-
- PreferenceConverter.setDefault(store, EDITOR_PHP_OPERATOR_COLOR, new RGB(0, 0, 0));
- store.setDefault(EDITOR_PHP_OPERATOR_BOLD, false);
- store.setDefault(EDITOR_PHP_OPERATOR_ITALIC, false);
-
- PreferenceConverter.setDefault(store, EDITOR_PHP_BRACE_OPERATOR_COLOR, new RGB(0, 0, 0));
- store.setDefault(EDITOR_PHP_BRACE_OPERATOR_BOLD, false);
- store.setDefault(EDITOR_PHP_BRACE_OPERATOR_ITALIC, false);
- // PreferenceConverter.setDefault(
- // store,
- // PHP_EDITOR_BACKGROUND,
- // PHPColorProvider.BACKGROUND);
- // PreferenceConverter.setDefault(
- // store,
- // LINKED_POSITION_COLOR,
- // PHPColorProvider.LINKED_POSITION_COLOR);
- // PreferenceConverter.setDefault(
- // store,
- // LINE_NUMBER_COLOR,
- // PHPColorProvider.LINE_NUMBER_COLOR);
- // // set default PHPDoc colors:
- // PreferenceConverter.setDefault(
- // store,
- // PHPDOC_KEYWORD,
- // PHPColorProvider.PHPDOC_KEYWORD);
- // PreferenceConverter.setDefault(
- // store,
- // PHPDOC_LINK,
- // PHPColorProvider.PHPDOC_LINK);
- // PreferenceConverter.setDefault(
- // store,
- // PHPDOC_DEFAULT,
- // PHPColorProvider.PHPDOC_DEFAULT);
- // PreferenceConverter.setDefault(
- // store,
- // PHPDOC_TAG,
- // PHPColorProvider.PHPDOC_TAG);
- // store.setDefault(PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, "true");
- // PreferenceConverter.setDefault(
- // store,
- // PREFERENCE_COLOR_BACKGROUND,
- // PHPColorProvider.BACKGROUND_COLOR);
- //language stuff
- // store.setDefault(RESOURCE_BUNDLE, LANGUAGE_DEFAULT);
- // store.setDefault(RESOURCE_BUNDLE_EN_GB, "true");
- // store.setDefault(RESOURCE_BUNDLE_DE, "false");
- // store.setDefault(RESOURCE_BUNDLE_FR, "false");
- // store.setDefault(RESOURCE_BUNDLE_ES, "false");
- // TemplatePreferencePage.initDefaults(store);
- //this will initialize the static fields in the syntaxrdr class
- new PHPSyntaxRdr();
- JavaCore.initializeDefaultPluginPreferences();
- PreferenceConstants.initializeDefaultValues(store);
- externalTools.initializeDefaultPreferences(store);
- MarkerAnnotationPreferences.initializeDefaultValues(store);
+ String operatingSystem = Platform.getOS();
+ // maxosx, linux, solaris, win32,...
+ try {
+ InputStream is = getDefault().openStream(
+ new Path("prefs/default_" + operatingSystem + ".properties"));
+ PropertyResourceBundle resourceBundle = new PropertyResourceBundle(is);
+ Enumeration e = resourceBundle.getKeys();
+ String key;
+ while (e.hasMoreElements()) {
+ key = (String)e.nextElement();
+ store.setDefault(key, resourceBundle.getString( key ));
+ }
+ } catch (Exception e) {
+ // no default properties found
+ if (operatingSystem.equals(Platform.OS_WIN32)) {
+// store.setDefault(PHP_RUN_PREF, "c:\\apache\\php\\php.exe");
+// store.setDefault(EXTERNAL_PARSER_PREF, "c:\\apache\\php\\php -l -f {0}");
+// store.setDefault(MYSQL_RUN_PREF, "c:\\apache\\mysql\\bin\\mysqld-nt.exe");
+// store.setDefault(APACHE_RUN_PREF, "c:\\apache\\apache.exe");
+// store.setDefault(XAMPP_START_PREF, "c:\\xampp\\xampp_start.exe");
+// store.setDefault(XAMPP_STOP_PREF, "c:\\xampp\\xampp_stop.exe");
+// store.setDefault(
+// ETC_HOSTS_PATH_PREF, "c:\\windows\\system32\\drivers\\etc\\hosts");
+ } else {
+// store.setDefault(PHP_RUN_PREF, "/apache/php/php");
+// store.setDefault(EXTERNAL_PARSER_PREF, "/apache/php/php -l -f {0}");
+// store.setDefault(MYSQL_RUN_PREF, "/apache/mysql/bin/mysqld");
+// store.setDefault(APACHE_RUN_PREF, "/apache/apache");
+// store.setDefault(XAMPP_START_PREF, "xamp/xampp_start");
+// store.setDefault(XAMPP_STOP_PREF, "xampp/xampp_stop");
+ }
+// store.setDefault(MYSQL_PREF, "--standalone");
+// store.setDefault(APACHE_START_PREF, "-c \"DocumentRoot \"{0}\"\"");
+// store.setDefault(APACHE_STOP_PREF, "-k shutdown");
+// store.setDefault(APACHE_RESTART_PREF, "-k restart");
+// store.setDefault(MYSQL_START_BACKGROUND, "true");
+// store.setDefault(APACHE_START_BACKGROUND, "true");
+// store.setDefault(APACHE_STOP_BACKGROUND, "true");
+// store.setDefault(APACHE_RESTART_BACKGROUND, "true");
+ }
+
+// store.setDefault(SHOW_OUTPUT_IN_CONSOLE, "true");
+// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "c:\\temp");
+// if (operatingSystem.equals(Platform.OS_WIN32)) {
+ // store.setDefault(EXTERNAL_BROWSER_PREF, "rundll32 url.dll,FileProtocolHandler {0}");
+// } else if (operatingSystem.equals(Platform.OS_MACOSX)) {
+// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
+ // TODO How do we start Safari on Mac OS X ?
+ // store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
+// } else {
+// store.setDefault(PHP_OBFUSCATOR_DEFAULT, "/tmp");
+ // store.setDefault(EXTERNAL_BROWSER_PREF, "netscape {0}");
+// }
+
+// store.setDefault(PHP_EXTENSION_PREFS, "php,php3,php4,php5,phtml,inc,module,class");
+
+ // store.setDefault(PHP_PARSER_DEFAULT, PHP_EXTERNAL_PARSER);
+ // store.setDefault(PHP_INTERNAL_PARSER, "false");
+ // store.setDefault(PHP_EXTERNAL_PARSER, "true");
+ // store.setDefault(PHP_PARSE_ON_SAVE, "true");
+ // show line numbers:
+ // store.setDefault(LINE_NUMBER_RULER, "false");
+ // store.setDefault(FORMATTER_TAB_SIZE, "4");
+ // php syntax highlighting
+ store.setDefault(PHP_USERDEF_XMLFILE, "");
+ //assume there is none chooA
+// PreferenceConverter.setDefault(store, PHP_MULTILINE_COMMENT, PHPColorProvider.MULTI_LINE_COMMENT);
+// PreferenceConverter.setDefault(store, PHP_SINGLELINE_COMMENT, PHPColorProvider.SINGLE_LINE_COMMENT);
+ PreferenceConverter.setDefault(store, PHP_TAG, PHPColorProvider.TAG);
+ PreferenceConverter.setDefault(store, PHP_KEYWORD, PHPColorProvider.KEYWORD);
+ PreferenceConverter.setDefault(store, PHP_VARIABLE, PHPColorProvider.VARIABLE);
+ PreferenceConverter.setDefault(store, PHP_VARIABLE_DOLLAR, PHPColorProvider.VARIABLE);
+ PreferenceConverter.setDefault(store, PHP_FUNCTIONNAME, PHPColorProvider.FUNCTION_NAME);
+ PreferenceConverter.setDefault(store, PHP_CONSTANT, PHPColorProvider.CONSTANT);
+ PreferenceConverter.setDefault(store, PHP_TYPE, PHPColorProvider.TYPE);
+// PreferenceConverter.setDefault(store, PHP_STRING_DQ, PHPColorProvider.STRING_DQ);
+// store.setDefault(PHP_STRING_BOLD_DQ, true);
+// PreferenceConverter.setDefault(store, PHP_STRING_SQ, PHPColorProvider.STRING_SQ);
+ PreferenceConverter.setDefault(store, PHP_DEFAULT, PHPColorProvider.DEFAULT);
+ PreferenceConverter.setDefault(store, PHPDOC_KEYWORD, PHPColorProvider.PHPDOC_KEYWORD);
+ PreferenceConverter.setDefault(store, PHPDOC_TAG, PHPColorProvider.PHPDOC_TAG);
+ PreferenceConverter.setDefault(store, PHPDOC_LINK, PHPColorProvider.PHPDOC_LINK);
+ PreferenceConverter.setDefault(store, PHPDOC_DEFAULT, PHPColorProvider.PHPDOC_DEFAULT);
+
+ PreferenceConverter.setDefault(store, EDITOR_PHP_KEYWORD_RETURN_COLOR, new RGB(127, 0, 85));
+ store.setDefault(EDITOR_PHP_KEYWORD_RETURN_BOLD, true);
+ store.setDefault(EDITOR_PHP_KEYWORD_RETURN_ITALIC, false);
+
+ PreferenceConverter.setDefault(store, EDITOR_PHP_OPERATOR_COLOR, new RGB(0, 0, 0));
+ store.setDefault(EDITOR_PHP_OPERATOR_BOLD, false);
+ store.setDefault(EDITOR_PHP_OPERATOR_ITALIC, false);
+
+ PreferenceConverter.setDefault(store, EDITOR_PHP_BRACE_OPERATOR_COLOR, new RGB(0, 0, 0));
+ store.setDefault(EDITOR_PHP_BRACE_OPERATOR_BOLD, false);
+ store.setDefault(EDITOR_PHP_BRACE_OPERATOR_ITALIC, false);
+ // PreferenceConverter.setDefault(
+ // store,
+ // PHP_EDITOR_BACKGROUND,
+ // PHPColorProvider.BACKGROUND);
+ // PreferenceConverter.setDefault(
+ // store,
+ // LINKED_POSITION_COLOR,
+ // PHPColorProvider.LINKED_POSITION_COLOR);
+ // PreferenceConverter.setDefault(
+ // store,
+ // LINE_NUMBER_COLOR,
+ // PHPColorProvider.LINE_NUMBER_COLOR);
+ // // set default PHPDoc colors:
+ // PreferenceConverter.setDefault(
+ // store,
+ // PHPDOC_KEYWORD,
+ // PHPColorProvider.PHPDOC_KEYWORD);
+ // PreferenceConverter.setDefault(
+ // store,
+ // PHPDOC_LINK,
+ // PHPColorProvider.PHPDOC_LINK);
+ // PreferenceConverter.setDefault(
+ // store,
+ // PHPDOC_DEFAULT,
+ // PHPColorProvider.PHPDOC_DEFAULT);
+ // PreferenceConverter.setDefault(
+ // store,
+ // PHPDOC_TAG,
+ // PHPColorProvider.PHPDOC_TAG);
+ // store.setDefault(PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT, "true");
+ // PreferenceConverter.setDefault(
+ // store,
+ // PREFERENCE_COLOR_BACKGROUND,
+ // PHPColorProvider.BACKGROUND_COLOR);
+ //language stuff
+ // store.setDefault(RESOURCE_BUNDLE, LANGUAGE_DEFAULT);
+ // store.setDefault(RESOURCE_BUNDLE_EN_GB, "true");
+ // store.setDefault(RESOURCE_BUNDLE_DE, "false");
+ // store.setDefault(RESOURCE_BUNDLE_FR, "false");
+ // store.setDefault(RESOURCE_BUNDLE_ES, "false");
+ // TemplatePreferencePage.initDefaults(store);
+ //this will initialize the static fields in the syntaxrdr class
+ new PHPSyntaxRdr();
+ JavaCore.initializeDefaultPluginPreferences();
+ PreferenceConstants.initializeDefaultValues(store);
+// externalTools.initializeDefaultPreferences(store);
+ MarkerAnnotationPreferences.initializeDefaultValues(store);
}
private IWorkbenchPage internalGetActivePage() {
- IWorkbenchWindow window = getWorkbench().getActiveWorkbenchWindow();
- if (window != null)
- return window.getActivePage();
- return null;
+ IWorkbenchWindow window = getWorkbench().getActiveWorkbenchWindow();
+ if (window != null)
+ return window.getActivePage();
+ return null;
}
private ImageDescriptorRegistry internalGetImageDescriptorRegistry() {
- if (fImageDescriptorRegistry == null)
- fImageDescriptorRegistry = new ImageDescriptorRegistry();
- return fImageDescriptorRegistry;
+ if (fImageDescriptorRegistry == null)
+ fImageDescriptorRegistry = new ImageDescriptorRegistry();
+ return fImageDescriptorRegistry;
}
/**
* Open a file in the Workbench that may or may not exist in the workspace. Must be run on the UI thread.
- *
+ *
* @param filename
* @throws CoreException
*/
public ITextEditor openFileInTextEditor(String filename) throws CoreException {
- // reject directories
- if (new File(filename).isDirectory())
- return null;
- IWorkbench workbench = PlatformUI.getWorkbench();
- IWorkbenchWindow window = workbench.getWorkbenchWindows()[0];
- IWorkbenchPage page = window.getActivePage();
- IPath path = new Path(filename);
- // If the file exists in the workspace, open it
- IFile file = getWorkspace().getRoot().getFileForLocation(path);
- IEditorPart editor;
- ITextEditor textEditor;
- if (file != null && file.exists()) {
- editor = IDE.openEditor(page, file, true);
- textEditor = (ITextEditor) editor.getAdapter(ITextEditor.class);
- } else {
- // Otherwise open the stream directly
- if (page == null)
- return null;
- FileStorage storage = new FileStorage(path);
- IEditorRegistry registry = getWorkbench().getEditorRegistry();
- IEditorDescriptor desc = registry.getDefaultEditor(filename);
- if (desc == null) {
- desc = registry.findEditor(IEditorRegistry.SYSTEM_EXTERNAL_EDITOR_ID);
- // desc = registry.getDefaultEditor();
- }
- IEditorInput input = new ExternalEditorInput(storage);
- editor = page.openEditor(input, desc.getId());
- textEditor = (ITextEditor) editor.getAdapter(ITextEditor.class);
- // If the storage provider is not ours, we can't guarantee read/write.
- if (textEditor != null) {
- IDocumentProvider documentProvider = textEditor.getDocumentProvider();
- if (!(documentProvider instanceof ExternalStorageDocumentProvider)) {
- storage.setReadOnly();
- }
- }
- }
- return textEditor;
+ // reject directories
+ if (new File(filename).isDirectory())
+ return null;
+ IWorkbench workbench = PlatformUI.getWorkbench();
+ IWorkbenchWindow window = workbench.getWorkbenchWindows()[0];
+ IWorkbenchPage page = window.getActivePage();
+ IPath path = new Path(filename);
+ // If the file exists in the workspace, open it
+ IFile file = getWorkspace().getRoot().getFileForLocation(path);
+ IEditorPart editor;
+ ITextEditor textEditor;
+ if (file != null && file.exists()) {
+ editor = IDE.openEditor(page, file, true);
+ textEditor = (ITextEditor) editor.getAdapter(ITextEditor.class);
+ } else {
+ // Otherwise open the stream directly
+ if (page == null)
+ return null;
+ FileStorage storage = new FileStorage(path);
+ IEditorRegistry registry = getWorkbench().getEditorRegistry();
+ IEditorDescriptor desc = registry.getDefaultEditor(filename);
+ if (desc == null) {
+ desc = registry.findEditor(IEditorRegistry.SYSTEM_EXTERNAL_EDITOR_ID);
+ // desc = registry.getDefaultEditor();
+ }
+ IEditorInput input = new ExternalEditorInput(storage);
+ editor = page.openEditor(input, desc.getId());
+ textEditor = (ITextEditor) editor.getAdapter(ITextEditor.class);
+ // If the storage provider is not ours, we can't guarantee read/write.
+ if (textEditor != null) {
+ IDocumentProvider documentProvider = textEditor.getDocumentProvider();
+ if (!(documentProvider instanceof ExternalStorageDocumentProvider)) {
+ storage.setReadOnly();
+ }
+ }
+ }
+ return textEditor;
}
/**
* Open a file in the Workbench that may or may not exist in the workspace. Must be run on the UI thread.
- *
+ *
* @param filename
* @param line
* @throws CoreException
*/
public void openFileAndGotoLine(String filename, int line) throws CoreException {
- ITextEditor textEditor = openFileInTextEditor(filename);
- if (textEditor != null) {
- // If a line number was given, go to it
- if (line > 0) {
- try {
- line--; // document is 0 based
- IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
- textEditor.selectAndReveal(document.getLineOffset(line), document.getLineLength(line));
- } catch (BadLocationException e) {
- // invalid text position -> do nothing
- }
- }
- }
+ ITextEditor textEditor = openFileInTextEditor(filename);
+ if (textEditor != null) {
+ // If a line number was given, go to it
+ if (line > 0) {
+ try {
+ line--; // document is 0 based
+ IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
+ textEditor.selectAndReveal(document.getLineOffset(line), document.getLineLength(line));
+ } catch (BadLocationException e) {
+ // invalid text position -> do nothing
+ }
+ }
+ }
}
/**
* Open a file in the Workbench that may or may not exist in the workspace. Must be run on the UI thread.
- *
+ *
* @param filename
* @param offset
* @throws CoreException
*/
public void openFileAndGotoOffset(String filename, int offset, int length) throws CoreException {
- ITextEditor textEditor = openFileInTextEditor(filename);
- if (textEditor != null) {
- // If a line number was given, go to it
- if (offset >= 0) {
- IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
- textEditor.selectAndReveal(offset, length);
- }
- }
+ ITextEditor textEditor = openFileInTextEditor(filename);
+ if (textEditor != null) {
+ // If a line number was given, go to it
+ if (offset >= 0) {
+ IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
+ textEditor.selectAndReveal(offset, length);
+ }
+ }
}
public void openFileAndFindString(String filename, String findString) throws CoreException {
- ITextEditor textEditor = openFileInTextEditor(filename);
- if (textEditor != null) {
- // If a string was given, go to it
- if (findString != null) {
- try {
- IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
- int offset = document.search(0, findString, true, false, true);
- textEditor.selectAndReveal(offset, findString.length());
- } catch (BadLocationException e) {
- // invalid text position -> do nothing
- }
- }
- }
+ ITextEditor textEditor = openFileInTextEditor(filename);
+ if (textEditor != null) {
+ // If a string was given, go to it
+ if (findString != null) {
+ try {
+ IDocument document = textEditor.getDocumentProvider().getDocument(textEditor.getEditorInput());
+ int offset = document.search(0, findString, true, false, true);
+ textEditor.selectAndReveal(offset, findString.length());
+ } catch (BadLocationException e) {
+ // invalid text position -> do nothing
+ }
+ }
+ }
}
public void setLastEditorFile(IFile textEditor) {
- this.fLastEditorFile = textEditor;
+ this.fLastEditorFile = textEditor;
}
/*
* @see org.eclipse.core.runtime.Plugin#stop
*/
public void stop(BundleContext context) throws Exception {
- try {
- // JavaCore.stop(this, context);
- plugin.savePluginPreferences();
- IWorkspace workspace = ResourcesPlugin.getWorkspace();
- workspace.removeResourceChangeListener(JavaModelManager.getJavaModelManager().deltaState);
- workspace.removeSaveParticipant(plugin);
-
- JavaModelManager.getJavaModelManager().shutdown();
-
- ColorManager.getDefault().dispose();
- // save the information from the php index files if necessary
- Collection collection = fIndexManagerMap.values();
- Iterator iterator = collection.iterator();
- IdentifierIndexManager indexManager = null;
- while (iterator.hasNext()) {
- indexManager = (IdentifierIndexManager) iterator.next();
- indexManager.writeFile();
- }
- if (fImageDescriptorRegistry != null)
- fImageDescriptorRegistry.dispose();
-
- // AllTypesCache.terminate();
-
- if (fImageDescriptorRegistry != null)
- fImageDescriptorRegistry.dispose();
-
- unregisterAdapters();
-
- // if (fASTProvider != null) {
- // fASTProvider.dispose();
- // fASTProvider= null;
- // }
-
- if (fWorkingCopyManager != null) {
- fWorkingCopyManager.shutdown();
- fWorkingCopyManager = null;
- }
-
- if (fCompilationUnitDocumentProvider != null) {
- fCompilationUnitDocumentProvider.shutdown();
- fCompilationUnitDocumentProvider = null;
- }
-
- if (fJavaTextTools != null) {
- fJavaTextTools.dispose();
- fJavaTextTools = null;
- }
- // JavaDocLocations.shutdownJavadocLocations();
-
- uninstallPreferenceStoreBackwardsCompatibility();
-
- // RefactoringCore.getUndoManager().shutdown();
- } finally {
- super.stop(context);
- }
+ try {
+ // JavaCore.stop(this, context);
+ plugin.savePluginPreferences();
+ IWorkspace workspace = ResourcesPlugin.getWorkspace();
+ workspace.removeResourceChangeListener(JavaModelManager.getJavaModelManager().deltaState);
+ workspace.removeSaveParticipant(plugin);
+
+ JavaModelManager.getJavaModelManager().shutdown();
+
+ // save the information from the php index files if necessary
+ Collection collection = fIndexManagerMap.values();
+ Iterator iterator = collection.iterator();
+ IdentifierIndexManager indexManager = null;
+ while (iterator.hasNext()) {
+ indexManager = (IdentifierIndexManager) iterator.next();
+ indexManager.writeFile();
+ }
+ if (fImageDescriptorRegistry != null)
+ fImageDescriptorRegistry.dispose();
+
+ // AllTypesCache.terminate();
+
+ if (fImageDescriptorRegistry != null)
+ fImageDescriptorRegistry.dispose();
+
+ unregisterAdapters();
+
+ // if (fASTProvider != null) {
+ // fASTProvider.dispose();
+ // fASTProvider= null;
+ // }
+
+ if (fWorkingCopyManager != null) {
+ fWorkingCopyManager.shutdown();
+ fWorkingCopyManager = null;
+ }
+
+ if (fCompilationUnitDocumentProvider != null) {
+ fCompilationUnitDocumentProvider.shutdown();
+ fCompilationUnitDocumentProvider = null;
+ }
+
+ if (fJavaTextTools != null) {
+ fJavaTextTools.dispose();
+ fJavaTextTools = null;
+ }
+ // JavaDocLocations.shutdownJavadocLocations();
+
+ uninstallPreferenceStoreBackwardsCompatibility();
+
+ // RefactoringCore.getUndoManager().shutdown();
+ } finally {
+ super.stop(context);
+ }
}
/**
*/
private void installPreferenceStoreBackwardsCompatibility() {
- /*
- * Installs backwards compatibility: propagate the Java editor font from a pre-2.1 plug-in to the Platform UI's preference store
- * to preserve the Java editor font from a pre-2.1 workspace. This is done only once.
- */
- String fontPropagatedKey = "fontPropagated"; //$NON-NLS-1$
- if (getPreferenceStore().contains(JFaceResources.TEXT_FONT) && !getPreferenceStore().isDefault(JFaceResources.TEXT_FONT)) {
- if (!getPreferenceStore().getBoolean(fontPropagatedKey))
- PreferenceConverter.setValue(PlatformUI.getWorkbench().getPreferenceStore(), PreferenceConstants.EDITOR_TEXT_FONT,
- PreferenceConverter.getFontDataArray(getPreferenceStore(), JFaceResources.TEXT_FONT));
- }
- getPreferenceStore().setValue(fontPropagatedKey, true);
-
- /*
- * Backwards compatibility: set the Java editor font in this plug-in's preference store to let older versions access it. Since
- * 2.1 the Java editor font is managed by the workbench font preference page.
- */
- PreferenceConverter.putValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFontRegistry().getFontData(
- PreferenceConstants.EDITOR_TEXT_FONT));
-
- fFontPropertyChangeListener = new IPropertyChangeListener() {
- public void propertyChange(PropertyChangeEvent event) {
- if (PreferenceConstants.EDITOR_TEXT_FONT.equals(event.getProperty()))
- PreferenceConverter.putValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFontRegistry()
- .getFontData(PreferenceConstants.EDITOR_TEXT_FONT));
- }
- };
- JFaceResources.getFontRegistry().addListener(fFontPropertyChangeListener);
-
- /*
- * Backwards compatibility: propagate the Java editor tab width from a pre-3.0 plug-in to the new preference key. This is done
- * only once.
- */
- // final String oldTabWidthKey = PreferenceConstants.EDITOR_TAB_WIDTH;
- // final String newTabWidthKey = AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH;
- // String tabWidthPropagatedKey = "tabWidthPropagated"; //$NON-NLS-1$
- // if (getPreferenceStore().contains(oldTabWidthKey) && !getPreferenceStore().isDefault(oldTabWidthKey)) {
- // if (!getPreferenceStore().getBoolean(tabWidthPropagatedKey))
- // getPreferenceStore().setValue(newTabWidthKey, getPreferenceStore().getInt(oldTabWidthKey));
- // }
- // getPreferenceStore().setValue(tabWidthPropagatedKey, true);
- //
- // /*
- // * Backwards compatibility: set the Java editor tab width in this plug-in's preference store with the old key to let older
- // * versions access it. Since 3.0 the tab width is managed by the extended texteditor and uses a new key.
- // */
- // getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
- // fPropertyChangeListener = new IPropertyChangeListener() {
- // public void propertyChange(PropertyChangeEvent event) {
- // if (newTabWidthKey.equals(event.getProperty()))
- // getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
- // }
- // };
- // getPreferenceStore().addPropertyChangeListener(fPropertyChangeListener);
- /*
- * Backward compatibility for the refactoring preference key.
- */
- // getPreferenceStore().setValue(
- // PreferenceConstants.REFACTOR_ERROR_PAGE_SEVERITY_THRESHOLD,
- // RefactoringCore.getConditionCheckingFailedSeverity());
+ /*
+ * Installs backwards compatibility: propagate the Java editor font from a pre-2.1 plug-in to the Platform UI's preference store
+ * to preserve the Java editor font from a pre-2.1 workspace. This is done only once.
+ */
+ String fontPropagatedKey = "fontPropagated"; //$NON-NLS-1$
+ if (getPreferenceStore().contains(JFaceResources.TEXT_FONT) && !getPreferenceStore().isDefault(JFaceResources.TEXT_FONT)) {
+ if (!getPreferenceStore().getBoolean(fontPropagatedKey))
+ PreferenceConverter.setValue(PlatformUI.getWorkbench().getPreferenceStore(), PreferenceConstants.EDITOR_TEXT_FONT,
+ PreferenceConverter.getFontDataArray(getPreferenceStore(), JFaceResources.TEXT_FONT));
+ }
+ getPreferenceStore().setValue(fontPropagatedKey, true);
+
+ /*
+ * Backwards compatibility: set the Java editor font in this plug-in's preference store to let older versions access it. Since
+ * 2.1 the Java editor font is managed by the workbench font preference page.
+ */
+ PreferenceConverter.putValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFontRegistry().getFontData(
+ PreferenceConstants.EDITOR_TEXT_FONT));
+
+ fFontPropertyChangeListener = new IPropertyChangeListener() {
+ public void propertyChange(PropertyChangeEvent event) {
+ if (PreferenceConstants.EDITOR_TEXT_FONT.equals(event.getProperty()))
+ PreferenceConverter.putValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFontRegistry()
+ .getFontData(PreferenceConstants.EDITOR_TEXT_FONT));
+ }
+ };
+ JFaceResources.getFontRegistry().addListener(fFontPropertyChangeListener);
+
+ /*
+ * Backwards compatibility: propagate the Java editor tab width from a pre-3.0 plug-in to the new preference key. This is done
+ * only once.
+ */
+ // final String oldTabWidthKey = PreferenceConstants.EDITOR_TAB_WIDTH;
+ // final String newTabWidthKey = AbstractDecoratedTextEditorPreferenceConstants.EDITOR_TAB_WIDTH;
+ // String tabWidthPropagatedKey = "tabWidthPropagated"; //$NON-NLS-1$
+ // if (getPreferenceStore().contains(oldTabWidthKey) && !getPreferenceStore().isDefault(oldTabWidthKey)) {
+ // if (!getPreferenceStore().getBoolean(tabWidthPropagatedKey))
+ // getPreferenceStore().setValue(newTabWidthKey, getPreferenceStore().getInt(oldTabWidthKey));
+ // }
+ // getPreferenceStore().setValue(tabWidthPropagatedKey, true);
+ //
+ // /*
+ // * Backwards compatibility: set the Java editor tab width in this plug-in's preference store with the old key to let older
+ // * versions access it. Since 3.0 the tab width is managed by the extended texteditor and uses a new key.
+ // */
+ // getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
+ // fPropertyChangeListener = new IPropertyChangeListener() {
+ // public void propertyChange(PropertyChangeEvent event) {
+ // if (newTabWidthKey.equals(event.getProperty()))
+ // getPreferenceStore().putValue(oldTabWidthKey, getPreferenceStore().getString(newTabWidthKey));
+ // }
+ // };
+ // getPreferenceStore().addPropertyChangeListener(fPropertyChangeListener);
+ /*
+ * Backward compatibility for the refactoring preference key.
+ */
+ // getPreferenceStore().setValue(
+ // PreferenceConstants.REFACTOR_ERROR_PAGE_SEVERITY_THRESHOLD,
+ // RefactoringCore.getConditionCheckingFailedSeverity());
}
/**
* Uninstalls backwards compatibility for the preference store.
*/
private void uninstallPreferenceStoreBackwardsCompatibility() {
- JFaceResources.getFontRegistry().removeListener(fFontPropertyChangeListener);
- // getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener);
+ JFaceResources.getFontRegistry().removeListener(fFontPropertyChangeListener);
+ // getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener);
}
/*
* (non - Javadoc) Method declared in Plugin
*/
public void start(BundleContext context) throws Exception {
- super.start(context);
-
- // JavaCore.start(this, context);
- final JavaModelManager manager = JavaModelManager.getJavaModelManager();
- try {
- manager.configurePluginDebugOptions();
-
- // request state folder creation (workaround 19885)
- // JavaCore.getPlugin().getStateLocation();
- getStateLocation();
- // retrieve variable values
- PHPeclipsePlugin.getDefault().getPluginPreferences().addPropertyChangeListener(
- new JavaModelManager.PluginPreferencesListener());
- // manager.loadVariablesAndContainers();
-
- final IWorkspace workspace = ResourcesPlugin.getWorkspace();
- workspace.addResourceChangeListener(manager.deltaState, IResourceChangeEvent.PRE_BUILD | IResourceChangeEvent.POST_BUILD
- | IResourceChangeEvent.POST_CHANGE | IResourceChangeEvent.PRE_DELETE | IResourceChangeEvent.PRE_CLOSE);
-
- // startIndexing();
- ISavedState savedState = workspace.addSaveParticipant(PHPeclipsePlugin.this, manager);
-
- // process deltas since last activated in indexer thread so that indexes are up-to-date.
- // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=38658
- Job processSavedState = new Job(Util.bind("savedState.jobName")) { //$NON-NLS-1$
- protected IStatus run(IProgressMonitor monitor) {
- try {
- // add save participant and process delta atomically
- // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=59937
- workspace.run(new IWorkspaceRunnable() {
- public void run(IProgressMonitor progress) throws CoreException {
- ISavedState savedState = workspace.addSaveParticipant(PHPeclipsePlugin.this, manager);
- if (savedState != null) {
- // the event type coming from the saved state is always POST_AUTO_BUILD
- // force it to be POST_CHANGE so that the delta processor can handle it
- manager.deltaState.getDeltaProcessor().overridenEventType = IResourceChangeEvent.POST_CHANGE;
- savedState.processResourceChangeEvents(manager.deltaState);
- }
- }
- }, monitor);
- } catch (CoreException e) {
- return e.getStatus();
- }
- return Status.OK_STATUS;
- }
- };
- processSavedState.setSystem(true);
- processSavedState.setPriority(Job.SHORT); // process asap
- processSavedState.schedule();
- } catch (RuntimeException e) {
- manager.shutdown();
- throw e;
- }
-
- registerAdapters();
-
- // if (USE_WORKING_COPY_OWNERS) {
- WorkingCopyOwner.setPrimaryBufferProvider(new WorkingCopyOwner() {
- public IBuffer createBuffer(ICompilationUnit workingCopy) {
- ICompilationUnit original = workingCopy.getPrimary();
- IResource resource = original.getResource();
- if (resource instanceof IFile)
- return new DocumentAdapter(workingCopy, (IFile) resource);
- return DocumentAdapter.NULL;
- }
- });
- // }
-
- installPreferenceStoreBackwardsCompatibility();
+ super.start(context);
+
+ // JavaCore.start(this, context);
+ final JavaModelManager modelManager = JavaModelManager.getJavaModelManager();
+ try {
+ modelManager.configurePluginDebugOptions();
+
+ // request state folder creation (workaround 19885)
+ // JavaCore.getPlugin().getStateLocation();
+ getStateLocation();
+ // retrieve variable values
+ PHPeclipsePlugin.getDefault().getPluginPreferences().addPropertyChangeListener(
+ new JavaModelManager.PluginPreferencesListener());
+ // manager.loadVariablesAndContainers();
+
+ final IWorkspace workspace = ResourcesPlugin.getWorkspace();
+ workspace.addResourceChangeListener(modelManager.deltaState, IResourceChangeEvent.PRE_BUILD | IResourceChangeEvent.POST_BUILD
+ | IResourceChangeEvent.POST_CHANGE | IResourceChangeEvent.PRE_DELETE | IResourceChangeEvent.PRE_CLOSE);
+
+ // startIndexing();
+ ISavedState savedState = workspace.addSaveParticipant(PHPeclipsePlugin.this, modelManager);
+
+ // process deltas since last activated in indexer thread so that indexes are up-to-date.
+ // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=38658
+ Job processSavedState = new Job(Util.bind("savedState.jobName")) { //$NON-NLS-1$
+ protected IStatus run(IProgressMonitor monitor) {
+ try {
+ // add save participant and process delta atomically
+ // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=59937
+ workspace.run(new IWorkspaceRunnable() {
+ public void run(IProgressMonitor progress) throws CoreException {
+ ISavedState savedState = workspace.addSaveParticipant(PHPeclipsePlugin.this, modelManager);
+ if (savedState != null) {
+ // the event type coming from the saved state is always POST_AUTO_BUILD
+ // force it to be POST_CHANGE so that the delta processor can handle it
+ modelManager.deltaState.getDeltaProcessor().overridenEventType = IResourceChangeEvent.POST_CHANGE;
+ savedState.processResourceChangeEvents(modelManager.deltaState);
+ }
+ }
+ }, monitor);
+ } catch (CoreException e) {
+ return e.getStatus();
+ }
+ return Status.OK_STATUS;
+ }
+ };
+ processSavedState.setSystem(true);
+ processSavedState.setPriority(Job.SHORT); // process asap
+ processSavedState.schedule();
+ } catch (RuntimeException e) {
+ modelManager.shutdown();
+ throw e;
+ }
+
+ registerAdapters();
+
+ // if (USE_WORKING_COPY_OWNERS) {
+ WorkingCopyOwner.setPrimaryBufferProvider(new WorkingCopyOwner() {
+ public IBuffer createBuffer(ICompilationUnit workingCopy) {
+ ICompilationUnit original = workingCopy.getPrimary();
+ IResource resource = original.getResource();
+ if (resource instanceof IFile)
+ return new DocumentAdapter(workingCopy, (IFile) resource);
+ return DocumentAdapter.NULL;
+ }
+ });
+ // }
+
+ installPreferenceStoreBackwardsCompatibility();
}
// }
private void registerAdapters() {
- fJavaElementAdapterFactory = new JavaElementAdapterFactory();
- // fMarkerAdapterFactory= new MarkerAdapterFactory();
- // fEditorInputAdapterFactory= new EditorInputAdapterFactory();
- fResourceAdapterFactory = new ResourceAdapterFactory();
- // fLogicalPackageAdapterFactory= new LogicalPackageAdapterFactory();
-
- IAdapterManager manager = Platform.getAdapterManager();
- manager.registerAdapters(fJavaElementAdapterFactory, IJavaElement.class);
- // manager.registerAdapters(fMarkerAdapterFactory, IMarker.class);
- // manager.registerAdapters(fEditorInputAdapterFactory, IEditorInput.class);
- manager.registerAdapters(fResourceAdapterFactory, IResource.class);
- // manager.registerAdapters(fLogicalPackageAdapterFactory,
- // LogicalPackage.class);
+ fJavaElementAdapterFactory = new JavaElementAdapterFactory();
+ // fMarkerAdapterFactory= new MarkerAdapterFactory();
+ // fEditorInputAdapterFactory= new EditorInputAdapterFactory();
+ fResourceAdapterFactory = new ResourceAdapterFactory();
+ // fLogicalPackageAdapterFactory= new LogicalPackageAdapterFactory();
+
+ IAdapterManager manager = Platform.getAdapterManager();
+ manager.registerAdapters(fJavaElementAdapterFactory, IJavaElement.class);
+ // manager.registerAdapters(fMarkerAdapterFactory, IMarker.class);
+ // manager.registerAdapters(fEditorInputAdapterFactory, IEditorInput.class);
+ manager.registerAdapters(fResourceAdapterFactory, IResource.class);
+ // manager.registerAdapters(fLogicalPackageAdapterFactory,
+ // LogicalPackage.class);
}
private void unregisterAdapters() {
- IAdapterManager manager = Platform.getAdapterManager();
- manager.unregisterAdapters(fJavaElementAdapterFactory);
- // manager.unregisterAdapters(fMarkerAdapterFactory);
- // manager.unregisterAdapters(fEditorInputAdapterFactory);
- manager.unregisterAdapters(fResourceAdapterFactory);
- // manager.unregisterAdapters(fLogicalPackageAdapterFactory);
+ IAdapterManager manager = Platform.getAdapterManager();
+ manager.unregisterAdapters(fJavaElementAdapterFactory);
+ // manager.unregisterAdapters(fMarkerAdapterFactory);
+ // manager.unregisterAdapters(fEditorInputAdapterFactory);
+ manager.unregisterAdapters(fResourceAdapterFactory);
+ // manager.unregisterAdapters(fLogicalPackageAdapterFactory);
}
/**
* Returns a combined preference store, this store is read-only.
- *
+ *
* @return the combined preference store
- *
+ *
* @since 3.0
*/
public IPreferenceStore getCombinedPreferenceStore() {
- if (fCombinedPreferenceStore == null) {
- IPreferenceStore generalTextStore = EditorsUI.getPreferenceStore();
- fCombinedPreferenceStore = new ChainedPreferenceStore(new IPreferenceStore[] {
- getPreferenceStore(),
- new PreferencesAdapter(PHPeclipsePlugin.getDefault().getPluginPreferences()),
- generalTextStore });
- }
- return fCombinedPreferenceStore;
+ if (fCombinedPreferenceStore == null) {
+ IPreferenceStore generalTextStore = EditorsUI.getPreferenceStore();
+ fCombinedPreferenceStore = new ChainedPreferenceStore(new IPreferenceStore[] {
+ getPreferenceStore(),
+ new PreferencesAdapter(PHPeclipsePlugin.getDefault().getPluginPreferences()),
+ generalTextStore });
+ }
+ return fCombinedPreferenceStore;
}
public synchronized IBufferFactory getBufferFactory() {
- if (fBufferFactory == null)
- fBufferFactory = new CustomBufferFactory();
- return fBufferFactory;
+ if (fBufferFactory == null)
+ fBufferFactory = new CustomBufferFactory();
+ return fBufferFactory;
}
/**
* Returns the registry of the extensions to the <code>net.sourceforge.phpdt.ui.javaFoldingStructureProvider</code> extension
* point.
- *
+ *
* @return the registry of contributed <code>IJavaFoldingStructureProvider</code>
* @since 3.0
*/
public synchronized JavaFoldingStructureProviderRegistry getFoldingStructureProviderRegistry() {
- if (fFoldingStructureProviderRegistry == null)
- fFoldingStructureProviderRegistry = new JavaFoldingStructureProviderRegistry();
- return fFoldingStructureProviderRegistry;
+ if (fFoldingStructureProviderRegistry == null)
+ fFoldingStructureProviderRegistry = new JavaFoldingStructureProviderRegistry();
+ return fFoldingStructureProviderRegistry;
}
/**
* <p>
* If this method is called in the dynamic scope of another such call, this method simply runs the action.
* </p>
- *
+ *
* @param action
* the action to perform
* @param monitor
* @since 2.1
*/
public static void run(IWorkspaceRunnable action, IProgressMonitor monitor) throws CoreException {
- run(action, ResourcesPlugin.getWorkspace().getRoot(), monitor);
+ run(action, ResourcesPlugin.getWorkspace().getRoot(), monitor);
}
/**
* The supplied scheduling rule is used to determine whether this operation can be run simultaneously with workspace changes in
* other threads. See <code>IWorkspace.run(...)</code> for more details.
* </p>
- *
+ *
* @param action
* the action to perform
* @param rule
* @since 3.0
*/
public static void run(IWorkspaceRunnable action, ISchedulingRule rule, IProgressMonitor monitor) throws CoreException {
- IWorkspace workspace = ResourcesPlugin.getWorkspace();
- if (workspace.isTreeLocked()) {
- new BatchOperation(action).run(monitor);
- } else {
- // use IWorkspace.run(...) to ensure that a build will be done in
- // autobuild mode
- workspace.run(new BatchOperation(action), rule, IWorkspace.AVOID_UPDATE, monitor);
- }
+ IWorkspace workspace = ResourcesPlugin.getWorkspace();
+ if (workspace.isTreeLocked()) {
+ new BatchOperation(action).run(monitor);
+ } else {
+ // use IWorkspace.run(...) to ensure that a build will be done in
+ // autobuild mode
+ workspace.run(new BatchOperation(action), rule, IWorkspace.AVOID_UPDATE, monitor);
+ }
}
/**
* Returns the template context type registry for the java plugin.
- *
+ *
* @return the template context type registry for the java plugin
* @since 3.0
*/
public ContextTypeRegistry getTemplateContextRegistry() {
- if (fContextTypeRegistry == null) {
- fContextTypeRegistry = new ContributionContextTypeRegistry();
+ if (fContextTypeRegistry == null) {
+ fContextTypeRegistry = new ContributionContextTypeRegistry();
- fContextTypeRegistry.addContextType(new JavaContextType());
- fContextTypeRegistry.addContextType(new JavaDocContextType());
- fContextTypeRegistry.addContextType(new HTMLContextType());
- }
+ fContextTypeRegistry.addContextType(new JavaContextType());
+ fContextTypeRegistry.addContextType(new JavaDocContextType());
+ fContextTypeRegistry.addContextType(new HTMLContextType());
+ }
- return fContextTypeRegistry;
+ return fContextTypeRegistry;
}
/**
* Returns the template store for the java editor templates.
- *
+ *
* @return the template store for the java editor templates
* @since 3.0
*/
public TemplateStore getTemplateStore() {
- if (fTemplateStore == null) {
- // boolean alreadyMigrated= getPreferenceStore().getBoolean(TEMPLATES_MIGRATION_KEY);
- // if (alreadyMigrated)
- fTemplateStore = new ContributionTemplateStore(getTemplateContextRegistry(), getPreferenceStore(), TEMPLATES_KEY);
- // else {
- // fTemplateStore= new CompatibilityTemplateStore(getTemplateContextRegistry(), getPreferenceStore(), TEMPLATES_KEY,
- // Templates.getInstance());
- // getPreferenceStore().setValue(TEMPLATES_MIGRATION_KEY, true);
- // }
-
- try {
- fTemplateStore.load();
- } catch (IOException e) {
- log(e);
- }
- }
-
- return fTemplateStore;
+ if (fTemplateStore == null) {
+ // boolean alreadyMigrated= getPreferenceStore().getBoolean(TEMPLATES_MIGRATION_KEY);
+ // if (alreadyMigrated)
+ fTemplateStore = new ContributionTemplateStore(getTemplateContextRegistry(), getPreferenceStore(), TEMPLATES_KEY);
+ // else {
+ // fTemplateStore= new CompatibilityTemplateStore(getTemplateContextRegistry(), getPreferenceStore(), TEMPLATES_KEY,
+ // Templates.getInstance());
+ // getPreferenceStore().setValue(TEMPLATES_MIGRATION_KEY, true);
+ // }
+
+ try {
+ fTemplateStore.load();
+ } catch (IOException e) {
+ log(e);
+ }
+ }
+
+ return fTemplateStore;
}
/**
* Returns the template context type registry for the code generation templates.
- *
+ *
* @return the template context type registry for the code generation templates
* @since 3.0
*/
public ContextTypeRegistry getCodeTemplateContextRegistry() {
- if (fCodeTemplateContextTypeRegistry == null) {
- fCodeTemplateContextTypeRegistry = new ContributionContextTypeRegistry();
+ if (fCodeTemplateContextTypeRegistry == null) {
+ fCodeTemplateContextTypeRegistry = new ContributionContextTypeRegistry();
- CodeTemplateContextType.registerContextTypes(fCodeTemplateContextTypeRegistry);
- }
+ CodeTemplateContextType.registerContextTypes(fCodeTemplateContextTypeRegistry);
+ }
- return fCodeTemplateContextTypeRegistry;
+ return fCodeTemplateContextTypeRegistry;
}
/**
* Returns the template store for the code generation templates.
- *
+ *
* @return the template store for the code generation templates
* @since 3.0
*/
public TemplateStore getCodeTemplateStore() {
- if (fCodeTemplateStore == null) {
- // boolean alreadyMigrated= getPreferenceStore().getBoolean(CODE_TEMPLATES_MIGRATION_KEY);
- // if (alreadyMigrated)
- fCodeTemplateStore = new ContributionTemplateStore(getCodeTemplateContextRegistry(), getPreferenceStore(), CODE_TEMPLATES_KEY);
- // else {
- // fCodeTemplateStore= new CompatibilityTemplateStore(getCodeTemplateContextRegistry(), getPreferenceStore(),
- // CODE_TEMPLATES_KEY, CodeTemplates.getInstance());
- // getPreferenceStore().setValue(CODE_TEMPLATES_MIGRATION_KEY, true);
- // }
-
- try {
- fCodeTemplateStore.load();
- } catch (IOException e) {
- log(e);
- }
-
- // compatibility / bug fixing code for duplicated templates
- // TODO remove for 3.0
- // CompatibilityTemplateStore.pruneDuplicates(fCodeTemplateStore, true);
- }
-
- return fCodeTemplateStore;
+ if (fCodeTemplateStore == null) {
+ // boolean alreadyMigrated= getPreferenceStore().getBoolean(CODE_TEMPLATES_MIGRATION_KEY);
+ // if (alreadyMigrated)
+ fCodeTemplateStore = new ContributionTemplateStore(getCodeTemplateContextRegistry(), getPreferenceStore(), CODE_TEMPLATES_KEY);
+ // else {
+ // fCodeTemplateStore= new CompatibilityTemplateStore(getCodeTemplateContextRegistry(), getPreferenceStore(),
+ // CODE_TEMPLATES_KEY, CodeTemplates.getInstance());
+ // getPreferenceStore().setValue(CODE_TEMPLATES_MIGRATION_KEY, true);
+ // }
+
+ try {
+ fCodeTemplateStore.load();
+ } catch (IOException e) {
+ log(e);
+ }
+
+ // compatibility / bug fixing code for duplicated templates
+ // TODO remove for 3.0
+ // CompatibilityTemplateStore.pruneDuplicates(fCodeTemplateStore, true);
+ }
+
+ return fCodeTemplateStore;
}
}
\ No newline at end of file
git://secure.phpeclipse.com / phpeclipse.git / blobdiff