1 package org.eclipse.jetty.servlet.api;
2 //========================================================================
3 //Copyright 2011-2012 Mort Bay Consulting Pty. Ltd.
4 //------------------------------------------------------------------------
5 //All rights reserved. This program and the accompanying materials
6 //are made available under the terms of the Eclipse Public License v1.0
7 //and Apache License v2.0 which accompanies this distribution.
8 //The Eclipse Public License is available at
9 //http://www.eclipse.org/legal/epl-v10.html
10 //The Apache License v2.0 is available at
11 //http://www.opensource.org/licenses/apache2.0.php
12 //You may elect to redistribute this code under either of these licenses.
13 //========================================================================
14
15 import java.util.Collection;
16 import java.util.EnumSet;
17
18 import org.eclipse.jetty.server.DispatcherType;
19
20 /**
21 * FilterRegistration
22 *
23 * Mimics the javax.servlet.FilterRegistration class to ease
24 * jetty-7/jetty-8 compatibility
25 */
26 public interface FilterRegistration
27 {
28 public void addMappingForServletNames(EnumSet<DispatcherType> dispatcherTypes, boolean isMatchAfter, String... servletNames);
29
30 public Collection<String> getServletNameMappings();
31
32 public void addMappingForUrlPatterns(EnumSet<DispatcherType> dispatcherTypes, boolean isMatchAfter, String... urlPatterns);
33
34 public Collection<String> getUrlPatternMappings();
35
36 interface Dynamic extends FilterRegistration, Registration.Dynamic
37 {
38 }
39 }