From cc49a7b0b58d134b52f69f5407f2a31f6e1d9c87 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Thu, 21 Apr 2011 23:32:34 +0000
Subject: [PATCH] changes: having an extension field in the type descriptor

---
 Robust/src/IR/TypeDescriptor.java | 9 +++++++++
 Robust/src/IR/TypeExtension.java  | 4 ++++
 2 files changed, 13 insertions(+)
 create mode 100644 Robust/src/IR/TypeExtension.java

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 {
+}
-- 
2.34.1