Method resource

basex-core/src/main/java/org/basex/query/func/db/DbList.java:85–94

Creates a resource element. @param path path to resource @param mdate modified date @param size size @param type resource type @return resource node

(final String path, final long mdate, final long size,
      final ResourceType type)

   * @return resource node
   */
  static FNode resource(final String path, final long mdate, final long size,
      final ResourceType type) {

    final FBuilder elem = FElem.build(Q_RESOURCE).text(path);
    elem.attr(Q_TYPE, type);
    elem.attr(Q_CONTENT_TYPE, type.contentType(path));
    elem.attr(Q_MODIFIED_DATE, DateTime.format(new Date(mdate)));
    elem.attr(Q_SIZE, size);
    return elem.finish();
  }
}