changes + annotation generation

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

diff --git a/Robust/src/IR/MethodDescriptor.java b/Robust/src/IR/MethodDescriptor.java
index 724983c41ad1a215147848eb4c7d396d954e897b..d8e2ea0d739f583aa5e578eb48f2b7137a149151 100644 (file)
--- a/Robust/src/IR/MethodDescriptor.java
+++ b/Robust/src/IR/MethodDescriptor.java
@@ -23,6 +23,9 @@ public class MethodDescriptor extends Descriptor {
   protected boolean isinvokedbystatic;  // flag to indicate if this method is invoked by some static block
 
   protected boolean isdefaultconstructor; // flag to indicate if this is a default constructor
+  
+  private int lineNum;
+
 
   public MethodDescriptor(Modifiers m, TypeDescriptor rt, String identifier) {
     super(identifier);
@@ -195,6 +198,10 @@ public class MethodDescriptor extends Descriptor {
     else throw new Error();
   }
 
+  public String getSafeSymbol() {
+    return safename.replace(".","___________").replace("$","___DOLLAR___");
+  }
+
   public String toString() {
     String st="";
     String type="";
@@ -220,4 +227,29 @@ public class MethodDescriptor extends Descriptor {
   public void setDefaultConstructor() {
     this.isdefaultconstructor = true;
   }
+  
+  public String getMethodDeclaration(){
+    String st="";
+    String type="";
+      if (returntype != null)
+        st = modifier.toString() + returntype.toString() + " " + type + identifier + "(";
+      else
+        st = modifier.toString() + identifier + "(";
+      for (int i = 0; i < params.size(); i++) {
+        st += getParamType(i) + " " + getParamName(i);
+        if ((i + 1) != params.size())
+          st += ", ";
+      }
+      st += ")";
+      return st;
+  }
+  
+  public void setLineNum(int n){
+    lineNum=n;
+  }
+ 
+  public int getLineNum(){
+    return lineNum;
+  }
+  
 }