changes to MGC class library

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

diff --git a/Robust/src/IR/MethodDescriptor.java b/Robust/src/IR/MethodDescriptor.java
index 724983c41ad1a215147848eb4c7d396d954e897b..167b7f420454ea14a87278d03905c33cc266bbe9 100644 (file)
--- a/Robust/src/IR/MethodDescriptor.java
+++ b/Robust/src/IR/MethodDescriptor.java
@@ -195,6 +195,10 @@ public class MethodDescriptor extends Descriptor {
     else throw new Error();
   }
 
+  public String getSafeSymbol() {
+    return safename.replace(".","___________");
+  }
+
   public String toString() {
     String st="";
     String type="";