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. */
 
#ifndef WORKSPACE_NG_INCLUDED
#define WORKSPACE_NG_INCLUDED
 
#include <map>
#include <stack>
 
class Workspace;
 
#include "array.h"
#include "wsv_aux.h"
 
class Workspace {
 protected:
  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() { ws.resize(wsv_data.nelem()); }
 
  bool is_initialized(Index i) const {
    return ((ws[i].size() != 0) && (ws[i].top()->initialized == true));
  }
 
  Index depth(Index i) { return (Index)ws[i].size(); }
 
  void *pop(Index i);
 
  void pop_free(Index i);
 
  void push(Index i, void *wsv);
 
  void push_uninitialized(Index i, void *wsv);
 
  Index nelem() const { return ws.nelem(); }
  
  Index add_wsv_inplace(const WsvRecord &wsv);
 
  void *operator[](Index i);
 
  void swap(Workspace& other);
};
 
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 */