src/edu/uci/eecs/specCompiler/specExtraction/QualifiedName.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 public class QualifiedName {
   4         public final String fullName;
   5         public final String bareName;
   6         public final String qualifiedName;
   7
   8         public QualifiedName(String fullName) {
   9                 this.fullName = fullName;
  10                 this.bareName = getBareName();
  11                 this.qualifiedName = getQualifiedName();
  12         }
  13
  14         private String getBareName() {
  15                 int beginIdx;
  16                 beginIdx = fullName.lastIndexOf(':');
  17                 if (beginIdx == -1)
  18                         return fullName;
  19                 else
  20                         return fullName.substring(beginIdx + 1);
  21         }
  22
  23         private String getQualifiedName() {
  24                 int endIdx = fullName.lastIndexOf(bareName);
  25                 if (endIdx == 0)
  26                         return "";
  27                 return fullName.substring(0, endIdx);
  28         }
  29
  30         public String toString() {
  31                 return fullName + "\n" + bareName;
  32         }
  33 }