/** * * Copyright 2003-2004 The Apache Software Foundation * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. * You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ /* * Adapted from the Java Servlet API version 2.4 as available at * http://search.maven.org/remotecontent?filepath=javax/servlet/servlet-api/2.4/servlet-api-2.4-sources.jar * Only relevant stubs of this file have been retained for test purposes. */ package javax.servlet; import java.io.BufferedReader; import java.io.IOException; import java.util.Enumeration; import java.util.Locale; import java.util.Map; public interface ServletRequest { public Object getAttribute(String name); public Enumeration getAttributeNames(); public String getCharacterEncoding(); public void setCharacterEncoding(String env) throws java.io.UnsupportedEncodingException; public int getContentLength(); public String getContentType(); public ServletInputStream getInputStream() throws IOException; public String getParameter(String name); public Enumeration getParameterNames(); public String[] getParameterValues(String name); public Map getParameterMap(); public String getProtocol(); public String getScheme(); public String getServerName(); public int getServerPort(); public BufferedReader getReader() throws IOException; public String getRemoteAddr(); public String getRemoteHost(); public void setAttribute(String name, Object o); public void removeAttribute(String name); public Locale getLocale(); public Enumeration getLocales(); public boolean isSecure(); public RequestDispatcher getRequestDispatcher(String path); public String getRealPath(String path); public int getRemotePort(); public String getLocalName(); public String getLocalAddr(); public int getLocalPort(); }