Moved the interpreter

[repair.git] / Repair / RepairInterpreter / catcherror.h

diff --git a/Repair/RepairInterpreter/catcherror.h b/Repair/RepairInterpreter/catcherror.h
new file mode 100755 (executable)
index 0000000..f7e05e9
--- /dev/null
+++ b/Repair/RepairInterpreter/catcherror.h
@@ -0,0 +1,30 @@
+#ifndef CATCHERROR_H
+#define CATCHERROR_H
+
+#include "stack.h"
+#include <signal.h>
+#include <setjmp.h>
+#include <stdio.h>
+
+void handler(int signal);
+void installhandlers();
+extern struct StackElement * stackptr;
+
+#define STARTREPAIR(repair, label)  \
+  jmp_buf label_save_buf;     \
+  if (setjmp(label_save_buf)) { \
+    repair \
+    resetanalysis(); \
+    goto label_error; \
+  } \
+label_error:\
+  pushstack(&stackptr, &label_save_buf);
+
+
+
+
+#define ENDREPAIR(label) popstack(&stackptr);
+
+
+
+#endif