annotate src/de/mpg/mpiwg/itgroup/digilib/core/plugin/Activator.java @ 28:f2e1827b97d7

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