deletet because wrongly uploaded
[phpeclipse.git] / net.sourceforge.phpeclipse.launching / src / net / sourceforge / phpdt / internal / launching / PHPLaunchingPlugin.java
1 package net.sourceforge.phpdt.internal.launching;
2
3 import net.sourceforge.phpeclipse.PHPeclipsePlugin;
4
5 import org.eclipse.core.resources.IWorkspace;
6 import org.eclipse.core.runtime.IPluginDescriptor;
7 import org.eclipse.core.runtime.IStatus;
8 import org.eclipse.core.runtime.Plugin;
9 import org.eclipse.core.runtime.Status;
10
11 public class PHPLaunchingPlugin extends Plugin {
12         public static final String PLUGIN_ID = "net.sourceforge.phpeclipse.launching"; //$NON-NLS-1$
13
14         protected static PHPLaunchingPlugin plugin;
15
16         public PHPLaunchingPlugin(IPluginDescriptor descriptor) {
17                 super(descriptor);
18                 plugin = this;
19         }
20
21         public static PHPLaunchingPlugin getDefault() {
22                 return plugin;
23         }
24
25         public static IWorkspace getWorkspace() {
26                 return PHPeclipsePlugin.getWorkspace();
27         }
28
29         public static void log(IStatus status) {
30                 getDefault().getLog().log(status);
31         }
32
33         public static void log(Throwable e) {
34                 log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, PHPLaunchingMessages.getString("PHPLaunchingPlugin.internalErrorOccurred"), e)); //$NON-NLS-1$
35         }
36 }