001package io.prometheus.client.servlet.common.adapter;
002
003public interface HttpServletRequestAdapter {
004    String getHeader(String name);
005    String getRequestURI();
006    String getMethod();
007    String[] getParameterValues(String name);
008    String getContextPath();
009}