|
The Meta-Environment API | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.core.runtime.Plugin
org.eclipse.ui.plugin.AbstractUIPlugin
org.eclipse.imp.runtime.PluginBase
org.meta_environment.eclipse.Activator
public class Activator
| Nested Class Summary | |
|---|---|
private static class |
Activator.InstanceKeeper
|
| Field Summary | |
|---|---|
static java.lang.String |
PLUGIN_ID
|
| Fields inherited from class org.eclipse.imp.runtime.PluginBase |
|---|
fEmitInfoMessages, preferencesService |
| Fields inherited from class org.eclipse.core.runtime.Plugin |
|---|
PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME |
| Constructor Summary | |
|---|---|
Activator()
|
|
| Method Summary | |
|---|---|
void |
earlyStartup()
|
java.lang.String |
getID()
|
static Activator |
getInstance()
|
| Methods inherited from class org.eclipse.imp.runtime.PluginBase |
|---|
getPreferencesService, logException, maybeWriteInfoMsg, refreshPrefs, writeErrorMsg, writeInfoMsg |
| Methods inherited from class org.eclipse.ui.plugin.AbstractUIPlugin |
|---|
createImageRegistry, getDialogSettings, getImageRegistry, getPreferenceStore, getWorkbench, imageDescriptorFromPlugin, initializeDefaultPluginPreferences, initializeDefaultPreferences, initializeImageRegistry, loadDialogSettings, loadPreferenceStore, refreshPluginActions, saveDialogSettings, savePreferenceStore, shutdown, start, startup, stop |
| Methods inherited from class org.eclipse.core.runtime.Plugin |
|---|
find, find, getBundle, getDescriptor, getLog, getPluginPreferences, getStateLocation, internalInitializeDefaultPluginPreferences, isDebugging, openStream, openStream, savePluginPreferences, setDebugging, toString |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
public static final java.lang.String PLUGIN_ID
| Constructor Detail |
|---|
public Activator()
| Method Detail |
|---|
public static Activator getInstance()
public void earlyStartup()
earlyStartup in interface org.eclipse.ui.IStartuppublic java.lang.String getID()
getID in class org.eclipse.imp.runtime.PluginBase
|
The Meta-Environment API | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||