1 package org.eclipse.jetty.servlet.api;
2
3 import java.util.Collection;
4 import java.util.Set;
5
6 public interface ServletRegistration
7 {
8 public Set<String> addMapping(String... urlPatterns);
9
10 public Collection<String> getMappings();
11
12 public String getRunAsRole();
13
14 interface Dynamic extends ServletRegistration, Registration.Dynamic
15 {
16 public void setLoadOnStartup(int loadOnStartup);
17
18 public void setRunAsRole(String roleName);
19 }
20
21 }