add lots of stuff

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / QualifiedName.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/QualifiedName.java b/src/edu/uci/eecs/specCompiler/specExtraction/QualifiedName.java
index 692b2975ed5d72773aad7932c115068a3a37d07a..8b912b0bdfb6a402646ba2e3d06fec398bf8f308 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/QualifiedName.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/QualifiedName.java
@@ -3,14 +3,16 @@ package edu.uci.eecs.specCompiler.specExtraction;
 public class QualifiedName {
        public final String fullName;
        public final String bareName;
+       public final String qualifiedName;
        
        public QualifiedName(String fullName) {
                this.fullName = fullName;
                this.bareName = getBareName();
+               this.qualifiedName = getQualifiedName();
        }
        
        private String getBareName() {
-               int beginIdx, endIdx;
+               int beginIdx;
                beginIdx = fullName.lastIndexOf(':');
                if (beginIdx == -1)
                        return fullName;
@@ -18,6 +20,13 @@ public class QualifiedName {
                        return fullName.substring(beginIdx + 1);
        }
        
+       private String getQualifiedName() {
+               int endIdx = fullName.lastIndexOf(bareName);
+               if (endIdx == 0)
+                       return "";
+               return fullName.substring(0, endIdx);
+       }
+       
        public String toString() {
                return fullName + "\n" + bareName;
        }