3 public class NameDescriptor extends Descriptor {
6 public NameDescriptor(NameDescriptor nd, String id) {
7 super(nd.toString()+"."+id);
8 identifier=getPathFromRootToHere(id);
12 public NameDescriptor(String id) {
14 identifier=getPathFromRootToHere(id);
18 public String getIdentifier() {
22 public NameDescriptor getBase() {
26 public String getRoot() {
33 public String getPathFromRootToHere() {
34 return getPathFromRootToHere(identifier);
37 public String getPathFromRootToHere(String id) {
39 NameDescriptor temp = this.nd;
41 path = temp.identifier + "." + path;
48 public String toString() {
52 return nd+"."+identifier;