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
   7         public QualifiedName(String fullName) {
   8                 this.fullName = fullName;
   9                 this.bareName = getBareName();
  10         }
  11
  12         private String getBareName() {
  13                 int beginIdx, endIdx;
  14                 beginIdx = fullName.lastIndexOf(':');
  15                 if (beginIdx == -1)
  16                         return fullName;
  17                 else
  18                         return fullName.substring(beginIdx + 1);
  19         }
  20
  21         public String toString() {
  22                 return fullName + "\n" + bareName;
  23         }
  24 }