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