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, 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, IdHTTPServletFunctionalCoreType inCore)
  
  Parameters:
  
  inServices - The services
  
  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