workspace_memory_handler.h

Go to the documentation of this file.

 
#ifndef __ARTS_WORKSPACE_MEMORY_HANDLER__
#define __ARTS_WORKSPACE_MEMORY_HANDLER__
#include "arts.h"
#include <memory>
#include <vector>
 
class WorkspaceMemoryHandler {
 public:
  WorkspaceMemoryHandler() {};
 
  std::shared_ptr<void> allocate(Index group_index) { return allocation_ptrs_[group_index](); }
 
  std::shared_ptr<void> duplicate(Index group_index, const std::shared_ptr<void>& ptr) {
    return duplication_ptrs_[group_index](ptr);
  }
 
  void initialize();
 
 private:
  std::vector<std::shared_ptr<void> (*)()> allocation_ptrs_;
  std::vector<std::shared_ptr<void> (*)(const std::shared_ptr<void>&)> duplication_ptrs_;
};
#endif