|
TPTP 4.4.0 Platform 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.tptp.platform.analysis.core.AnalysisCorePlugin
The main plugin class to be used in the desktop.
| Field Summary |
|---|
| Fields inherited from class org.eclipse.core.runtime.Plugin |
|---|
PLUGIN_PREFERENCE_SCOPE, PREFERENCES_DEFAULT_OVERRIDE_BASE_NAME, PREFERENCES_DEFAULT_OVERRIDE_FILE_NAME |
| Constructor Summary | |
|---|---|
AnalysisCorePlugin()
The constructor. |
|
| Method Summary | |
|---|---|
static java.lang.String |
encodeForXML(java.lang.String input)
This utility method accepts a string and returns an equivalent string compliant with XML parsers |
static AnalysisCorePlugin |
getDefault()
|
static java.net.URL |
getImageUrl(java.lang.String pluginId,
java.lang.String filename)
Obtain a URL for the pecified image |
static java.lang.String |
getPluginId()
Retrieves the unique identifier of this plug-in. |
static java.lang.String |
replace(java.lang.String input,
java.lang.String searchFor,
java.lang.String replaceWith)
This method replaces all instance of the searchFor string within the input string with a repaceWith string. |
static java.lang.String |
replace(java.lang.String input,
java.lang.String searchFor,
java.lang.String replaceWith,
int startPos)
This method replaces all instance of the searchFor string within the input string with a repaceWith string. |
| Methods inherited from class org.eclipse.core.runtime.Plugin |
|---|
find, find, getBundle, getDescriptor, getLog, getPluginPreferences, getStateLocation, initializeDefaultPluginPreferences, internalInitializeDefaultPluginPreferences, isDebugging, openStream, openStream, savePluginPreferences, setDebugging, shutdown, start, startup, stop, toString |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
public AnalysisCorePlugin()
| Method Detail |
public static AnalysisCorePlugin getDefault()
public static java.lang.String getPluginId()
public static java.net.URL getImageUrl(java.lang.String pluginId,
java.lang.String filename)
pluginId - The id of the plugin that owns the image resourcefilename - The relative file path to the image
public static java.lang.String encodeForXML(java.lang.String input)
input - The raw input string
public static java.lang.String replace(java.lang.String input,
java.lang.String searchFor,
java.lang.String replaceWith,
int startPos)
input - The input string contain replacement tokenssearchFor - The string token being replacedreplaceWith - The string to replace tokens withstartPos - The starting position within the input string
public static java.lang.String replace(java.lang.String input,
java.lang.String searchFor,
java.lang.String replaceWith)
input - The input string contain replacement tokenssearchFor - The string token being replacedreplaceWith - The string to replace tokens with
|
TPTP 4.4.0 Platform Project Public API Specification |
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||