changes: having an extension field in the type descriptor

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index 855345789a76f69727efd793c2f889d191fbc3ce..0ff054713f70a960160c912b416cc4dcfacb5901 100644 (file)
--- 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 (file)
index 0000000..e3713e9
--- /dev/null
+++ b/Robust/src/IR/TypeExtension.java
@@ -0,0 +1,4 @@
+package IR;
+
+public interface TypeExtension {
+}