📄 reqlistservlet.java
字号:
/*------------------------------------------------------------------------------Name: ReqListServlet.javaProject: xmlBlaster.orgCopyright: xmlBlaster.org, see xmlBlaster-LICENSE fileComment: Collects all xml requirement files into the all.xml master fileVersion: $Id: ReqListServlet.java 14813 2006-03-04 23:02:48Z laghi $------------------------------------------------------------------------------*/package org.xmlBlaster.util.servlet;import java.io.*;import javax.servlet.*;import javax.servlet.http.*;import java.util.logging.Logger;import java.util.logging.Level;/* * Create html files from doc/requirement xml files on the fly. */public class ReqListServlet extends ReqBaseServlet{ private static final String ME = "ReqListServlet"; private static Logger log = Logger.getLogger(ReqListServlet.class.getName()); /** */ public void init(ServletConfig conf) throws ServletException { super.init(conf); } /** */ public void doRequest(HttpServletRequest request, HttpServletResponse response) throws ServletException { try { String dir_s = Util.getParameter(request,"dir",null); String xslFile = Util.getParameter(request,"xsl",null); File dir = new File(dir_s); StringBuffer xmlData = new StringBuffer(); File[] files = dir.listFiles(new MyFilenameFilter()); xmlData.append("<?xml version='1.0' encoding='ISO-8859-1' ?>\n"); xmlData.append("<!-- all.xml, generated by CollectXml.java -->\n"); xmlData.append("<files>\n"); xmlData.append("<dir>"+dir_s+"</dir>\n"); log.info("Using dir=" + dir + ", xls=" + xslFile); for (int ii=0; ii<files.length; ii++) { xmlData.append(" <url>file:" + dir_s + "/" + files[ii].getName() + "</url>\n"); } xmlData.append("</files>"); log.info("Found " + files.length + " entries for requirement list."); xmlOutput( xmlData.toString(),dir_s, xslFile, response ); } catch (Exception e) { log.severe("Can't create requirement list: " + e.toString()); return; } } private class MyFilenameFilter implements FilenameFilter { public MyFilenameFilter() {} public boolean accept(File dir, String name) { if (name.endsWith(".xml")) return true; return false; } }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -