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) {
    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() { return ws.nelem(); }
  
  Index add_wsv_inplace(const WsvRecord &wsv);

  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 */