|
TPTP 4.1.0 Testing Tools Project Public API Specification |
||||||||||
| 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.hyades.execution.testgen.TestgenPlugin
The main Testgen plugin
| Field Summary | |
|---|---|
static java.lang.String |
ID
Deprecated. |
static java.lang.String |
TEST_GENERATOR
Deprecated. preference store keys |
| Fields inherited from class org.eclipse.core.runtime.Plugin |
|---|
PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME |
| Constructor Summary | |
|---|---|
TestgenPlugin()
Deprecated. The constructor. |
|
| Method Summary | |
|---|---|
static TestgenPlugin |
getDefault()
Deprecated. Returns the shared instance. |
java.lang.String |
getDefaultGeneratorID()
Deprecated. |
static java.lang.String |
getPreference(java.lang.String key)
Deprecated. acquires a reference to a plugin preference specified by "key" |
java.util.ResourceBundle |
getResourceBundle()
Deprecated. Returns the plugin's resource bundle, |
static java.lang.String |
getResourceString(java.lang.String key)
Deprecated. Returns the string from the plugin's resource bundle, or 'key' if not found. |
static org.eclipse.core.resources.IWorkspace |
getWorkspace()
Deprecated. Returns the workspace instance. |
protected void |
initializeDefaultPreferences(org.eclipse.jface.preference.IPreferenceStore store)
Deprecated. |
| Methods inherited from class org.eclipse.ui.plugin.AbstractUIPlugin |
|---|
createImageRegistry, getDialogSettings, getImageRegistry, getPreferenceStore, getWorkbench, imageDescriptorFromPlugin, initializeDefaultPluginPreferences, 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 TEST_GENERATOR
public static final java.lang.String ID
| Constructor Detail |
public TestgenPlugin()
| Method Detail |
public static TestgenPlugin getDefault()
public static org.eclipse.core.resources.IWorkspace getWorkspace()
public static java.lang.String getResourceString(java.lang.String key)
public java.util.ResourceBundle getResourceBundle()
public static java.lang.String getPreference(java.lang.String key)
key -
protected void initializeDefaultPreferences(org.eclipse.jface.preference.IPreferenceStore store)
AbstractUIPlugin.initializeDefaultPreferences(org.eclipse.jface.preference.IPreferenceStore)public java.lang.String getDefaultGeneratorID()
|
TPTP 4.1.0 Testing Tools Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||