Package com.io7m.idstore.server.http

# Class IdHTTPServletRequestContextExtractor

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

All Implemented Interfaces:
  `io.opentelemetry.context.propagation.TextMapGetter<jakarta.servlet.http.HttpServletRequest>`

public final class IdHTTPServletRequestContextExtractor extends Object implements io.opentelemetry.context.propagation.TextMapGetter<jakarta.servlet.http.HttpServletRequest>
A propagator that can extract fields from a servlet request.

- ## Method Summary

  Modifier and Type
  Method
  Description
  `String`
  `get(jakarta.servlet.http.HttpServletRequest request, String name)`
  `static io.opentelemetry.context.propagation.TextMapGetter<jakarta.servlet.http.HttpServletRequest>`
  `instance()`
  `Iterable<String>`
  `keys(jakarta.servlet.http.HttpServletRequest request)`

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

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

- ## Method Details

  - ### instance

    public static io.opentelemetry.context.propagation.TextMapGetter<jakarta.servlet.http.HttpServletRequest> instance()
    Returns:
      A propagator that can extract fields from a servlet request.

  - ### keys

    public Iterable<String> keys(jakarta.servlet.http.HttpServletRequest request)
    Specified by:
      `keys` in interface `io.opentelemetry.context.propagation.TextMapGetter<jakarta.servlet.http.HttpServletRequest>`

  - ### get

    public String get(jakarta.servlet.http.HttpServletRequest request, String name)
    Specified by:
      `get` in interface `io.opentelemetry.context.propagation.TextMapGetter<jakarta.servlet.http.HttpServletRequest>`