annotate src/de/mpg/mpiwg/itgroup/digilib/plugin/Activator.java @ 27:361d8c89338a

Moved common classes to de.mpg.mpiwg.itgroup.digilib.core
author dwinter
date Sat, 18 Jun 2011 09:53:01 +0200
parents 1a7940ac5169
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
27
361d8c89338a Moved common classes to de.mpg.mpiwg.itgroup.digilib.core
dwinter
parents: 24
diff changeset
7
361d8c89338a Moved common classes to de.mpg.mpiwg.itgroup.digilib.core
dwinter
parents: 24
diff changeset
8
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 * The activator class controls the plug-in life cycle
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12 public class Activator extends AbstractUIPlugin {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 // The plug-in ID
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 public static final String PLUGIN_ID = "de.mpg.mpiwg.itgroup.diglib.plugin"; //$NON-NLS-1$
22
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
16
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
17 //default base url fuer preferences
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
18
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 // The shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20 private static Activator plugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 * The constructor
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 public Activator() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 * (non-Javadoc)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 * @see org.eclipse.ui.plugin.AbstractUIPlugin#start(org.osgi.framework.BundleContext)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 public void start(BundleContext context) throws Exception {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33 super.start(context);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 plugin = this;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 /*
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 * (non-Javadoc)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39 * @see org.eclipse.ui.plugin.AbstractUIPlugin#stop(org.osgi.framework.BundleContext)
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 public void stop(BundleContext context) throws Exception {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 plugin = null;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43 super.stop(context);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47 * Returns the shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 * @return the shared instance
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51 public static Activator getDefault() {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52 return plugin;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 /**
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 * Returns an image descriptor for the image file at the given
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57 * plug-in relative path
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 *
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 * @param path the path
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60 * @return the image descriptor
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61 */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 public static ImageDescriptor getImageDescriptor(String path) {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63 return imageDescriptorFromPlugin(PLUGIN_ID, path);
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64 }
22
7153018334a1 preference hinzugefuegt
dwinter
parents: 1
diff changeset
65
23
e5b16fea0387 minor changes to set preferences
dwinter
parents: 22
diff changeset
66
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
67 }