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 }