bug fixes

diff --git a/Robust/src/IR/TagVarDescriptor.java b/Robust/src/IR/TagVarDescriptor.java
index f076b3c1509c4b002edc243b9808dafcbfc8be71..4cca52da4d7048b8c3c816a3b4eb587032dffc4a 100644 (file)
--- a/Robust/src/IR/TagVarDescriptor.java
+++ b/Robust/src/IR/TagVarDescriptor.java
@@ -17,7 +17,6 @@ public class TagVarDescriptor extends Descriptor {
     this.identifier=identifier;
     this.safename = "___" + name + "___";
     this.uniqueid=count++;
-    throw new Error();
   }
 
   public String getName() {

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index ff46a2380a656846faf91b0e5c94d323bb1398bb..82c56168ed1a843664660c0064fb34ab7058f28a 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -194,6 +194,7 @@ public class Main {
     
 
     SemanticCheck sc=new SemanticCheck(state,tu);
+
     for(int i=0;i<sourcefiles.size();i++)
       sc.getClass((String)sourcefiles.get(i));
 
@@ -205,6 +206,9 @@ public class Main {
     sc.getClass("ServerSocket");
     sc.getClass("FileInputStream");
     sc.getClass("FileOutputStream");
+    if (state.TASK) {
+      sc.getClass("TagDescriptor");
+    }
 
     sc.semanticCheck();