FileDocCategorySizeDatePackage
Ch09_0005f05$jsp.javaAPI DocExample2476Tue Nov 25 15:50:24 GMT 2003org.apache.jsp

Ch09_0005f05$jsp

public class Ch09_0005f05$jsp extends HttpJspBase

Fields Summary
private static boolean
_jspx_inited
Constructors Summary
public Ch09_0005f05$jsp()

    
    
Methods Summary
public void_jspService(javax.servlet.http.HttpServletRequest request, javax.servlet.http.HttpServletResponse response)


        JspFactory _jspxFactory = null;
        PageContext pageContext = null;
        HttpSession session = null;
        ServletContext application = null;
        ServletConfig config = null;
        JspWriter out = null;
        Object page = this;
        String  _value = null;
        try {

            if (_jspx_inited == false) {
                synchronized (this) {
                    if (_jspx_inited == false) {
                        _jspx_init();
                        _jspx_inited = true;
                    }
                }
            }
            _jspxFactory = JspFactory.getDefaultFactory();
            response.setContentType("text/html;charset=ISO-8859-1");
            pageContext = _jspxFactory.getPageContext(this, request, response,
            			"", true, 8192, true);

            application = pageContext.getServletContext();
            config = pageContext.getServletConfig();
            session = pageContext.getSession();
            out = pageContext.getOut();

            // HTML // begin [file="/Ch09_05.jsp";from=(0,0);to=(7,4)]
                out.write("<HTML>\r\n  <HEAD>\r\n    <TITLE>A Web Page</TITLE>\r\n  </HEAD>\r\n\r\n  <BODY>\r\n    <H1>Using JSP</H1>\r\n    ");

            // end
            // begin [file="/Ch09_05.jsp";from=(7,6);to=(7,49)]
                 out.println("Using a Tomcat plug-in..."); 
            // end
            // HTML // begin [file="/Ch09_05.jsp";from=(7,51);to=(10,0)]
                out.write("\r\n  </BODY>\r\n</HTML>\r\n");

            // end

        } catch (Throwable t) {
            if (out != null && out.getBufferSize() != 0)
                out.clearBuffer();
            if (pageContext != null) pageContext.handlePageException(t);
        } finally {
            if (_jspxFactory != null) _jspxFactory.releasePageContext(pageContext);
        }
    
public final void_jspx_init()