remove the '$' in the C code as tilera does not allow it

diff --git a/Robust/src/IR/ClassDescriptor.java b/Robust/src/IR/ClassDescriptor.java
index e6122e0b812ed6e0c1981a832efbdbdaf2064c21..7981439ecc103bd487b6bb3507425de63ec7cf97 100644 (file)
--- a/Robust/src/IR/ClassDescriptor.java
+++ b/Robust/src/IR/ClassDescriptor.java
@@ -131,7 +131,7 @@ public class ClassDescriptor extends Descriptor {
   }
 
   public String getSafeDescriptor() {
-    return "L"+safename.replace(".","___________");
+    return "L"+safename.replace(".","___________").replace("$","___DOLLAR___");
   }
 
   public String getSafeSymbol() {

diff --git a/Robust/src/IR/MethodDescriptor.java b/Robust/src/IR/MethodDescriptor.java
index 167b7f420454ea14a87278d03905c33cc266bbe9..924b83d12e3abe5e13792788abdbd339dba3abd1 100644 (file)
--- a/Robust/src/IR/MethodDescriptor.java
+++ b/Robust/src/IR/MethodDescriptor.java
@@ -196,7 +196,7 @@ public class MethodDescriptor extends Descriptor {
   }
 
   public String getSafeSymbol() {
-    return safename.replace(".","___________");
+    return safename.replace(".","___________").replace("$","___DOLLAR___");
   }
 
   public String toString() {