controller_jsp.java

自己写的一个java购销系统

package org.apache.jsp.token;

import javax.servlet.*;
import javax.servlet.http.*;
import javax.servlet.jsp.*;

public final class controller_jsp extends org.apache.jasper.runtime.HttpJspBase
    implements org.apache.jasper.runtime.JspSourceDependent {


  public void saveToken(HttpServletRequest request){
       HttpSession session=request.getSession();
       int token=new java.util.Random().nextInt();
       token=Math.abs(token);
       token=token%10000+1;
       if(token<1000){
          token+=1000;
       }
       session.setAttribute("token",String.valueOf(token));
  }
  public boolean isTokenValid(HttpServletRequest request){
       String userToken=request.getParameter("token");
       if(userToken==null){
           return false;
       }
       HttpSession session=request.getSession(false);
       if(session==null){
           return false;
       }
       String sessionToken=(String)session.getAttribute("token");
       if(sessionToken==null){
           return false;
       }
       if(!userToken.equals(sessionToken)){
           return false;
       }
       session.removeAttribute("token");
       return true;
  }
 
  private static java.util.List _jspx_dependants;

  public Object getDependants() {
    return _jspx_dependants;
  }

  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;
    JspWriter _jspx_out = null;
    PageContext _jspx_page_context = null;


    try {
      _jspxFactory = JspFactory.getDefaultFactory();
      response.setContentType("text/html");
      pageContext = _jspxFactory.getPageContext(this, request, response,
      			null, true, 8192, true);
      _jspx_page_context = pageContext;
      application = pageContext.getServletContext();
      config = pageContext.getServletConfig();
      session = pageContext.getSession();
      out = pageContext.getOut();
      _jspx_out = out;

      out.write('\r');
      out.write('\n');
      out.write(' ');

   String nextPage=null;
   String operation=request.getParameter("operation");
   if(operation==null){
       saveToken(request);
       nextPage="add.jsp";
   }else if(operation.equals("add")){
       if(isTokenValid(request)){
           request.setAttribute("message","success");
       }else{
           request.setAttribute("message","invalid token");
       }
       nextPage="next.jsp";
   }
 
      out.write('\r');
      out.write('\n');
      out.write(' ');
      if (true) {
        _jspx_page_context.forward(nextPage );
        return;
      }
      out.write('\r');
      out.write('\n');
    } catch (Throwable t) {
      if (!(t instanceof SkipPageException)){
        out = _jspx_out;
        if (out != null && out.getBufferSize() != 0)
          out.clearBuffer();
        if (_jspx_page_context != null) _jspx_page_context.handlePageException(t);
      }
    } finally {
      if (_jspxFactory != null) _jspxFactory.releasePageContext(_jspx_page_context);
    }
  }
}