javax.servlet
Class ServletRequestWrapper

java.lang.Object
  javax.servlet.ServletRequestWrapper

All Implemented Interfaces:

ServletRequest

Direct Known Subclasses:

HttpServletRequestWrapper

public class ServletRequestWrapper

extends Object

implements ServletRequest

JML's specification of ServletRequestWrapper

Class Specifications

Specifications inherited from class Object

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

Model Field Summary

 

Model fields inherited from class java.lang.Object

_getClass, objectState, theString

 

Ghost Field Summary

 

Ghost fields inherited from class java.lang.Object

objectTimesFinalized, owner

 

Constructor Summary

ServletRequestWrapper(ServletRequest request)

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

Method Summary
Object	getAttribute(String name)
Enumeration	getAttributeNames()
String	getCharacterEncoding()
int	getContentLength()
String	getContentType()
ServletInputStream	getInputStream()
String	getLocalAddr()
Locale	getLocale()
Enumeration	getLocales()
String	getLocalName()
int	getLocalPort()
String	getParameter(String name)
Map	getParameterMap()
Enumeration	getParameterNames()
String[]	getParameterValues(String name)
String	getProtocol()
BufferedReader	getReader()
String	getRealPath(String path)
String	getRemoteAddr()
String	getRemoteHost()
int	getRemotePort()
ServletRequest	getRequest()
RequestDispatcher	getRequestDispatcher(String path)
String	getScheme()
String	getServerName()
int	getServerPort()
boolean	isSecure()
void	removeAttribute(String name)
void	setAttribute(String name, Object o)
void	setCharacterEncoding(String enc)
void	setRequest(ServletRequest request)

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Constructor Detail

ServletRequestWrapper

public ServletRequestWrapper(ServletRequest request)

getRequest

public ServletRequest getRequest()

setRequest

public void setRequest(ServletRequest request)

getAttribute

public Object getAttribute(String name)

Specified by:

getAttribute in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getAttributeNames

public Enumeration getAttributeNames()

Specified by:

getAttributeNames in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:

ensures \result != null&&\result .elementType == java.lang.String.class;

getCharacterEncoding

public String getCharacterEncoding()

Specified by:

getCharacterEncoding in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

setCharacterEncoding

public void setCharacterEncoding(String enc)
                          throws UnsupportedEncodingException

Specified by:

setCharacterEncoding in interface ServletRequest

Throws:

UnsupportedEncodingException

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getContentLength

public int getContentLength()

Specified by:

getContentLength in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getContentType

public String getContentType()

Specified by:

getContentType in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getInputStream

public ServletInputStream getInputStream()
                                  throws IOException

Specified by:

getInputStream in interface ServletRequest

Throws:

IOException

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getParameter

public String getParameter(String name)

Specified by:

getParameter in interface ServletRequest

Specifications inherited from overridden method getParameter(String name) in interface ServletRequest:

assignable \nothing;

getParameterMap

public Map getParameterMap()

Specified by:

getParameterMap in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getParameterNames

public Enumeration getParameterNames()

Specified by:

getParameterNames in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:

ensures \result != null&&\result .elementType == java.lang.String.class;

getParameterValues

public String[] getParameterValues(String name)

Specified by:

getParameterValues in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getProtocol

public String getProtocol()

Specified by:

getProtocol in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getScheme

public String getScheme()

Specified by:

getScheme in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getServerName

public String getServerName()

Specified by:

getServerName in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getServerPort

public int getServerPort()

Specified by:

getServerPort in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getReader

public BufferedReader getReader()
                         throws IOException

Specified by:

getReader in interface ServletRequest

Throws:

IOException

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getRemoteAddr

public String getRemoteAddr()

Specified by:

getRemoteAddr in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getRemoteHost

public String getRemoteHost()

Specified by:

getRemoteHost in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

setAttribute

public void setAttribute(String name,
                         Object o)

Specified by:

setAttribute in interface ServletRequest

Specifications inherited from overridden method setAttribute(String name, Object o) in interface ServletRequest:

public behavior
assignable objectState;

removeAttribute

public void removeAttribute(String name)

Specified by:

removeAttribute in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getLocale

public Locale getLocale()

Specified by:

getLocale in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getLocales

public Enumeration getLocales()

Specified by:

getLocales in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

isSecure

public boolean isSecure()

Specified by:

isSecure in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getRequestDispatcher

public RequestDispatcher getRequestDispatcher(String path)

Specified by:

getRequestDispatcher in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getRealPath

public String getRealPath(String path)

Specified by:

getRealPath in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getRemotePort

public int getRemotePort()

Specified by:

getRemotePort in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getLocalName

public String getLocalName()

Specified by:

getLocalName in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getLocalAddr

public String getLocalAddr()

Specified by:

getLocalAddr in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---

getLocalPort

public int getLocalPort()

Specified by:

getLocalPort in interface ServletRequest

Specifications inherited from overridden method in interface ServletRequest:
      --- None ---