|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |