worktotal_0002ejsp_jsp.java

Java数据库系统开发实例导航的例子

package personal;

import java.util.*;
import javax.servlet.*;
import javax.servlet.http.*;
import javax.servlet.jsp.*;
import org.apache.jasper.runtime.*;


public class workTotal_0002ejsp_jsp extends HttpJspBase {

    // begin [file="/personal/workTotal.jsp";from=(2,0);to=(2,76)]
    // end
    // begin [file="/personal/workTotal.jsp";from=(3,0);to=(3,73)]
    // end
    // begin [file="/personal/workTotal.jsp";from=(9,0);to=(9,73)]
    // end
    // begin [file="/personal/workTotal.jsp";from=(10,0);to=(10,74)]
    // end
    // begin [file="/personal/workTotal.jsp";from=(11,0);to=(11,73)]
    // end

    static {
    }
    public workTotal_0002ejsp_jsp( ) {
    }

    private static boolean _jspx_inited = false;

    public final void _jspx_init() throws org.apache.jasper.runtime.JspException {
    }

    public void _jspService(HttpServletRequest request, HttpServletResponse  response)
        throws java.io.IOException, ServletException {

        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=gb2312");
            pageContext = _jspxFactory.getPageContext(this, request, response,
            			"", true, 8192, true);

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

            // HTML // begin [file="/personal/workTotal.jsp";from=(0,49);to=(1,0)]
                out.write("\r\n");

            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(1,32);to=(2,0)]
                out.write("\r\n");

