project35.desktopDeployment
Class WorkspaceProperties

java.lang.Object
  project35.desktopDeployment.WorkspaceFiles
      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.

Version:

1.0

Author:

Kevin Garwood (kgarwood@users.sourceforge.net)

Field Summary

Fields inherited from class project35.desktopDeployment.WorkspaceFiles

documentDirectoryURL, fileExtensionsToLaunchURL, helpDirectoryURL, iconDirectoryURL, libraryDirectoryURL, mainConfigurationURL, modelDirectory, resourceDirectoryURL, schemaURL, sessionFile

Constructor Summary

WorkspaceProperties(java.io.InputStream 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

WorkspaceProperties

public WorkspaceProperties(java.io.InputStream workSpacePropertiesStream)
                    throws java.io.IOException,
                           Project35Exception

Throws:

java.io.IOException

Project35Exception

Method Detail

main

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