this system checks heap results against runtime pointers to look for analysis bugs...

[IRC.git] / Robust / src / IR / TypeUtil.java

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index 8170472080016cfa6f5cdcccaffb6399cfee04ef..2921e1e5bbc814e728db0d393909fd401c093999 100644 (file)
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -8,6 +8,7 @@ import Main.Main;
 
 public class TypeUtil {
   public static String StringClass;
+  public static String StringClassValueField;
   public static String ObjectClass;
   public static String StartupClass;
   public static String TagClass;
@@ -26,6 +27,7 @@ public class TypeUtil {
     this.bir=bir;
     if (state.JNI) {
       StringClass="java.lang.String";
+      StringClassValueField="value";
       ObjectClass="java.lang.Object";
       StartupClass="StartupObject";
       TagClass="TagDescriptor";
@@ -33,6 +35,7 @@ public class TypeUtil {
       TaskClass="Task";
     } else {
       StringClass="String";
+      StringClassValueField="value";
       ObjectClass="Object";
       StartupClass="StartupObject";
       TagClass="TagDescriptor";