X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FRuntime%2Finstrument.h;h=60376821f86d731947db26702b15f8f87d0685a0;hp=d08f3642211e919e58544e458ac8aacc933bdaa8;hb=1a9b5106dbaf948defb63a97a3ffffde025a4e2c;hpb=38a2bde899fd10aa21ba2961beac1726fc5f5ec3

diff --git a/Repair/RepairCompiler/MCC/Runtime/instrument.h b/Repair/RepairCompiler/MCC/Runtime/instrument.h
index d08f364..6037682 100755
--- a/Repair/RepairCompiler/MCC/Runtime/instrument.h
+++ b/Repair/RepairCompiler/MCC/Runtime/instrument.h
@@ -3,6 +3,8 @@
 
 #ifndef INSTRUMENT_H
 #define INSTUMENT_H
+#include "classlist.h"
+#include <stdlib.h>
 
 void alloc(void *ptr,int size);
 void dealloc(void *ptr);
@@ -10,4 +12,11 @@ void *ourcalloc(size_t nmemb, size_t size);
 void *ourmalloc(size_t size);
 void ourfree(void *ptr);
 void *ourrealloc(void *ptr, size_t size);
+void initializemmap();
+typeobject * gettypeobject();
+void resettypemap();
+bool assertvalidtype(int ptr, int structure);
+bool assertvalidmemory(int ptr, int structure);
+void initializestack(void *);
+extern typemap * memmap;
 #endif