javax.servlet
Interface ServletContext

public interface ServletContext

JML's specification of ServletContext.

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Method Summary
Object	getAttribute(String name)
Enumeration	getAttributeNames()
ServletContext	getContext(String uripath)
String	getInitParameter(String name)
Enumeration	getInitParameterNames()
int	getMajorVersion()
String	getMimeType(String file)
int	getMinorVersion()
RequestDispatcher	getNamedDispatcher(String name)
String	getRealPath(String path)
RequestDispatcher	getRequestDispatcher(String path)
URL	getResource(String path)
InputStream	getResourceAsStream(String path)
Set	getResourcePaths(String path)
String	getServerInfo()
Servlet	getServlet(String name)           Deprecated.
String	getServletContextName()
Enumeration	getServletNames()           Deprecated.
Enumeration	getServlets()           Deprecated.
void	log(Exception exception, String msg)           Deprecated.
void	log(String msg)
void	log(String message, Throwable throwable)
void	removeAttribute(String name)
void	setAttribute(String name, Object object)

 

Method Detail

getContext

public ServletContext getContext(String uripath)

getMajorVersion

public int getMajorVersion()

getMinorVersion

public int getMinorVersion()

getMimeType

public String getMimeType(String file)

getResourcePaths

public Set getResourcePaths(String path)

getResource

public URL getResource(String path)
                         throws MalformedURLException

Throws:

MalformedURLException

getResourceAsStream

public InputStream getResourceAsStream(String path)

getRequestDispatcher

public RequestDispatcher getRequestDispatcher(String path)

getNamedDispatcher

public RequestDispatcher getNamedDispatcher(String name)

getServlet

public Servlet getServlet(String name)
                            throws ServletException

Deprecated.  

Throws:

ServletException

getServlets

public Enumeration getServlets()

Deprecated.  

getServletNames

public Enumeration getServletNames()

Deprecated.  

log

public void log(String msg)

log

public void log(Exception exception,
                String msg)

Deprecated.  

log

public void log(String message,
                Throwable throwable)

getRealPath

public String getRealPath(String path)

getServerInfo

public String getServerInfo()

getInitParameter

public String getInitParameter(String name)

getInitParameterNames

public Enumeration getInitParameterNames()

getAttribute

public Object getAttribute(String name)

getAttributeNames

public Enumeration getAttributeNames()

setAttribute

public void setAttribute(String name,
                         Object object)

removeAttribute

public void removeAttribute(String name)

getServletContextName

public String getServletContextName()