mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
63 lines
2.3 KiB
Java
63 lines
2.3 KiB
Java
/**
|
|
*
|
|
* 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();
|
|
}
|