Package com.io7m.idstore.server.http
Class IdHTTPServletFunctional
java.lang.Object
jakarta.servlet.GenericServlet
jakarta.servlet.http.HttpServlet
com.io7m.idstore.server.http.IdHTTPServletFunctional
- All Implemented Interfaces:
jakarta.servlet.Servlet,jakarta.servlet.ServletConfig,Serializable
- Direct Known Subclasses:
IdA1ServletCommand,IdA1ServletHealth,IdA1ServletLogin,IdA1ServletVersions,IdU1ServletCommand,IdU1ServletHealth,IdU1ServletLogin,IdU1ServletVersion,IdU1ServletVersions,IdUVCSS,IdUVEmailAdd,IdUVEmailAddRun,IdUVEmailRemoveRun,IdUVEmailVerificationDeny,IdUVEmailVerificationPermit,IdUVLogin,IdUVLogo,IdUVLogout,IdUVMain,IdUVMessage,IdUVPasswordReset,IdUVPasswordResetConfirm,IdUVPasswordResetConfirmRun,IdUVPasswordResetRun,IdUVPasswordUpdate,IdUVPasswordUpdateRun,IdUVRealnameUpdate,IdUVRealnameUpdateRun
public abstract class IdHTTPServletFunctional
extends jakarta.servlet.http.HttpServlet
A functional servlet.
- See Also:
-
Constructor Summary
ConstructorsConstructorDescriptionA functional servlet. -
Method Summary
Methods inherited from class jakarta.servlet.http.HttpServlet
doDelete, doGet, doHead, doOptions, doPost, doPut, doTrace, getLastModifiedMethods inherited from class jakarta.servlet.GenericServlet
destroy, getInitParameter, getInitParameterNames, getServletConfig, getServletContext, getServletInfo, getServletName, init, init, log, log
-
Constructor Details
-
IdHTTPServletFunctional
A functional servlet.- Parameters:
inCore- The functional core
-
-
Method Details
-
service
protected final void service(jakarta.servlet.http.HttpServletRequest request, jakarta.servlet.http.HttpServletResponse response) throws jakarta.servlet.ServletException, IOException - Overrides:
servicein classjakarta.servlet.http.HttpServlet- Throws:
jakarta.servlet.ServletExceptionIOException
-
service
public final void service(jakarta.servlet.ServletRequest request, jakarta.servlet.ServletResponse response) throws jakarta.servlet.ServletException, IOException - Specified by:
servicein interfacejakarta.servlet.Servlet- Overrides:
servicein classjakarta.servlet.http.HttpServlet- Throws:
jakarta.servlet.ServletExceptionIOException
-