View Javadoc

1   package org.eclipse.jetty.servlet.api;
2   
3   import java.util.Collection;
4   import java.util.EnumSet;
5   
6   import org.eclipse.jetty.server.DispatcherType;
7   
8   /**
9    * FilterRegistration
10   * 
11   * Mimics the javax.servlet.FilterRegistration class to ease
12   * jetty-7/jetty-8 compatibility
13   */
14  public interface FilterRegistration
15  {
16      public void addMappingForServletNames(EnumSet<DispatcherType> dispatcherTypes, boolean isMatchAfter, String... servletNames);
17  
18      public Collection<String> getServletNameMappings();
19  
20      public void addMappingForUrlPatterns(EnumSet<DispatcherType> dispatcherTypes, boolean isMatchAfter, String... urlPatterns);
21  
22      public Collection<String> getUrlPatternMappings();
23  
24      interface Dynamic extends FilterRegistration, Registration.Dynamic
25      {
26      }
27  }