Module platform

Package de.grogra.pf.ui

Interface WorkbenchManager

All Superinterfaces:

RegistryContext

All Known Implementing Classes:

APIWorkbenchManager, CLIWorkbenchManager, IMP

public interface WorkbenchManager
extends RegistryContext

Method Summary

Modifier and Type	Method	Description
void	closeWorkbench(ProjectWorkbench w)	Dispose a workbench - should be deregistered first
void	closeWorkbench(ProjectWorkbench w, Command afterDispose)	Dispose a workbench - should be deregistered first Execute the afterDispose command (usually a popup for saving)
ProjectWorkbench	createWorkbench(ProjectFactory pf)	Create a new workbench around a new empty project
ProjectWorkbench	createWorkbench(ProjectFactory pf, FilterSource fs, Map initParams)	Create a new Workbench around the Project loaded from the FilterSource The project is created in the context of the worbench manager, which is included in the context of the uiapp
ProjectWorkbench	createWorkbench(Object projectId)	Create a new workbench around the Project of the given id
void	deregisterWorkbench(ProjectWorkbench w)	deregister a workbench to this manager
ProjectWorkbench	getWorkbench(Object id)	return the workbench of given id * @param the id of the workbench to select
ArrayList<Workbench>	getWorkbenches()	return the object workbenches
Object	getWorkbenchId(ProjectWorkbench wb)	Returning the ID of a workbench
boolean	isManager(ProjectWorkbench w)	Check if the workbench is managed by this manager
HashMap<Integer,Workbench>	listWorkbenches()	Return the list of workbench handled by the manager
void	registerWorkbench(ProjectWorkbench w)	Register a workbench to this manager

Methods inherited from interface de.grogra.pf.registry.RegistryContext

getRegistry

Method Details

getWorkbench

ProjectWorkbench getWorkbench(Object id)
                       throws IndexOutOfBoundsException

return the workbench of given id * @param the id of the workbench to select

Returns:

Throws:

IndexOutOfBoundsException

getWorkbenches

ArrayList<Workbench> getWorkbenches()

return the object workbenches

listWorkbenches

HashMap<Integer,Workbench> listWorkbenches()

Return the list of workbench handled by the manager

Returns:

a list of Workbench (shouldn't this return Workbench[]? and an array?)

getWorkbenchId

Object getWorkbenchId(ProjectWorkbench wb)

Returning the ID of a workbench

Parameters:

wb -

Returns:

registerWorkbench

void registerWorkbench(ProjectWorkbench w)

Register a workbench to this manager

deregisterWorkbench

void deregisterWorkbench(ProjectWorkbench w)

deregister a workbench to this manager

closeWorkbench

void closeWorkbench(ProjectWorkbench w)

Dispose a workbench - should be deregistered first

closeWorkbench

void closeWorkbench(ProjectWorkbench w,
 Command afterDispose)

Dispose a workbench - should be deregistered first Execute the afterDispose command (usually a popup for saving)

isManager

boolean isManager(ProjectWorkbench w)

Check if the workbench is managed by this manager

Parameters:

w -

Returns:

createWorkbench

ProjectWorkbench createWorkbench(ProjectFactory pf,
 FilterSource fs,
 Map initParams)

Create a new Workbench around the Project loaded from the FilterSource The project is created in the context of the worbench manager, which is included in the context of the uiapp

createWorkbench

ProjectWorkbench createWorkbench(ProjectFactory pf)
                          throws IOException

Create a new workbench around a new empty project

Returns:

Throws:

IOException

createWorkbench

ProjectWorkbench createWorkbench(Object projectId)

Create a new workbench around the Project of the given id

Returns: