Uses of Class
gui.workSpace.WorkspaceManager

Packages that use WorkspaceManager
data.exporters   
gui   
gui.myClasses   
gui.workSpace   
 

Uses of WorkspaceManager in data.exporters
 

Methods in data.exporters with parameters of type WorkspaceManager
static java.lang.String ExporterTXT.getTXT(WorkspaceManager wm)
          Generates the report.
private static java.lang.String ExporterTXT.replaceVars(WorkspaceManager mg, java.io.File template)
          Given the template file and the WorkspaceManager, this method replaces the variables in the template with his concrete values for the WorspaceManager
static java.io.File ExporterTXT.writeTXT(WorkspaceManager wm)
          Creates a temporal file containing the report.
 

Uses of WorkspaceManager in gui
 

Fields in gui declared as WorkspaceManager
(package private)  WorkspaceManager MainBar.wsm
           
 

Uses of WorkspaceManager in gui.myClasses
 

Constructors in gui.myClasses with parameters of type WorkspaceManager
EventDoneTest(WorkspaceManager source)
           
 

Uses of WorkspaceManager in gui.workSpace
 

Fields in gui.workSpace declared as WorkspaceManager
 WorkspaceManager PanelWSMain.wsMan