From: yeom <yeom>
Date: Tue, 9 Aug 2011 00:44:44 +0000 (+0000)
Subject: code clean up
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d581e7128234bf681f3339f0eb4b96927752d043;p=IRC.git

code clean up
---

diff --git a/Robust/src/IR/Tree/BuildIR.java b/Robust/src/IR/Tree/BuildIR.java
index 7f38a88b..f81d8bb9 100644
--- a/Robust/src/IR/Tree/BuildIR.java
+++ b/Robust/src/IR/Tree/BuildIR.java
@@ -1698,8 +1698,6 @@ public class BuildIR {
   }
 
   private void parseParameterAnnotation(ParseNode pn,TypeDescriptor type) {
-    
-    
     ParseNodeVector pnv = pn.getChildren();
     for (int i = 0; i < pnv.size(); i++) {
       ParseNode body_list = pnv.elementAt(i);
@@ -1715,17 +1713,6 @@ public class BuildIR {
         }
       }
     }
-    
-    
-//    ParseNode body_node = body_list.getFirstChild();
-//    if (isNode(body_node, "marker_annotation")) {
-//      type.addAnnotationMarker(new AnnotationDescriptor(body_node.getChild("name").getTerminal()));
-//    } else if (isNode(body_node, "single_annotation")) {
-//      type.addAnnotationMarker(new AnnotationDescriptor(body_node.getChild("name").getTerminal(),
-//                                                        body_node.getChild("element_value").getTerminal()));
-//    } else if (isNode(body_node, "normal_annotation")) {
-//      throw new Error("Annotation with multiple data members is not supported yet.");
-//    }
   }
 
   private boolean isNode(ParseNode pn, String label) {