code: private static String getFullPathName(INode[] inodes, int pos) {
      StringBuilder fullPathName = new StringBuilder();
      for (int i=1; i<=pos; i++) {
        fullPathName.append(Path.SEPARATOR_CHAR).append(inodes[i].getLocalName());
      }
      return fullPathName.toString();
    }
docs: Return the name of the path represented by inodes at [0, pos]