Class WorkspaceProperties

  extended by project35.desktopDeployment.WorkspaceFiles
      extended by project35.desktopDeployment.WorkspaceProperties

public class WorkspaceProperties
extends WorkspaceFiles

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. it extends WorkspaceFiles by accepting a properties file that can hold the same information. Used to initialise Project35Service class

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.

Kevin Garwood (

Field Summary
Fields inherited from class project35.desktopDeployment.WorkspaceFiles
documentDirectoryURL, fileExtensionsToLaunchURL, helpDirectoryURL, iconDirectoryURL, libraryDirectoryURL, mainConfigurationURL, modelDirectory, resourceDirectoryURL, schemaURL, sessionFile
Constructor Summary
WorkspaceProperties( workSpacePropertiesStream)
Method Summary
static void main(java.lang.String[] args)
Methods inherited from class project35.desktopDeployment.WorkspaceFiles
createFileDoesNotExistError, determineJARFileHelpDirectory, findHelpDirectory, findIconDirectory, getDocumentDirectory, getFileExtensionsToLaunchURL, getHelpDirectory, getLibraryDirectory, getMainConfigurationURL, getModelDirectory, getResourceDirectory, getSchema, getSessionFile, getURLFromFile, print, setModelDirectory, setSessionFile
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public WorkspaceProperties( workSpacePropertiesStream)
Method Detail


public static void main(java.lang.String[] args)