Class ServletManager.FilterHolder

java.lang.Object
tech.riemann.nif.support.tiangong.container.ServletManager.FilterHolder
Enclosing class:
ServletManager
public static class ServletManager.FilterHolder extends Object

  • Constructor Details

    • FilterHolder

      public FilterHolder(String name, jakarta.servlet.Filter filter)

  • Method Details

    • setAsyncSupported

      public void setAsyncSupported(boolean asyncSupported)

    • isAsyncSupported

      public boolean isAsyncSupported()

    • getName

      public String getName()

    • getFilter

      public jakarta.servlet.Filter getFilter()

    • getUrlPatterns

      public Set<String> getUrlPatterns()

    • getInitParameters

      public Map<String,String> getInitParameters()

    • matches

      public boolean matches(String servletPath)

    • matches

      public boolean matches(String servletPath, String servletName, ServletManager.ServletHolder targetServlet, jakarta.servlet.DispatcherType dispatcherType)

    • getServletNames

      public Set<String> getServletNames()

    • getDispatcherTypes

      public EnumSet<jakarta.servlet.DispatcherType> getDispatcherTypes()

    • setDispatcherTypes

      public void setDispatcherTypes(EnumSet<jakarta.servlet.DispatcherType> types)

    • init

      public void init(jakarta.servlet.ServletContext servletContext) throws jakarta.servlet.ServletException
      Throws:
      jakarta.servlet.ServletException