|
||||||||||
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
de.cau.cs.kieler.sim.kiem.automated.ui.KiemAutoUIPlugin
public class KiemAutoUIPlugin
The activator class controls the plug-in life cycle.
Field Summary | |
---|---|
static String |
PLUGIN_ID
The plug-in ID. |
static String |
VIEW_ID
the id of the view for displaying results. |
Fields inherited from class org.eclipse.core.runtime.Plugin |
---|
PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME |
Constructor Summary | |
---|---|
KiemAutoUIPlugin()
The constructor. |
Method Summary | |
---|---|
static IWorkbenchPage |
getActivePage()
Getter for the currently active page. |
static Image |
getAutoImage()
Getter for the image for this plug-in. |
static ImageDescriptor |
getAutoImageDescriptor()
Getter for the imageDescriptor for this plug-in. |
static AutomatedEvalView |
getAutomatedEvalView()
Getter for the AutomatedEvalView. |
static Image |
getCreatedImage()
Getter for the image for created iterations. |
static KiemAutoUIPlugin |
getDefault()
Returns the shared instance. |
static Display |
getDisplay()
Getter for the display of the active workbench. |
static Image |
getFalseImage()
Getter for the image for displaying a false state. |
static Image |
getRunningImage()
Getter for the image for running iterations. |
static Shell |
getShell()
Getter for the main shell of the active workbench. |
static Image |
getTrueImage()
Getter for the image for displaying a true state. |
static Image |
getWarningImage()
Getter for the image for warnings. |
void |
start(org.osgi.framework.BundleContext context)
|
void |
stop(org.osgi.framework.BundleContext context)
|
Methods inherited from class org.eclipse.ui.plugin.AbstractUIPlugin |
---|
createImageRegistry, getDialogSettings, getImageRegistry, getPreferenceStore, getWorkbench, imageDescriptorFromPlugin, initializeDefaultPluginPreferences, initializeDefaultPreferences, initializeImageRegistry, loadDialogSettings, loadPreferenceStore, refreshPluginActions, saveDialogSettings, savePreferenceStore, shutdown, startup |
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 String VIEW_ID
public static final String PLUGIN_ID
Constructor Detail |
---|
public KiemAutoUIPlugin()
Method Detail |
---|
public void start(org.osgi.framework.BundleContext context) throws Exception
start
in interface org.osgi.framework.BundleActivator
start
in class AbstractUIPlugin
Exception
public void stop(org.osgi.framework.BundleContext context) throws Exception
stop
in interface org.osgi.framework.BundleActivator
stop
in class AbstractUIPlugin
Exception
public static KiemAutoUIPlugin getDefault()
public static IWorkbenchPage getActivePage()
public static AutomatedEvalView getAutomatedEvalView()
public static Display getDisplay()
public static Shell getShell()
public static ImageDescriptor getAutoImageDescriptor()
public static Image getAutoImage()
public static Image getTrueImage()
public static Image getFalseImage()
public static Image getCreatedImage()
public static Image getRunningImage()
public static Image getWarningImage()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |