project35.desktopDeployment
Class Workspace
java.lang.Object
project35.desktopDeployment.Workspace
public class Workspace
- extends java.lang.Object
This is a container class meant to hold all the state information
needed to support launching a project35 session with a given model.
It was developed to help make Project35 depend less on static variables
Copyright (c) 2008 Kevin Garwood for Project35. The original code was
developed by Kevin Garwood for the University of Manchester. Revisions
have been made for Project35, a project that is independent of that
institution. This code is licensed under the Academic Free License
version 3.0. The code attribution for the original code is included here:
Copyright (c) Kevin Garwood and University of Manchester 2007.
All rights reserved. Licensed under the Academic Free License
version 3.0. For more information on the terms and conditions,
please see the file "LICENSE" that is included in this distribution.
- Version:
- 1.0
- Author:
- Kevin Garwood (kgarwood@users.sourceforge.net)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
mainConfigurationURL
protected java.net.URL mainConfigurationURL
fileExtensionsToLaunchURL
protected java.net.URL fileExtensionsToLaunchURL
resourceDirectoryURL
protected java.net.URL resourceDirectoryURL
libraryDirectoryURL
protected java.net.URL libraryDirectoryURL
documentDirectoryURL
protected java.net.URL documentDirectoryURL
helpDirectoryURL
protected java.net.URL helpDirectoryURL
plugins
protected java.util.ArrayList plugins
project35ApplicationContext
protected Project35ApplicationContext project35ApplicationContext
securityService
protected SecurityService securityService
user
protected User user
validationServiceRegistry
protected ValidationServiceRegistry validationServiceRegistry
locale
protected java.util.Locale locale
Workspace
public Workspace(Project35ApplicationContext project35ApplicationContext)
Workspace
public Workspace()
getProject35ApplicationContext
public Project35ApplicationContext getProject35ApplicationContext()
getProject35FormContext
public Project35FormContext getProject35FormContext()
getValidationServiceRegistry
public ValidationServiceRegistry getValidationServiceRegistry()
getWorkSpaceFiles
public WorkspaceFiles getWorkSpaceFiles()
createWorkSpace
public static Workspace createWorkSpace(Startup startup)
getPlugins
public java.util.ArrayList getPlugins()
getPluginFactory
public PluginFactory getPluginFactory()
getRecordModelFactory
public RecordModelFactory getRecordModelFactory()
getRecordViewFactory
public RecordViewFactory getRecordViewFactory()
getWindowRegistry
public WindowRegistry getWindowRegistry()
getModelDirectory
public java.io.File getModelDirectory()
getIDGeneratorServiceFactory
public IDGeneratorServiceFactory getIDGeneratorServiceFactory()
getConfigurationReader
public Project35ConfigurationReader getConfigurationReader()
getSessionManager
public SessionManager getSessionManager()
getUserInterfaceFactory
public Project35UIFactory getUserInterfaceFactory()
getResourceDirectory
public java.net.URL getResourceDirectory()
getDocumentDirectory
public java.net.URL getDocumentDirectory()
getHelpDirectory
public java.net.URL getHelpDirectory()
getLibraryDirectory
public java.net.URL getLibraryDirectory()
getMainConfigurationURL
public java.net.URL getMainConfigurationURL()
getSessionFile
public java.io.File getSessionFile()
getFileExtensionsToLaunchURL
public java.net.URL getFileExtensionsToLaunchURL()
getSchema
public java.net.URL getSchema()
getLocale
public java.util.Locale getLocale()
setPlugins
public void setPlugins(java.util.ArrayList plugins)
setWorkSpaceFiles
public void setWorkSpaceFiles(WorkspaceFiles workSpaceFiles)
setRecordModelFactory
public void setRecordModelFactory(RecordModelFactory recordModelFactory)
setRecordViewFactory
public void setRecordViewFactory(RecordViewFactory recordViewFactory)
setModelDirectory
public void setModelDirectory(java.io.File modelDirectory)
setWindowRegistry
public void setWindowRegistry(WindowRegistry windowRegistry)
setConfigurationReader
public void setConfigurationReader(Project35ConfigurationReader configurationReader)
setUserInterfaceFactory
public void setUserInterfaceFactory(Project35UIFactory project35UIFactory)
setIDGeneratorServiceFactory
public void setIDGeneratorServiceFactory(IDGeneratorServiceFactory idGeneratorServiceFactory)