taperegistry.h

Go to the documentation of this file.

#ifndef ADOLC_TAPE_REGISTRY_H
#define ADOLC_TAPE_REGISTRY_H
 
#include <adolc/adolcexport.h>
#include <cassert>
#include <memory>
#include <vector>
 
// forward declaration to use as pointer
class ValueTape;
 
struct RecordingFrame {
  ValueTape *prev{nullptr};
  ValueTape *current{nullptr};
};
 
ADOLC_API std::vector<std::unique_ptr<ValueTape>> &tapeBuffer();
 
inline std::vector<RecordingFrame> &currentTapeStack() {
  thread_local std::vector<RecordingFrame> cTStack{RecordingFrame{}};
  return cTStack;
}
ADOLC_API ValueTape *findTapePtr_(short tapeId);
 
ADOLC_API ValueTape *findTapePtr(short tapeId);
 
ADOLC_API ValueTape &findTape(short tapeId);
 
inline ADOLC_API ValueTape *&currentTapePtr() {
  thread_local ValueTape *currTapePtr = nullptr;
  return currTapePtr;
}
inline ValueTape &currentTape() {
  assert(currentTapePtr() && "Current Tape is nullptr!");
  return *currentTapePtr();
}
 
inline void setCurrentTape(ValueTape *tape) noexcept {
  currentTapePtr() = tape;
}
ADOLC_API void setCurrentTape(short tapeId);
ADOLC_API short createNewTape();
 
#endif // ADOLC_TAPE_REGISTRY_H