org.eclipse.ocl.pivot.util

Class PivotPlugin

java.lang.Object

org.eclipse.emf.common.util.DelegatingResourceLocator

org.eclipse.emf.common.EMFPlugin

org.eclipse.ocl.pivot.util.PivotPlugin

All Implemented Interfaces:

org.eclipse.emf.common.util.Logger, org.eclipse.emf.common.util.ResourceLocator

public final class PivotPlugin
extends org.eclipse.emf.common.EMFPlugin

This is the central singleton for the Pivot model plugin.

Generated

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PivotPlugin.Implementation The actual implementation of the Eclipse Plugin.

Nested classes/interfaces inherited from class org.eclipse.emf.common.EMFPlugin

org.eclipse.emf.common.EMFPlugin.EclipsePlugin, org.eclipse.emf.common.EMFPlugin.InternalEclipsePlugin, org.eclipse.emf.common.EMFPlugin.InternalHelper, org.eclipse.emf.common.EMFPlugin.OSGiDelegatingBundleActivator

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	AS_RESOURCE_FACTORY_PPID
static java.lang.String	COMPLETE_OCL_REGISTRY_PID
static java.lang.String	COMPLETE_OCL_REGISTRY_QPID
static PivotPlugin	INSTANCE Keep track of the singleton.
static java.lang.String	LABEL_GENERATOR_PPID
static java.lang.String	PLUGIN_ID
static java.lang.String	STANDARD_LIBRARY_PPID

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

Constructors

Constructor and Description
PivotPlugin() Create the instance.

Method Summary

Modifier and Type	Method and Description
static PivotPlugin.Implementation	getPlugin() Returns the singleton instance of the Eclipse plugin.
org.eclipse.emf.common.util.ResourceLocator	getPluginResourceLocator() Returns the singleton instance of the Eclipse plugin.
static void	logError(java.lang.String string, java.lang.Throwable e)

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

@NonNull
public static final java.lang.String PLUGIN_ID

See Also:

Constant Field Values

AS_RESOURCE_FACTORY_PPID

@NonNull
public static final java.lang.String AS_RESOURCE_FACTORY_PPID

See Also:

Constant Field Values

LABEL_GENERATOR_PPID

@NonNull
public static final java.lang.String LABEL_GENERATOR_PPID

See Also:

Constant Field Values

STANDARD_LIBRARY_PPID

@NonNull
public static final java.lang.String STANDARD_LIBRARY_PPID

See Also:

Constant Field Values

COMPLETE_OCL_REGISTRY_PID

@NonNull
public static final java.lang.String COMPLETE_OCL_REGISTRY_PID

See Also:

Constant Field Values

COMPLETE_OCL_REGISTRY_QPID

@NonNull
public static final java.lang.String COMPLETE_OCL_REGISTRY_QPID

See Also:

Constant Field Values

INSTANCE

public static final PivotPlugin INSTANCE

Keep track of the singleton.

Generated

Constructor Detail

PivotPlugin

public PivotPlugin()

Create the instance.

Generated

Method Detail

getPluginResourceLocator

public org.eclipse.emf.common.util.ResourceLocator getPluginResourceLocator()

Returns the singleton instance of the Eclipse plugin.

Specified by:

getPluginResourceLocator in class org.eclipse.emf.common.EMFPlugin

Returns:

the singleton instance.

Generated

getPlugin

public static PivotPlugin.Implementation getPlugin()

Returns the singleton instance of the Eclipse plugin.

Returns:

the singleton instance.

Generated

logError

public static void logError(java.lang.String string,
                            java.lang.Throwable e)