.. java:import:: fr.inria.tapenade.representation PositionAndMessage

.. java:import:: fr.inria.tapenade.representation TapEnv

.. java:import:: fr.inria.tapenade.representation TapList

.. java:import:: fr.inria.tapenade.servletutils DataRecovery

.. java:import:: fr.inria.tapenade.utils Chrono

.. java:import:: java.io File

.. java:import:: java.io IOException

.. java:import:: java.io PrintWriter

.. java:import:: java.net InetAddress

.. java:import:: java.time LocalDateTime

.. java:import:: java.util Objects

.. java:import:: java.util Vector

.. java:import:: java.util.zip ZipEntry

.. java:import:: java.util.zip ZipOutputStream

.. java:import:: javax.servlet.http HttpServlet

.. java:import:: javax.servlet.http HttpServletRequest

.. java:import:: javax.servlet.http HttpServletResponse

.. java:import:: javax.servlet.http HttpSession

ADServlet
=========

.. java:package:: fr.inria.tapenade.toplevel
   :noindex:

.. java:type:: 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
^^^^^^^^^^^^^^^^^

.. java:method:: protected void cleanSubDirectory(String subDirectory, HttpSession session, String tmpDirToClean)
   :outertype: ADServlet

   Clean subDirectory, to avoid display of old results.

   :param subDirectory: tapenadeGenDir or tapenadeOutputDir
   :param session: HttpSession
   :param tmpDirToClean: directory to clean

doGet
^^^^^

.. java:method:: @Override public void doGet(HttpServletRequest req, HttpServletResponse res) throws IOException
   :outertype: ADServlet

   Called by the Tapenade server.

   :param req: an HttpServletRequest object that contains the request the client has made of the servlet
   :param 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
^^^^^^

.. java:method:: @Override public void doPost(HttpServletRequest req, HttpServletResponse res) throws IOException
   :outertype: ADServlet

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

   :param req: an HttpServletRequest object that contains the request the client has made of the servlet
   :param 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
^^^^^^^^^^^^^

.. java:method:: protected final String getServletDir()
   :outertype: ADServlet

   :return: the servlet working directory.