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 (firstname.lastname@example.org)
|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
public WorkspaceProperties(java.io.InputStream workSpacePropertiesStream)
public static void main(java.lang.String args)