https://javaee.github.io/servlet-spec/: Java.net - The Source for Java Technology Collaboration (GlassFish Community) 
public interface javax.servlet.http.HttpServletMapping
  minor version: 0
  major version: 59
  flags: flags: (0x0601) ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT
  this_class: javax.servlet.http.HttpServletMapping
  super_class: java.lang.Object
{
  public abstract java.lang.String getMatchValue();
    descriptor: ()Ljava/lang/String;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract java.lang.String getPattern();
    descriptor: ()Ljava/lang/String;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract java.lang.String getServletName();
    descriptor: ()Ljava/lang/String;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT

  public abstract javax.servlet.http.MappingMatch getMappingMatch();
    descriptor: ()Ljavax/servlet/http/MappingMatch;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
}
SourceFile: "HttpServletMapping.java"