WorkbenchManager.h

Go to the documentation of this file.
00001 /***************************************************************************
00002  *   Copyright (c) 2005 Werner Mayer <wmayer[at]users.sourceforge.net>     *
00003  *                                                                         *
00004  *   This file is part of the FreeCAD CAx development system.              *
00005  *                                                                         *
00006  *   This library is free software; you can redistribute it and/or         *
00007  *   modify it under the terms of the GNU Library General Public           *
00008  *   License as published by the Free Software Foundation; either          *
00009  *   version 2 of the License, or (at your option) any later version.      *
00010  *                                                                         *
00011  *   This library  is distributed in the hope that it will be useful,      *
00012  *   but WITHOUT ANY WARRANTY; without even the implied warranty of        *
00013  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *
00014  *   GNU Library General Public License for more details.                  *
00015  *                                                                         *
00016  *   You should have received a copy of the GNU Library General Public     *
00017  *   License along with this library; see the file COPYING.LIB. If not,    *
00018  *   write to the Free Software Foundation, Inc., 59 Temple Place,         *
00019  *   Suite 330, Boston, MA  02111-1307, USA                                *
00020  *                                                                         *
00021  ***************************************************************************/
00022 
00023 
00024 #ifndef GUI_WORKBENCHMANAGER_H
00025 #define GUI_WORKBENCHMANAGER_H
00026 
00027 #include <list>
00028 
00029 namespace Gui {
00030 
00031 class Workbench;
00032 
00037 class GuiExport WorkbenchManager  
00038 {
00039 public:
00041     static WorkbenchManager* instance();
00042     static void destruct();
00043 
00048     Workbench* createWorkbench (const std::string& name, const std::string& className);
00052     void removeWorkbench(const std::string& name);
00056     Workbench* getWorkbench (const std::string& name) const;
00058     bool activate(const std::string& name, const std::string& className);
00060     Workbench* active() const;
00062     std::list<std::string> workbenches() const;
00063 
00064 protected:
00065     WorkbenchManager();
00066     ~WorkbenchManager();
00067 
00068 private:
00069     static WorkbenchManager* _instance;
00070     Workbench*  _activeWorkbench;
00071     std::map<std::string, Workbench*> _workbenches;
00072 };
00073 
00074 } // namespace Gui
00075 
00076 
00077 #endif // GUI_WORKBENCHMANAGER_H