JML

javax.servlet
Class ServletResponseWrapper

java.lang.Object
  extended byjavax.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)
Method Detail

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 ---

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.