Changes to generate TaskExit

[IRC.git] / Robust / src / IR / NameDescriptor.java

diff --git a/Robust/src/IR/NameDescriptor.java b/Robust/src/IR/NameDescriptor.java
index 65b3b64e32f2667ef988a15b371fa1e06efa49aa..344d57c8cae4859caed49dc2122d4594b984b640 100644 (file)
--- a/Robust/src/IR/NameDescriptor.java
+++ b/Robust/src/IR/NameDescriptor.java
@@ -15,6 +15,21 @@ public class NameDescriptor extends Descriptor {
        nd=null;
     }
 
+    public String getIdentifier() {
+       return identifier;
+    }
+
+    public NameDescriptor getBase() {
+       return nd;
+    }
+
+    public String getRoot() {
+       if (nd==null)
+           return identifier;
+       else 
+           return nd.getRoot();
+    }
+
     public String toString() {
        if (nd==null) 
            return identifier;