From: yeom <yeom>
Date: Sat, 23 Apr 2011 00:49:37 +0000 (+0000)
Subject: get rid of isClassLibrary method
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=42f57f44f7781f66852b2b518871983d72c52554;p=IRC.git

get rid of isClassLibrary method
---

diff --git a/Robust/src/IR/ClassDescriptor.java b/Robust/src/IR/ClassDescriptor.java
index c8e1c9d2..85773145 100644
--- 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 30c3c555..ff37c5a8 100644
--- 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);