project35.desktopDeployment
Class WorkspaceFiles

java.lang.Object
  project35.desktopDeployment.WorkspaceFiles

Direct Known Subclasses:

WorkspaceFileFinder, WorkspaceProperties

public class WorkspaceFiles
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)

Field Summary

protected java.net.URL	documentDirectoryURL
protected java.net.URL	fileExtensionsToLaunchURL
protected java.net.URL	helpDirectoryURL
protected java.net.URL	iconDirectoryURL
protected java.net.URL	libraryDirectoryURL
protected java.net.URL	mainConfigurationURL
protected java.io.File	modelDirectory
protected java.net.URL	resourceDirectoryURL
protected java.net.URL	schemaURL
protected java.io.File	sessionFile

Constructor Summary

WorkspaceFiles()

Method Summary

protected Project35Exception	createFileDoesNotExistError(java.lang.String fileVariable, java.lang.String fileValue)
java.net.URL	determineJARFileHelpDirectory()
protected void	findHelpDirectory()
protected void	findIconDirectory()
java.net.URL	getDocumentDirectory()
java.net.URL	getFileExtensionsToLaunchURL()
java.net.URL	getHelpDirectory()
java.net.URL	getLibraryDirectory()
java.net.URL	getMainConfigurationURL()
java.io.File	getModelDirectory()
java.net.URL	getResourceDirectory()
java.net.URL	getSchema()
java.io.File	getSessionFile()
protected java.net.URL	getURLFromFile(java.io.File file, java.lang.String fileDescription)
void	print()
void	setModelDirectory(java.io.File modelDirectory)
void	setSessionFile(java.io.File sessionFile)

Methods inherited from class java.lang.Object

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

Field Detail

schemaURL

protected java.net.URL schemaURL

mainConfigurationURL

protected java.net.URL mainConfigurationURL

fileExtensionsToLaunchURL

protected java.net.URL fileExtensionsToLaunchURL

sessionFile

protected java.io.File sessionFile

resourceDirectoryURL

protected java.net.URL resourceDirectoryURL

libraryDirectoryURL

protected java.net.URL libraryDirectoryURL

documentDirectoryURL

protected java.net.URL documentDirectoryURL

helpDirectoryURL

protected java.net.URL helpDirectoryURL

iconDirectoryURL

protected java.net.URL iconDirectoryURL

modelDirectory

protected java.io.File modelDirectory

Constructor Detail

WorkspaceFiles

public WorkspaceFiles()

Method Detail

createFileDoesNotExistError

protected Project35Exception createFileDoesNotExistError(java.lang.String fileVariable,
                                                         java.lang.String fileValue)

findHelpDirectory

protected void findHelpDirectory()

determineJARFileHelpDirectory

public java.net.URL determineJARFileHelpDirectory()

findIconDirectory

protected void findIconDirectory()

getMainConfigurationURL

public java.net.URL getMainConfigurationURL()

getModelDirectory

public java.io.File getModelDirectory()

getSessionFile

public java.io.File getSessionFile()

getFileExtensionsToLaunchURL

public java.net.URL getFileExtensionsToLaunchURL()

getHelpDirectory

public java.net.URL getHelpDirectory()

getSchema

public java.net.URL getSchema()

print

public void print()

getResourceDirectory

public java.net.URL getResourceDirectory()

getDocumentDirectory

public java.net.URL getDocumentDirectory()

getLibraryDirectory

public java.net.URL getLibraryDirectory()

getURLFromFile

protected java.net.URL getURLFromFile(java.io.File file,
                                      java.lang.String fileDescription)
                               throws Project35Exception

Throws:

Project35Exception

setSessionFile

public void setSessionFile(java.io.File sessionFile)

setModelDirectory

public void setModelDirectory(java.io.File modelDirectory)