IdHTTPRequestTimeFilter

java.lang.Object

com.io7m.idstore.server.http.IdHTTPRequestTimeFilter

All Implemented Interfaces:: jakarta.servlet.Filter

public final class IdHTTPRequestTimeFilter extends Object implements jakarta.servlet.Filter

A filter that tracks request times.

Constructor Summary

Constructors

Constructor

Description

IdHTTPRequestTimeFilter(IdMetricsServiceType inMetrics, IdUserDomain inDomain, IdServerClock inClock)

A filter that tracks request times.
Method Summary

Modifier and Type

Method

Description

void

doFilter(jakarta.servlet.ServletRequest request, jakarta.servlet.ServletResponse response, jakarta.servlet.FilterChain chain)

String

toString()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface jakarta.servlet.Filter
destroy, init

Constructor Details
- IdHTTPRequestTimeFilter
  
  public IdHTTPRequestTimeFilter(IdMetricsServiceType inMetrics, IdUserDomain inDomain, IdServerClock inClock)
  
  A filter that tracks request times.
  
  Parameters:
  
  inMetrics - The metrics
  
  inDomain - The user domain
  
  inClock - The clock
Method Details
- doFilter
  
  public void doFilter(jakarta.servlet.ServletRequest request, jakarta.servlet.ServletResponse response, jakarta.servlet.FilterChain chain) throws IOException, jakarta.servlet.ServletException
  
  Specified by:
  
  doFilter in interface jakarta.servlet.Filter
  
  Throws:
  
  IOException
  
  jakarta.servlet.ServletException
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object