Checking Servlets
To analyse http servlet program type the following command line:
wasp <top file name> -servlet [<other options>]
A top file of servlet program should include declarations of any servlet methods: doGet, doPost, etc. The class javax.servlet.http.HttpServlet should be extended in the class that includes these declarations.
Launch of the servlet program is simulated by the Servlet model class javax.servlet.http.HttpServlet_WaspModel located in the mJDK directory; see section Analysed configuration.
Note that the standard javax.servlet package must be accessible through the class paths.
|
