1 package nginx.unit; 2 3 public interface DynamicPathRequest 4 extends DynamicDispatcherRequest 5 { setServletPath(String servlet_path, String path_info)6 public void setServletPath(String servlet_path, String path_info); 7 setServletPath(String filter_path, String servlet_path, String path_info)8 public void setServletPath(String filter_path, String servlet_path, String path_info); 9 setRequestURI(String uri)10 public void setRequestURI(String uri); 11 setQueryString(String query)12 public void setQueryString(String query); 13 getFilterPath()14 public String getFilterPath(); 15 } 16