Random small changes...

[repair.git] / Repair / RepairCompiler / MCC / IR / TypeDescriptor.java

diff --git a/Repair/RepairCompiler/MCC/IR/TypeDescriptor.java b/Repair/RepairCompiler/MCC/IR/TypeDescriptor.java
index 5392f1b814876a436f0175169c5f297592a0e0f2..f71fe4f1d572c5d2f67610401081f4f3e1222c7b 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/TypeDescriptor.java
+++ b/Repair/RepairCompiler/MCC/IR/TypeDescriptor.java
@@ -7,9 +7,17 @@ package MCC.IR;
  */
 
 public abstract class TypeDescriptor extends Descriptor {
+    static int counter=0;
+    int idnum;
+
+    public int getId() {
+       return idnum;
+    }
 
     public TypeDescriptor(String name) {
         super(name);
+       if (!(this instanceof MissingTypeDescriptor))
+           idnum=counter++;
     }
 
     public boolean isSubtypeOf(TypeDescriptor td) {