ADServlet

public class ADServlet extends HttpServlet

This class is the main servlet of the Tapenade AD tool. It calls all the needed classes to get the user’s data, to launch the differentiation and to print the result.

Methods

cleanSubDirectory

protected void cleanSubDirectory(String subDirectory, HttpSession session, String tmpDirToClean)

Clean subDirectory, to avoid display of old results.

Parameters
  • subDirectory – tapenadeGenDir or tapenadeOutputDir

  • session – HttpSession

  • tmpDirToClean – directory to clean

doGet

public void doGet(HttpServletRequest req, HttpServletResponse res)

Called by the Tapenade server.

Parameters
  • req – an HttpServletRequest object that contains the request the client has made of the servlet

  • res – an HttpServletResponse object that contains the response the servlet sends to the client

Throws
  • IOException – if an input or output error is detected when the servlet handles the request

doPost

public void doPost(HttpServletRequest req, HttpServletResponse res)

Called by the Tapenade web server. This method is redefined because, to transmit the data, we use the POST method.

Parameters
  • req – an HttpServletRequest object that contains the request the client has made of the servlet

  • res – an HttpServletResponse object that contains the response the servlet sends to the client

Throws
  • IOException – if an input or output error is detected when the servlet handles the request

getServletDir

protected final String getServletDir()
Returns

the servlet working directory.