|
||||||||||
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.KiemAutomatedPlugin
public class KiemAutomatedPlugin
The activator class controls the plug-in life cycle.
Field Summary | |
---|---|
static int |
AUTO_TIMEOUT_DEFAULT
the default value for the automation timeout. |
static String |
AUTO_TIMEOUT_ID
the timeout for the automation. |
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 | |
---|---|
KiemAutomatedPlugin()
The constructor. |
Method Summary | |
---|---|
static void |
addErrorListener(GenericErrorHandler.StatusListener listener)
Add a new listener to the generic error handler. |
static KiemAutomatedPlugin |
getDefault()
Returns the shared instance. |
static GenericErrorHandler |
getErrorHandler()
Getter for KIELERs generic error handler. |
static Execution |
getKiemExecution()
Getter for the execution inside the KIEM. |
static List<IAutomationListener> |
getListeners()
Get the list of listeners on the extension point. |
String |
load(String key,
String defaultValue)
Load a value from the Eclipse Preference Store. |
void |
remove(String key)
Remove everything saved under this node. |
static void |
removeErrorListener(GenericErrorHandler.StatusListener listener)
Remove a listener from the generic error handler. |
void |
save(String key,
String value)
Save a key,value pair to the Eclipse Preference Store. |
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 PLUGIN_ID
public static final String VIEW_ID
public static final String AUTO_TIMEOUT_ID
public static final int AUTO_TIMEOUT_DEFAULT
Constructor Detail |
---|
public KiemAutomatedPlugin()
Method Detail |
---|
public static KiemAutomatedPlugin getDefault()
public static Execution getKiemExecution()
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 String load(String key, String defaultValue)
key
- the key of the value to loaddefaultValue
- the default value for the property
public void remove(String key)
key
- the key to removepublic void save(String key, String value)
key
- the key under which to savevalue
- the value to savepublic static GenericErrorHandler getErrorHandler()
public static void addErrorListener(GenericErrorHandler.StatusListener listener)
listener
- the new listenerpublic static void removeErrorListener(GenericErrorHandler.StatusListener listener)
listener
- the new listenerpublic static List<IAutomationListener> getListeners()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |