Module type JavaServlet.HTTPSessionAttributeListener

module type HTTPSessionAttributeListener = sig .. end

The module type for listeners compiled with -servlet session-attribute-listener.

val attribute_added : JavaServlet.http_session_binding_event -> unit

Called to notify that a new session attribute has been added to a session; see attributeAdded(...).

val attribute_removed : JavaServlet.http_session_binding_event -> unit

Called to notify that a session attribute has been removed from a session; see attributeRemoved(...).

val attribute_replaced : JavaServlet.http_session_binding_event -> unit

Called to notify that a session attribute has been replaced in a session; see attributeReplaced(...).