public class WorkbenchLogic
extends java.lang.Object
| Constructor and Description |
|---|
WorkbenchLogic(WorkbenchApp workbench) |
| Modifier and Type | Method and Description |
|---|---|
void |
exit() |
WorkbenchCommandLogic |
getCommandLogic() |
WorkbenchCompatibilityLogic |
getCompatibilityLogic() |
WorkbenchConsoleLogic |
getConsoleLogic() |
WorkbenchFileLogic |
getFileLogic() |
WorkbenchHelpLogic |
getHelpLogic() |
WorkbenchHotkeyLogic |
getHotkeyLogic() |
WorkbenchMapAppLogic |
getMapAppLogic() |
WorkbenchMapSetLogic |
getMapSetLogic() |
WorkbenchMapSpaceLogic |
getMapSpaceLogic() |
WorkbenchMapViewerLogic |
getMapViewerLogic() |
WorkbenchModuleLogic |
getModuleLogic() |
WorkbenchNavigationLogic |
getNavigationLogic() |
WorkbenchPromptLogic |
getPromptLogic() |
WorkbenchRemoteSupportLogic |
getRemoteSupportLogic() |
WorkbenchValidationLogic |
getValidationLogic() |
void |
launchPreferences() |
void |
redo() |
void |
restart() |
void |
runModuleAction(java.lang.String moduleName,
java.lang.String action) |
void |
switchSandboxTo(Sandbox sandbox) |
void |
switchSandboxTo(java.lang.String sandboxName) |
void |
undo() |
public WorkbenchLogic(WorkbenchApp workbench)
public WorkbenchNavigationLogic getNavigationLogic()
public WorkbenchFileLogic getFileLogic()
public WorkbenchPromptLogic getPromptLogic()
public WorkbenchCommandLogic getCommandLogic()
public WorkbenchCompatibilityLogic getCompatibilityLogic()
public WorkbenchHotkeyLogic getHotkeyLogic()
public WorkbenchHelpLogic getHelpLogic()
public WorkbenchMapAppLogic getMapAppLogic()
public WorkbenchConsoleLogic getConsoleLogic()
public WorkbenchValidationLogic getValidationLogic()
public WorkbenchMapSpaceLogic getMapSpaceLogic()
public WorkbenchMapSetLogic getMapSetLogic()
public WorkbenchModuleLogic getModuleLogic()
public WorkbenchMapViewerLogic getMapViewerLogic()
public WorkbenchRemoteSupportLogic getRemoteSupportLogic()
public void launchPreferences()
public void runModuleAction(java.lang.String moduleName,
java.lang.String action)
public void restart()
public void exit()
public void undo()
public void redo()
public void switchSandboxTo(java.lang.String sandboxName)
public void switchSandboxTo(Sandbox sandbox)