workspace_ng.h

Go to the documentation of this file.

/* Copyright (C) 2004-2012 Oliver Lemke <olemke@core-dump.info>
  
   This program is free software; you can redistribute it and/or
   modify it under the terms of the GNU General Public License as
   published by the Free Software Foundation; either version 2 of the
   License, or (at your option) any later version.
  
   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
  
   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
   USA. */
 
//   File description
 
#ifndef WORKSPACE_NG_INCLUDED
#define WORKSPACE_NG_INCLUDED
 
#include <stack>
#include <map>
 
class Workspace;
 
#include "array.h"
#include "wsv_aux.h"
 
 
class Workspace {
private:
  struct WsvStruct {
    void *wsv;
    bool initialized;
    bool auto_allocated;
  };
 
  Array< stack<WsvStruct *> > ws;
 
public:
#ifndef NDEBUG
  String context;
#endif
 
  static Array<WsvRecord> wsv_data;
 
  static map<String, Index> WsvMap;
 
  Workspace ();
  Workspace (const Workspace& workspace);
  virtual ~Workspace ();
 
  static void  define_wsv_data();
  static void  define_wsv_map();
  static Index add_wsv (const WsvRecord& wsv);
 
  void del (Index i);
 
  void duplicate (Index i);
 
  void initialize ();
 
  bool is_initialized (Index i) {
    return ((ws[i].size () != 0)
            && (ws[i].top()->initialized == true)); }
 
  void *pop (Index i);
 
  void pop_free (Index i);
 
  void push (Index i, void *wsv);
 
  void push_uninitialized (Index i, void *wsv);
 
  Index nelem () {return ws.nelem ();}
 
  void *operator[](Index i);
};
 
 
 
template <typename OutputStream> void
PrintWsvName (OutputStream& outstream, Index i)
{
  outstream << Workspace::wsv_data[i].Name () << "(" << i << ") ";
}
 
 
 
template <typename OutputStream, typename Container> void
PrintWsvNames (OutputStream& outstream, const Container& container)
{
  for (typename Container::const_iterator it = container.begin ();
       it != container.end (); it++ )
  {
    PrintWsvName (outstream, *it);
  }
  
}
 
 
#endif /* WORKSPACE_NG_INCLUDED */