get rid of isClassLibrary method

diff --git a/Robust/src/IR/ClassDescriptor.java b/Robust/src/IR/ClassDescriptor.java
index c8e1c9d2620b761495679187b174af8f94e7fccb..8577314593a24326730941ef021a1413fc56fcbe 100644 (file)
--- a/Robust/src/IR/ClassDescriptor.java
+++ b/Robust/src/IR/ClassDescriptor.java
@@ -42,8 +42,6 @@ public class ClassDescriptor extends Descriptor {
   HashMap<String, Integer> enumConstantTbl;
   int enumconstantid = 0;
   
-  boolean isClassLibrary=false;
-  
   String sourceFileName;
   
   public ClassDescriptor(String classname, boolean isInterface) {
@@ -400,14 +398,6 @@ public class ClassDescriptor extends Descriptor {
     return this.modifiers;
   }
   
-  public void setClassLibrary(){
-    this.isClassLibrary=true;
-  }
-  
-  public boolean isClassLibrary(){
-    return isClassLibrary;
-  }
-  
   public void setSourceFileName(String sourceFileName){
     this.sourceFileName=sourceFileName;
   }

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index 30c3c555072e875092e294edda90adc7b6200abc..ff37c5a8272183496db8b46f9875bdac9145d4d0 100644 (file)
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -73,7 +73,6 @@ public class TypeUtil {
       //have to find class
       addNewClass(classname, todo);
       cd=(ClassDescriptor)state.getClassSymbolTable().get(classname);
-      cd.setClassLibrary();
       
       System.out.println("Build class:"+cd);
       todo.add(cd);