From: yeom <yeom>
Date: Thu, 21 Apr 2011 23:32:34 +0000 (+0000)
Subject: changes: having an extension field in the type descriptor
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cc49a7b0b58d134b52f69f5407f2a31f6e1d9c87;p=IRC.git

changes: having an extension field in the type descriptor
---

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index 85534578..0ff05471 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -32,6 +32,7 @@ public class TypeDescriptor extends Descriptor {
   boolean isClassNameRef = false;
   
   private Vector<AnnotationDescriptor> annotationSet;
+  private TypeExtension typeExtension;
 
   public boolean equals(Object o) {
     if (o instanceof TypeDescriptor) {
@@ -376,4 +377,12 @@ public class TypeDescriptor extends Descriptor {
     return annotationSet;
   }
   
+  public void setExtension(TypeExtension te){
+    typeExtension=te;
+  }
+  
+  public TypeExtension getExtension(){
+    return typeExtension;
+  }
+  
 }
diff --git a/Robust/src/IR/TypeExtension.java b/Robust/src/IR/TypeExtension.java
new file mode 100644
index 00000000..e3713e94
--- /dev/null
+++ b/Robust/src/IR/TypeExtension.java
@@ -0,0 +1,4 @@
+package IR;
+
+public interface TypeExtension {
+}