workspace_memory_handler.h

Go to the documentation of this file.

/* Copyright (C) 2020 Simon Pfreundschuh <simon.pfreundschuh@chalmers.se>
 
   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 __ARTS_WORKSPACE_MEMORY_HANDLER__
#define __ARTS_WORKSPACE_MEMORY_HANDLER__
#include "arts.h"
#include <vector>
 
class WorkspaceMemoryHandler {
 public:
  WorkspaceMemoryHandler(){};
 
  void *allocate(Index group_index) { return allocation_ptrs_[group_index](); }
 
  void deallocate(Index group_index, void *ptr) {
    deallocation_ptrs_[group_index](ptr);
  }
 
  void *duplicate(Index group_index, void *ptr) {
    return duplication_ptrs_[group_index](ptr);
  }
 
  void initialize();
 
 private:
  std::vector<void *(*)()> allocation_ptrs_;
  std::vector<void (*)(void *)> deallocation_ptrs_;
  std::vector<void *(*)(void *)> duplication_ptrs_;
};
#endif