add new file

diff --git a/Robust/src/Runtime/objtypes.h b/Robust/src/Runtime/objtypes.h
new file mode 100644 (file)
index 0000000..98eefbb
--- /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