org.eclipse.emf.henshin.statespace
Class StateSpacePlugin

java.lang.Object
  org.eclipse.emf.common.util.DelegatingResourceLocator
      org.eclipse.emf.common.EMFPlugin
          org.eclipse.emf.henshin.statespace.StateSpacePlugin

All Implemented Interfaces:

Logger, ResourceLocator

public final class StateSpacePlugin
extends EMFPlugin

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

PLUGIN_ID

public static final String PLUGIN_ID

Plug-in ID.

See Also:

Constant Field Values

INSTANCE

public static final StateSpacePlugin INSTANCE

Keep track of the singleton.

Constructor Detail

StateSpacePlugin

public StateSpacePlugin()

Create the instance.

Method Detail

getValidators

public Map<String,Validator> getValidators()

Get the map of registered state and state space validators.

Returns:

Validator registry.

getExporters

public Map<String,StateSpaceExporter> getExporters()

Get the map of registered state space exporters.

Returns:

Exporter registry.

logError

public void logError(String message,
                     Throwable t)

Log an error.

Parameters:

message - Error message.

t - Exception.

logWarning

public void logWarning(String message)

Log a warning.

Parameters:

message - Warning message.

getPluginResourceLocator

public ResourceLocator getPluginResourceLocator()

Returns the singleton instance of the Eclipse plugin.

Specified by:

getPluginResourceLocator in class EMFPlugin

Returns:

the singleton instance.

getPlugin

public static StateSpacePlugin.Implementation getPlugin()

Returns the singleton instance of the Eclipse plugin.

Returns:

the singleton instance.