Module type JavaServlet.Generic

module type Generic = sig .. end

The module type for servlets compiled with -servlet generic.

type t

The type of values stored by servlets.

val init : JavaServlet.generic -> t

Initializes a new servlet by returning its value (the function is executed by init(...)).

val service : t -> JavaServlet.generic -> JavaServlet.request -> JavaServlet.response -> unit

service v inst req resp handles the request req through the servlet instance inst (associated to value v). The parameter resp is used to send the response.

val destroy : t -> JavaServlet.generic -> unit

Called by the servlet container when the servlet is being taken out of service.