From: bdemsky <bdemsky>
Date: Sat, 4 Jun 2011 02:32:16 +0000 (+0000)
Subject: add new file
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3a91d2157bbee240efdf2158f859a3e55b29b2a2;p=IRC.git

add new file
---

diff --git a/Robust/src/Runtime/objtypes.h b/Robust/src/Runtime/objtypes.h
new file mode 100644
index 00000000..98eefbba
--- /dev/null
+++ b/Robust/src/Runtime/objtypes.h
@@ -0,0 +1,13 @@
+#ifndef OBJTYPES_H
+#define OBJTYPES_H
+
+#ifdef JNI
+typedef struct ___java___________lang___________Object___ * ObjectPtr;
+typedef struct ___java___________lang___________Thread___ * ThreadPtr;
+typedef struct ___java___________lang___________String___ * StringPtr;
+#else
+typedef struct ___Object___ * ObjectPtr;
+typedef struct ___String___ * StringPtr;
+typedef struct ___Thread___ * ThreadPtr;
+#endif
+#endif