annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/Activator.java @ 24:1a7940ac5169

minor
author dwinter
date Wed, 05 Jan 2011 14:04:58 +0100
parents e5b16fea0387
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1 package de.mpg.mpiwg.itgroup.digilib.plugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
3 import org.eclipse.jface.resource.ImageDescriptor;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4 import org.eclipse.ui.plugin.AbstractUIPlugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 import org.osgi.framework.BundleContext;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 * The activator class controls the plug-in life cycle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 public class Activator extends AbstractUIPlugin {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12 // The plug-in ID
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13 public static final String PLUGIN_ID = "de.mpg.mpiwg.itgroup.diglib.plugin"; //$NON-NLS-1$
22
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
14
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
15 //default base url fuer preferences
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
16
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 // The shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18 private static Activator plugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21 * The constructor
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 public Activator() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 * (non-Javadoc)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 public void start(BundleContext context) throws Exception {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31 super.start(context);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 plugin = this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36 * (non-Javadoc)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 * @see org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 public void stop(BundleContext context) throws Exception {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 plugin = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 super.stop(context);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45 * Returns the shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 * @return the shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 public static Activator getDefault() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 return plugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54 * Returns an image descriptor for the image file at the given
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 * plug-in relative path
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57 * @param path the path
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 * @return the image descriptor
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60 public static ImageDescriptor getImageDescriptor(String path) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 return imageDescriptorFromPlugin(PLUGIN_ID, path);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 }
22
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
63
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
64
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
65 }