DataFormsServlet.java 文件源码

/**
 * Pageの拡張子を取得します。
 * <pre>
 * Servletアノテーションの先頭のURLパターンから、拡張子を取得します。
 * </pre>
 * @return Pageの拡張子。
 */
public String getPageExt() {
    WebServlet an = this.getClass().getAnnotation(WebServlet.class);
    String[] uplist = an.urlPatterns();
    return uplist[0].substring(2);
}