|
||||||||||
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.maude.MaudeInterfacePlugin
public class MaudeInterfacePlugin
This activator class controls the life cycle of the MaudeInterfacePlugin. It also provides the access to the one and only instance of this class and hence a way to access the maude interface thread.
Field Summary | |
---|---|
static String |
PLUGIN_ID
|
Fields inherited from class org.eclipse.core.runtime.Plugin |
---|
PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME |
Constructor Summary | |
---|---|
MaudeInterfacePlugin()
The constructor |
Method Summary | |
---|---|
boolean |
closeMaudeSession(int maudeSessionId)
Closes a maude session and removes all links to it. |
int |
createMaudeSession(String pathToMaudeParam,
String pathToMaudeCodeParam)
Creates a new maude session. |
static MaudeInterfacePlugin |
getDefault()
Returns the shared instance of the Maude Interface plug-in. |
String |
queryMaude(String queryRequest,
int maudeSessionId)
Query maude with a string returning a string for a given maude session id. |
String |
queryMaude(String queryRequest,
int wait,
int maudeSessionId)
Query maude with a string returning a string for a given maude session id. |
void |
start(org.osgi.framework.BundleContext context)
|
void |
startMaudeSession(int maudeSessionId)
Starts a maude session. |
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
Constructor Detail |
---|
public MaudeInterfacePlugin()
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 MaudeInterfacePlugin getDefault()
public int createMaudeSession(String pathToMaudeParam, String pathToMaudeCodeParam)
pathToMaudeParam
- the path to maude.exepathToMaudeCodeParam
- the path to the maude code
public boolean closeMaudeSession(int maudeSessionId)
maudeSessionId
- the maude session id
public String queryMaude(String queryRequest, int wait, int maudeSessionId) throws Exception
queryRequest
- the query requestwait
- the wait in millisecondsmaudeSessionId
- the maude session id
Exception
- the exceptionpublic String queryMaude(String queryRequest, int maudeSessionId) throws Exception
queryRequest
- the query requestmaudeSessionId
- the maude session id
Exception
- the exceptionpublic void startMaudeSession(int maudeSessionId) throws Exception
maudeSessionId
- the maude session id
Exception
- the exception
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |