+++ /dev/null
-package net.sourceforge.phpdt.internal.launching;
-
-import net.sourceforge.phpeclipse.PHPeclipsePlugin;
-import org.eclipse.core.resources.IWorkspace;
-import org.eclipse.core.runtime.IPluginDescriptor;
-import org.eclipse.core.runtime.IStatus;
-import org.eclipse.core.runtime.Plugin;
-import org.eclipse.core.runtime.Status;
-
-public class PHPLaunchingPlugin extends Plugin {
- public static final String PLUGIN_ID = "net.sourceforge.phpeclipse.launching"; //$NON-NLS-1$
-
- protected static PHPLaunchingPlugin plugin;
-
- public PHPLaunchingPlugin(IPluginDescriptor descriptor) {
- super(descriptor);
- plugin = this;
- }
-
- public static PHPLaunchingPlugin getDefault() {
- return plugin;
- }
-
- public static IWorkspace getWorkspace() {
- return PHPeclipsePlugin.getWorkspace();
- }
-
- public static void log(IStatus status) {
- getDefault().getLog().log(status);
- }
-
- public static void log(Throwable e) {
- log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, PHPLaunchingMessages.getString("PHPLaunchingPlugin.internalErrorOccurred"), e)); //$NON-NLS-1$
- }
-}