0fab53b1ea9fb5ffa0514955bb743f9972acb77e
[c11tester.git] / snapshot-interface.h
1 #ifndef __SNAPINTERFACE_H
2 #define __SNAPINTERFACE_H
3 #include "snapshot.h"
4 #include "mymemory.h"
5 #include "snapshot.h"
6
7 void SnapshotGlobalSegments();
8
9 struct stackEntry {
10   struct stackEntry *next;
11   snapshot_id snapshotid;
12   int index;
13 };
14
15 class snapshotStack {
16  public:
17   MEMALLOC
18   snapshotStack( );
19   ~snapshotStack();
20   int backTrackBeforeStep(int seq_index);
21   void snapshotStep(int seq_index);
22
23  private: 
24   struct stackEntry * stack;
25 };
26
27 /* Not sure what it even means to have more than one snapshot object,
28    so let's just make a global reference to it.*/
29
30 extern snapshotStack * snapshotObject;
31 #endif