project35.desktopDeployment
Class WorkspaceFiles

java.lang.Object
  project35.desktopDeployment.WorkspaceFiles

Direct Known Subclasses:

WorkspaceFileFinder, WorkspaceProperties

public class WorkspaceFiles
extends 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 URL	documentDirectoryURL
protected URL	fileExtensionsToLaunchURL
protected URL	helpDirectoryURL
protected URL	iconDirectoryURL
protected URL	libraryDirectoryURL
protected URL	mainConfigurationURL
protected File	modelDirectory
protected URL	resourceDirectoryURL
protected URL	schemaURL
protected File	sessionFile

Constructor Summary

WorkspaceFiles()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

schemaURL

protected URL schemaURL

mainConfigurationURL

protected URL mainConfigurationURL

fileExtensionsToLaunchURL

protected URL fileExtensionsToLaunchURL

sessionFile

protected File sessionFile

resourceDirectoryURL

protected URL resourceDirectoryURL

libraryDirectoryURL

protected URL libraryDirectoryURL

documentDirectoryURL

protected URL documentDirectoryURL

helpDirectoryURL

protected URL helpDirectoryURL

iconDirectoryURL

protected URL iconDirectoryURL

modelDirectory

protected File modelDirectory

Constructor Detail

WorkspaceFiles

public WorkspaceFiles()

Method Detail

createFileDoesNotExistError

protected Project35Exception createFileDoesNotExistError(String fileVariable,
                                                         String fileValue)

findHelpDirectory

protected void findHelpDirectory()

determineJARFileHelpDirectory

public URL determineJARFileHelpDirectory()

findIconDirectory

protected void findIconDirectory()

getMainConfigurationURL

public URL getMainConfigurationURL()

getModelDirectory

public File getModelDirectory()

getSessionFile

public File getSessionFile()

getFileExtensionsToLaunchURL

public URL getFileExtensionsToLaunchURL()

getHelpDirectory

public URL getHelpDirectory()

getSchema

public URL getSchema()

print

public void print()

getResourceDirectory

public URL getResourceDirectory()

getDocumentDirectory

public URL getDocumentDirectory()

getLibraryDirectory

public URL getLibraryDirectory()

getURLFromFile

protected URL getURLFromFile(File file,
                             String fileDescription)
                      throws Project35Exception

Throws:

Project35Exception

setSessionFile

public void setSessionFile(File sessionFile)

setModelDirectory

public void setModelDirectory(File modelDirectory)