org.eclipse.ocl.examples.modelregistry.eclipse
Class EclipseModelRegistryEnvironment

java.lang.Object
  org.eclipse.ocl.examples.modelregistry.environment.ModelRegistryEnvironment
      org.eclipse.ocl.examples.modelregistry.eclipse.EclipseModelRegistryEnvironment

public class EclipseModelRegistryEnvironment
extends ModelRegistryEnvironment

Field Summary

static java.lang.String	EXTENSION_POINT_NAMESPACE
static java.lang.String	MODEL_SERIALIZATION_PPID
static java.lang.String	NAMESPACE_PPID

Fields inherited from class org.eclipse.ocl.examples.modelregistry.environment.ModelRegistryEnvironment

PLUGIN_ID

Constructor Summary

EclipseModelRegistryEnvironment()

Method Summary

java.io.File	getFile(org.eclipse.emf.common.util.URI uri) Return a File to access the URI, or null if the URI cannot be resolved to a file protocol.
protected void	initializeModelSerializationRegistry(ModelSerializationRegistry modelSerializationRegistry) Install any required content in the ModelSerializationRegistry.
protected void	initializeNamespaceRegistry(NamespaceRegistry namespaceRegistry) Install any required content in the NamespaceRegistry.
void	logException(java.lang.Throwable e, boolean showErrorDialog)
void	logTheError(java.lang.String string, java.lang.Throwable e)
org.eclipse.core.runtime.CoreException	newError(java.lang.String text, java.lang.Throwable exception) Return a CoreException with Error severity containing a text description and optionally wrapping a further exception.

Methods inherited from class org.eclipse.ocl.examples.modelregistry.environment.ModelRegistryEnvironment

createModelSerializationRegistry, createNamespaceRegistry, getInstance, getModelSerializationRegistry, getNamespaceRegistry, logError

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EXTENSION_POINT_NAMESPACE

public static final java.lang.String EXTENSION_POINT_NAMESPACE

See Also:

Constant Field Values

NAMESPACE_PPID

public static final java.lang.String NAMESPACE_PPID

See Also:

Constant Field Values

MODEL_SERIALIZATION_PPID

public static final java.lang.String MODEL_SERIALIZATION_PPID

See Also:

Constant Field Values

Constructor Detail

EclipseModelRegistryEnvironment

public EclipseModelRegistryEnvironment()

Method Detail

getFile

public java.io.File getFile(org.eclipse.emf.common.util.URI uri)
                     throws java.net.URISyntaxException,
                            java.io.IOException

Return a File to access the URI, or null if the URI cannot be resolved to a file protocol.

Overrides:

getFile in class ModelRegistryEnvironment

Returns:

the File

Throws:

java.net.URISyntaxException - if the URI syntax is bad

java.io.IOException - if URL resolution fails

initializeNamespaceRegistry

protected void initializeNamespaceRegistry(NamespaceRegistry namespaceRegistry)

Description copied from class: ModelRegistryEnvironment

Install any required content in the NamespaceRegistry.

Specified by:

initializeNamespaceRegistry in class ModelRegistryEnvironment

initializeModelSerializationRegistry

protected void initializeModelSerializationRegistry(ModelSerializationRegistry modelSerializationRegistry)

Description copied from class: ModelRegistryEnvironment

Install any required content in the ModelSerializationRegistry.

Specified by:

initializeModelSerializationRegistry in class ModelRegistryEnvironment

logTheError

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

Specified by:

logTheError in class ModelRegistryEnvironment

logException

public void logException(java.lang.Throwable e,
                         boolean showErrorDialog)

newError

public org.eclipse.core.runtime.CoreException newError(java.lang.String text,
                                                       java.lang.Throwable exception)

Return a CoreException with Error severity containing a text description and optionally wrapping a further exception.

Parameters:

text - description of exception

exception - optional wrapped exception