From 826feb861cbded68259243137086798bcbe46bea Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Thu, 5 Jan 2012 01:26:50 +0000
Subject: [PATCH] remove the '$' in the C code as tilera does not allow it

---
 Robust/src/IR/ClassDescriptor.java  | 2 +-
 Robust/src/IR/MethodDescriptor.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Robust/src/IR/ClassDescriptor.java b/Robust/src/IR/ClassDescriptor.java
index e6122e0b..7981439e 100644
--- 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 167b7f42..924b83d1 100644
--- 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() {
-- 
2.34.1