|
What this is
This file is included in the DevDaily.com
"Java Source Code
Warehouse" project. The intent of this project is to help you "Learn
Java by Example" TM.
Other links
The source code
/*
* Sun Public License Notice
*
* The contents of this file are subject to the Sun Public License
* Version 1.0 (the "License"). You may not use this file except in
* compliance with the License. A copy of the License is available at
* http://www.sun.com/
*
* The Original Code is NetBeans. The Initial Developer of the Original
* Code is Sun Microsystems, Inc. Portions Copyright 1997-2000 Sun
* Microsystems, Inc. All Rights Reserved.
*/
package org.netbeans.modules.httpserver;
import java.io.InputStream;
import java.util.Enumeration;
import javax.servlet.*;
import javax.servlet.http.*;
import org.openide.execution.NbfsStreamHandlerFactory;
import org.openide.execution.NbfsURLConnection;
import org.openide.filesystems.*;
import org.openide.TopManager;
import org.openide.util.NbBundle;
/** This servlet is used to give access to documentation previously
* displayed through nbfs: protocol
*
* @author rkubacki
* @version
*/
public class JavadocServlet extends HttpServlet {
/** Initializes the servlet.
*/
public void init(ServletConfig config) throws ServletException {
super.init(config);
}
/** Destroys the servlet.
*/
public void destroy() {
}
/** Processes requests for both HTTP GET and POST methods.
* @param request servlet request
* @param response servlet response
*/
protected void processRequest (HttpServletRequest request, HttpServletResponse response)
throws ServletException, java.io.IOException {
response.setContentType("text/html"); // NOI18N
java.io.PrintWriter out = response.getWriter();
// output your page here
String path = request.getPathInfo ();
try {
// resource name
if (path.startsWith ("/")) path = path.substring (1); // NOI18N
if (path.length () == 0) {
// show all javadoc trees
out.println ("List of javadocs");
out.println ("List of javadocs:");
Enumeration en = TopManager.getDefault ().getRepository ().getFileSystems ();
while (en.hasMoreElements ()) {
FileSystem fs = (FileSystem)en.nextElement ();
if (fs.getCapability ().capableOf (FileSystemCapability.DOC))
out.println (""+fs.getDisplayName ()+" ");
}
out.println ("");
out.close ();
return;
}
else {
// first part is FS name
int first = path.indexOf ('/');
if (first == -1)
throw new java.io.IOException ();
String fileSystemName = HttpServerSettings.demangle (path.substring (0, first));
path = path.substring (first);
FileSystem fsys = TopManager.getDefault().getRepository ().findFileSystem(fileSystemName);
FileObject fo = fsys.findResource (path);
if (fo == null)
throw new java.io.IOException ();
if (fo.isFolder () || fo.isRoot ()) {
// show all javadoc trees
out.println ("List of javadocs");
out.println ("Directory listing:");
if (!fo.isRoot ())
out.println ("Parent directory ");
Enumeration en = fo.getChildren (false);
while (en.hasMoreElements ()) {
FileObject child = (FileObject)en.nextElement ();
if (child.isFolder ())
out.println (""+child.getName ()+" ");
else
out.println (""+child.getNameExt ()+" ");
}
out.println ("");
out.close ();
return;
}
else {
java.net.URLConnection conn = fo.getURL ().openConnection ();
InputStream in = conn.getInputStream ();
byte [] buff = new byte [256];
int len;
while ((len = in.read (buff)) != -1) {
out.print (new String (buff, 0, len));
}
in.close ();
}
}
}
catch (java.net.MalformedURLException ex) {
ex.printStackTrace (out);
}
catch (java.io.IOException ex) {
ex.printStackTrace (out);
}
out.close();
}
/** Handles the HTTP GET method.
* @param request servlet request
* @param response servlet response
*/
protected void doGet(HttpServletRequest request, HttpServletResponse response)
throws ServletException, java.io.IOException {
processRequest(request, response);
}
/** Handles the HTTP POST method.
* @param request servlet request
* @param response servlet response
*/
protected void doPost(HttpServletRequest request, HttpServletResponse response)
throws ServletException, java.io.IOException {
processRequest(request, response);
}
/**
* Returns a short description of the servlet.
*/
public String getServletInfo() {
return NbBundle.getBundle(ClasspathServlet.class).getString("MSG_JavadocServletDescr"); // NOI18N
}
}
|