org.eclipse.ocl.examples.modelregistry.standalone
Class ModelFileResolver

java.lang.Object
  org.eclipse.ocl.examples.modelregistry.environment.AbstractModelResolver
      org.eclipse.ocl.examples.modelregistry.standalone.ModelFileResolver

All Implemented Interfaces:

ModelResolver

public class ModelFileResolver
extends AbstractModelResolver

ModelFileResolver supports use of the ModelRegistry in a standalone application using just java.io.File as the handle on the physical model storage medium.

Constructor Summary

ModelFileResolver(JavaProjectHandle projectHandle, java.io.File file)

ModelFileResolver(JavaProjectHandle projectHandle, java.lang.String file)

Method Summary

static JavaFileHandle	createFileHandle(JavaProjectHandle projectHandle, java.io.File file)
static JavaProjectHandle	createProjectHandle(java.io.File file)
static JavaProjectHandle	createProjectHandle(java.io.File file, java.lang.String registryPath)

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

createResourceSet, getEcoreResource, getHandle, getPackagesToRegister, getProjectRegistry, getRegistration, getRegistration, getRegistration, getRegistrations, getResource, getResource, getResourceSet, getURI, getURI, getURI, initialiseResourceFactoryRegistry, initialiseResourceSet, setResourceSet, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

ModelFileResolver

public ModelFileResolver(JavaProjectHandle projectHandle,
                         java.io.File file)
                  throws java.io.IOException

Throws:

java.io.IOException

ModelFileResolver

public ModelFileResolver(JavaProjectHandle projectHandle,
                         java.lang.String file)
                  throws java.io.IOException

Throws:

java.io.IOException

Method Detail

createProjectHandle

public static JavaProjectHandle createProjectHandle(java.io.File file)
                                             throws java.io.IOException

Throws:

java.io.IOException

createProjectHandle

public static JavaProjectHandle createProjectHandle(java.io.File file,
                                                    java.lang.String registryPath)
                                             throws java.io.IOException

Throws:

java.io.IOException

createFileHandle

public static JavaFileHandle createFileHandle(JavaProjectHandle projectHandle,
                                              java.io.File file)
                                       throws java.io.IOException

Throws:

java.io.IOException