Switched to Eclipse 2.1 development; eliminated JTidy package => now standalone plugin
[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 import org.eclipse.core.resources.IWorkspace;
5 import org.eclipse.core.runtime.IPluginDescriptor;
6 import org.eclipse.core.runtime.IStatus;
7 import org.eclipse.core.runtime.Plugin;
8 import org.eclipse.core.runtime.Status;
9
10 public class PHPLaunchingPlugin extends Plugin {
11         public static final String PLUGIN_ID = "net.sourceforge.phpeclipse.launching"; //$NON-NLS-1$
12
13         protected static PHPLaunchingPlugin plugin;
14
15         public PHPLaunchingPlugin(IPluginDescriptor descriptor) {
16                 super(descriptor);
17                 plugin = this;
18         }
19
20         public static PHPLaunchingPlugin getDefault() {
21                 return plugin;
22         }
23
24         public static IWorkspace getWorkspace() {
25                 return PHPeclipsePlugin.getWorkspace();
26         }
27
28         public static void log(IStatus status) {
29                 getDefault().getLog().log(status);
30         }
31
32         public static void log(Throwable e) {
33                 log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, PHPLaunchingMessages.getString("PHPLaunchingPlugin.internalErrorOccurred"), e)); //$NON-NLS-1$
34         }
35 }