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>