            // end
            // begin [file="/personal/workTotal.jsp";from=(2,0);to=(2,76)]
                com.officelog.OffLogBean offLogBean = null;
                boolean _jspx_specialoffLogBean  = false;
                 synchronized (pageContext) {
                    offLogBean= (com.officelog.OffLogBean)
                    pageContext.getAttribute("offLogBean",PageContext.PAGE_SCOPE);
                    if ( offLogBean == null ) {
                        _jspx_specialoffLogBean = true;
                        try {
                            offLogBean = (com.officelog.OffLogBean) java.beans.Beans.instantiate(this.getClass().getClassLoader(), "com.officelog.OffLogBean");
                        } catch (ClassNotFoundException exc) {
                             throw new InstantiationException(exc.getMessage());
                        } catch (Exception exc) {
                             throw new ServletException (" Cannot create bean of class "+"com.officelog.OffLogBean", exc);
                        }
                        pageContext.setAttribute("offLogBean", offLogBean, PageContext.PAGE_SCOPE);
                    }
                 } 
                if(_jspx_specialoffLogBean == true) {
            // end
            // begin [file="/personal/workTotal.jsp";from=(2,0);to=(2,76)]
                }
            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(2,76);to=(3,0)]
                out.write("\r\n");

            // end
            // begin [file="/personal/workTotal.jsp";from=(3,0);to=(3,73)]
                java.lang.String username = null;
                boolean _jspx_specialusername  = false;
                 synchronized (session) {
                    username= (java.lang.String)
                    pageContext.getAttribute("username",PageContext.SESSION_SCOPE);
                    if ( username == null ) {
                        _jspx_specialusername = true;
                        try {
                            username = (java.lang.String) java.beans.Beans.instantiate(this.getClass().getClassLoader(), "java.lang.String");
                        } catch (ClassNotFoundException exc) {
                             throw new InstantiationException(exc.getMessage());
                        } catch (Exception exc) {
                             throw new ServletException (" Cannot create bean of class "+"java.lang.String", exc);
                        }
                        pageContext.setAttribute("username", username, PageContext.SESSION_SCOPE);
                    }
                 } 
                if(_jspx_specialusername == true) {
            // end
            // begin [file="/personal/workTotal.jsp";from=(3,0);to=(3,73)]
                }
            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(3,73);to=(4,0)]
                out.write("\r\n");

            // end
            // begin [file="/personal/workTotal.jsp";from=(4,2);to=(8,0)]
                
                boolean islogin=offLogBean.workTotal(request,response);
                if(!islogin)
                    response.sendRedirect("default.html");
            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(8,2);to=(9,0)]
                out.write("    \r\n");

            // end
            // begin [file="/personal/workTotal.jsp";from=(9,0);to=(9,73)]
                java.util.Vector workList = null;
                boolean _jspx_specialworkList  = false;
                 synchronized (request) {
                    workList= (java.util.Vector)
                    pageContext.getAttribute("workList",PageContext.REQUEST_SCOPE);
                    if ( workList == null ) {
                        _jspx_specialworkList = true;
                        try {
                            workList = (java.util.Vector) java.beans.Beans.instantiate(this.getClass().getClassLoader(), "java.util.Vector");
                        } catch (ClassNotFoundException exc) {
                             throw new InstantiationException(exc.getMessage());
                        } catch (Exception exc) {
                             throw new ServletException (" Cannot create bean of class "+"java.util.Vector", exc);
                        }
                        pageContext.setAttribute("workList", workList, PageContext.REQUEST_SCOPE);
                    }
                 } 
                if(_jspx_specialworkList == true) {
            // end
            // begin [file="/personal/workTotal.jsp";from=(9,0);to=(9,73)]
                }
            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(9,73);to=(10,0)]
                out.write("\r\n");

            // end
            // begin [file="/personal/workTotal.jsp";from=(10,0);to=(10,74)]
                java.lang.Integer thisPage = null;
                boolean _jspx_specialthisPage  = false;
                 synchronized (request) {
                    thisPage= (java.lang.Integer)
                    pageContext.getAttribute("thisPage",PageContext.REQUEST_SCOPE);
                    if ( thisPage == null ) {
                        _jspx_specialthisPage = true;
                        try {
                            thisPage = (java.lang.Integer) java.beans.Beans.instantiate(this.getClass().getClassLoader(), "java.lang.Integer");
                        } catch (ClassNotFoundException exc) {
                             throw new InstantiationException(exc.getMessage());
                        } catch (Exception exc) {
                             throw new ServletException (" Cannot create bean of class "+"java.lang.Integer", exc);
                        }
                        pageContext.setAttribute("thisPage", thisPage, PageContext.REQUEST_SCOPE);
                    }
                 } 
                if(_jspx_specialthisPage == true) {
            // end
            // begin [file="/personal/workTotal.jsp";from=(10,0);to=(10,74)]
                }
            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(10,74);to=(11,0)]
                out.write("\r\n");

            // end
            // begin [file="/personal/workTotal.jsp";from=(11,0);to=(11,73)]
                java.lang.Integer maxPage = null;
                boolean _jspx_specialmaxPage  = false;
                 synchronized (request) {
                    maxPage= (java.lang.Integer)
                    pageContext.getAttribute("maxPage",PageContext.REQUEST_SCOPE);
                    if ( maxPage == null ) {
                        _jspx_specialmaxPage = true;
                        try {
                            maxPage = (java.lang.Integer) java.beans.Beans.instantiate(this.getClass().getClassLoader(), "java.lang.Integer");
                        } catch (ClassNotFoundException exc) {
                             throw new InstantiationException(exc.getMessage());
                        } catch (Exception exc) {
                             throw new ServletException (" Cannot create bean of class "+"java.lang.Integer", exc);
                        }
                        pageContext.setAttribute("maxPage", maxPage, PageContext.REQUEST_SCOPE);
                    }
                 } 
                if(_jspx_specialmaxPage == true) {
            // end
            // begin [file="/personal/workTotal.jsp";from=(11,0);to=(11,73)]
                }
            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(11,73);to=(12,0)]
                out.write("\r\n");

            // end
            // begin [file="/personal/workTotal.jsp";from=(12,2);to=(23,0)]
                           
                String jobid="";
                String jobcontent="";
                String d="";
                String m="";
                String y="";
                String workdate="";
                
                int thispage=thisPage.intValue();
                int maxpage=maxPage.intValue();
                
            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(23,2);to=(27,7)]
                out.write("\r\n<html>\r\n<head>\r\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=gb2312\">\r\n<title>");

            // end
            // begin [file="/personal/workTotal.jsp";from=(27,10);to=(27,18)]
                out.print(username);
            // end
            // HTML // begin [file="/personal/workTotal.jsp";from=(27,20);to=(38,30)]
                out.write("鐨勫伐浣滄棩蹇