1 package edu.uci.eecs.specCompiler.specExtraction;
3 public class QualifiedName {
4 public final String fullName;
5 public final String bareName;
6 public final String qualifiedName;
8 public QualifiedName(String fullName) {
9 this.fullName = fullName;
10 this.bareName = getBareName();
11 this.qualifiedName = getQualifiedName();
14 private String getBareName() {
16 beginIdx = fullName.lastIndexOf(':');
20 return fullName.substring(beginIdx + 1);
23 private String getQualifiedName() {
24 int endIdx = fullName.lastIndexOf(bareName);
27 return fullName.substring(0, endIdx);
30 public String toString() {
31 return fullName + "\n" + bareName;