javax.servlet
Class ServletResponseWrapper

java.lang.Object
  javax.servlet.ServletResponseWrapper

All Implemented Interfaces:

ServletResponse

Direct Known Subclasses:

HttpServletResponseWrapper

public class ServletResponseWrapper

extends Object

implements ServletResponse

JML's specification of ServletResponseWrapper

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

ServletResponseWrapper(ServletResponse response)

 

Model Method Summary

 

Model methods inherited from class java.lang.Object

hashValue

 

Method Summary
void	flushBuffer()
int	getBufferSize()
String	getCharacterEncoding()
String	getContentType()
Locale	getLocale()
ServletOutputStream	getOutputStream()
ServletResponse	getResponse()
PrintWriter	getWriter()
boolean	isCommitted()
void	reset()
void	resetBuffer()
void	setBufferSize(int size)
void	setCharacterEncoding(String charset)
void	setContentLength(int len)
void	setContentType(String type)
void	setLocale(Locale loc)
void	setResponse(ServletResponse response)

 

Methods inherited from class java.lang.Object

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

 

Constructor Detail

ServletResponseWrapper

public ServletResponseWrapper(ServletResponse response)

getResponse

public ServletResponse getResponse()

setResponse

public void setResponse(ServletResponse response)

setCharacterEncoding

public void setCharacterEncoding(String charset)

Specified by:

setCharacterEncoding in interface ServletResponse

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

getCharacterEncoding

public String getCharacterEncoding()

Specified by:

getCharacterEncoding in interface ServletResponse

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

getOutputStream

public ServletOutputStream getOutputStream()
                                    throws IOException

Specified by:

getOutputStream in interface ServletResponse

Throws:

IOException

Specifications inherited from overridden method in interface ServletResponse:

ensures \result != null;

getWriter

public PrintWriter getWriter()
                      throws IOException

Specified by:

getWriter in interface ServletResponse

Throws:

IOException

Specifications inherited from overridden method in interface ServletResponse:

ensures \result != null;

setContentLength

public void setContentLength(int len)

Specified by:

setContentLength in interface ServletResponse

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

setContentType

public void setContentType(String type)

Specified by:

setContentType in interface ServletResponse

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

getContentType

public String getContentType()

Specified by:

getContentType in interface ServletResponse

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

setBufferSize

public void setBufferSize(int size)

Specified by:

setBufferSize in interface ServletResponse

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

getBufferSize

public int getBufferSize()

Specified by:

getBufferSize in interface ServletResponse

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

flushBuffer

public void flushBuffer()
                 throws IOException

Specified by:

flushBuffer in interface ServletResponse

Throws:

IOException

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

isCommitted

public boolean isCommitted()

Specified by:

isCommitted in interface ServletResponse

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

reset

public void reset()

Specified by:

reset in interface ServletResponse

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

resetBuffer

public void resetBuffer()

Specified by:

resetBuffer in interface ServletResponse

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

setLocale

public void setLocale(Locale loc)

Specified by:

setLocale in interface ServletResponse

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

getLocale

public Locale getLocale()

Specified by:

getLocale in interface ServletResponse

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