code: function location(doclet) {
  	var filename = (doclet.meta && doclet.meta.filename) || "unknown";
  	return " #" + ui5data(doclet).id + "@" + filename + (doclet.meta.lineno != null ? ":" + doclet.meta.lineno : "") + (doclet.synthetic ? "(synthetic)" : "");
  }
docs: Creates a human readable location info for a given doclet.
  @param {Doclet} doclet Doclet to get a location info for
  @returns {string} A human readable location info