⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 hello.java

📁 prolog开发工具
💻 JAVA
字号:
import amzi.ls.*;
import javax.servlet.*;
import javax.servlet.http.*;
import java.io.*;
import java.util.*;

public class Hello extends HttpServlet
{

   //Initialize global variables
   public void init(ServletConfig config) throws ServletException
   {
      super.init(config);
   }

   // Process the HTTP Get request
   public void doGet (HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException
   {

      ServletOutputStream out = response.getOutputStream();

		// set content type and other response header fields first
      response.setContentType("text/html");
      out.println("<HEAD><TITLE> Hello Java Servlet </TITLE></HEAD><BODY>");
		out.println("<h1><FONT COLOR=BLUE> Hello Java Servlet </FONT></h1>");
		out.println("<form method=post action=\"/servlet/Hello\">");
		out.println("<p>Enter full pathname for HELLO.XPL (use double backslashes-do not include hello.xpl or a trailing slash): ");
		out.println("<input name=\"path\" type=text rows=1 size=50>");
		out.println("<p><input name=submit type=submit></form>");
		out.println("</BODY>");
		out.close();
	}

   //Process the HTTP Post request
   public void doPost(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException
   {
      long term;
      String result, path;

      response.setContentType("text/html");
      PrintWriter out = new PrintWriter (response.getOutputStream());
      out.println("<html>");
      out.println("<head><title>Hello</title></head>");

      try
      {
         LogicServer ls = new LogicServer();
         ls.Init("");
         if ( (path = request.getParameter("path")) == null) path = "";
         path = path + "\\hello.xpl";
         ls.Load(path);
         term = ls.ExecStr("hello($Java Programmer$, Response)");
         if (term == 0)
            out.println("Hello Failed");
         else
         {
	         result = ls.GetStrArg(term, 2);
            out.println(result);
	      }
         ls.Close();
      }
      catch (LSException ex)
      {
         out.println("Logic Server Exception: " + ex.getMessage());
      }

      out.println("<body>");
      out.println("</body></html>");
      out.close();
   }

   //Get Servlet information
  public String getServletInfo()
   {
      return "Hello Information";
   }
}
 

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -