Package com.io7m.idstore.server.http

# Class IdHTTPServletCoreInstrumented

java.lang.Object
com.io7m.idstore.server.http.IdHTTPServletCoreInstrumented

All Implemented Interfaces:
  `IdHTTPServletFunctionalCoreType`

public final class IdHTTPServletCoreInstrumented extends Object implements IdHTTPServletFunctionalCoreType
A servlet core that executes the given core with instrumentation.

- ## Method Summary

  Modifier and Type
  Method
  Description
  `IdHTTPServletResponseType`
  `execute(jakarta.servlet.http.HttpServletRequest request, IdHTTPServletRequestInformation information)`
  Execute the core.
  `static IdHTTPServletFunctionalCoreType`
  `withInstrumentation(com.io7m.repetoir.core.RPServiceDirectoryType inServices, IdUserDomain inDomain, IdHTTPServletFunctionalCoreType inCore)`

  ### Methods inherited from class java.lang.Object

  `clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- ## Method Details

  - ### withInstrumentation

    public static IdHTTPServletFunctionalCoreType withInstrumentation(com.io7m.repetoir.core.RPServiceDirectoryType inServices, IdUserDomain inDomain, IdHTTPServletFunctionalCoreType inCore)
    Parameters:
      `inServices` - The services
      `inDomain` - The user domain
      `inCore` - The core
    Returns:
      A servlet core that executes the given core with instrumentation

  - ### execute

    public IdHTTPServletResponseType execute(jakarta.servlet.http.HttpServletRequest request, IdHTTPServletRequestInformation information)
    Description copied from interface: `IdHTTPServletFunctionalCoreType`
    Execute the core.
    Specified by:
      `execute` in interface `IdHTTPServletFunctionalCoreType`
    Parameters:
      `request` - The request
      `information` - The extra request information
    Returns:
      The response