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
10
11
12
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 }