mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
58 lines
2.2 KiB
Java
58 lines
2.2 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.InputStream;
|
|
import java.net.MalformedURLException;
|
|
import java.net.URL;
|
|
import java.util.Enumeration;
|
|
import java.util.Set;
|
|
|
|
public interface ServletContext {
|
|
public ServletContext getContext(String uripath);
|
|
public int getMajorVersion();
|
|
public int getMinorVersion();
|
|
public String getMimeType(String file);
|
|
public Set getResourcePaths(String path);
|
|
public URL getResource(String path) throws MalformedURLException;
|
|
public InputStream getResourceAsStream(String path);
|
|
public RequestDispatcher getRequestDispatcher(String path);
|
|
public RequestDispatcher getNamedDispatcher(String name);
|
|
public Servlet getServlet(String name) throws ServletException;
|
|
public Enumeration getServlets();
|
|
public Enumeration getServletNames();
|
|
public void log(String msg);
|
|
public void log(Exception exception, String msg);
|
|
public void log(String message, Throwable throwable);
|
|
public String getRealPath(String path);
|
|
public String getServerInfo();
|
|
public String getInitParameter(String name);
|
|
public Enumeration getInitParameterNames();
|
|
public Object getAttribute(String name);
|
|
public Enumeration getAttributeNames();
|
|
public void setAttribute(String name, Object object);
|
|
public void removeAttribute(String name);
|
|
public String getServletContextName();
|
|
}
|