alvinalexander.com | career | drupal | java | mac | mysql | perl | scala | uml | unix  

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 } }
... this post is sponsored by my books ...

#1 New Release!

FP Best Seller

 

new blog posts

 

Copyright 1998-2021 Alvin Alexander, alvinalexander.com
All Rights Reserved.

A percentage of advertising revenue from
pages under the /java/jwarehouse URI on this website is
paid back to open source projects.