|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.emf.common.util.DelegatingResourceLocator org.eclipse.emf.common.EMFPlugin org.eclipse.emf.henshin.statespace.StateSpacePlugin
public final class StateSpacePlugin
The state space plug-in implementation.
Nested Class Summary | |
---|---|
static class |
StateSpacePlugin.Implementation
The actual implementation of the Eclipse Plugin. |
Nested classes/interfaces inherited from class org.eclipse.emf.common.EMFPlugin |
---|
EMFPlugin.EclipsePlugin, EMFPlugin.InternalEclipsePlugin, EMFPlugin.InternalHelper |
Field Summary | |
---|---|
static StateSpacePlugin |
INSTANCE
Keep track of the singleton. |
static String |
PLUGIN_ID
Plug-in ID. |
Fields inherited from class org.eclipse.emf.common.EMFPlugin |
---|
delegateResourceLocators, IS_ECLIPSE_RUNNING, IS_RESOURCES_BUNDLE_AVAILABLE |
Fields inherited from class org.eclipse.emf.common.util.DelegatingResourceLocator |
---|
baseURL, images, resourceBundle, shouldTranslate, strings, untranslatedResourceBundle, untranslatedStrings |
Constructor Summary | |
---|---|
StateSpacePlugin()
Create the instance. |
Method Summary | |
---|---|
Map<String,StateSpaceExporter> |
getExporters()
Get the map of registered state space exporters. |
static StateSpacePlugin.Implementation |
getPlugin()
Returns the singleton instance of the Eclipse plugin. |
ResourceLocator |
getPluginResourceLocator()
Returns the singleton instance of the Eclipse plugin. |
Map<String,Validator> |
getValidators()
Get the map of registered state and state space validators. |
void |
logError(String message,
Throwable t)
Log an error. |
void |
logWarning(String message)
Log a warning. |
Methods inherited from class org.eclipse.emf.common.EMFPlugin |
---|
getDelegateResourceLocators, getPluginLogger, getPrimaryResourceLocator, getSymbolicName, log, main |
Methods inherited from class org.eclipse.emf.common.util.DelegatingResourceLocator |
---|
delegatedGetImage, delegatedGetString, doGetImage, doGetString, extensionFor, getBaseURL, getImage, getString, getString, getString, getString, setShouldTranslate, shouldTranslate |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.eclipse.emf.common.util.ResourceLocator |
---|
getBaseURL, getImage, getString, getString, getString, getString |
Field Detail |
---|
public static final String PLUGIN_ID
public static final StateSpacePlugin INSTANCE
Constructor Detail |
---|
public StateSpacePlugin()
Method Detail |
---|
public Map<String,Validator> getValidators()
public Map<String,StateSpaceExporter> getExporters()
public void logError(String message, Throwable t)
message
- Error message.t
- Exception.public void logWarning(String message)
message
- Warning message.public ResourceLocator getPluginResourceLocator()
getPluginResourceLocator
in class EMFPlugin
public static StateSpacePlugin.Implementation getPlugin()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |