JML

javax.servlet.http
Class HttpServletResponseWrapper

java.lang.Object
  extended byjavax.servlet.ServletResponseWrapper
      extended byjavax.servlet.http.HttpServletResponseWrapper
All Implemented Interfaces:
HttpServletResponse, ServletResponse

public class HttpServletResponseWrapper
extends ServletResponseWrapper
implements HttpServletResponse

JML's specification of HttpServletResponseWrapper.


Class Specifications

Specifications inherited from class Object
represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT;
public represents _getClass <- \typeof(this);

Specifications inherited from interface HttpServletResponse
initially javax.servlet.http.HttpServletResponse.SC_CONTINUE == 100;
initially javax.servlet.http.HttpServletResponse.SC_SWITCHING_PROTOCOLS == 101;
initially javax.servlet.http.HttpServletResponse.SC_OK == 200;
initially javax.servlet.http.HttpServletResponse.SC_CREATED == 201;
initially javax.servlet.http.HttpServletResponse.SC_ACCEPTED == 202;
initially javax.servlet.http.HttpServletResponse.SC_NON_AUTHORITATIVE_INFORMATION == 203;
initially javax.servlet.http.HttpServletResponse.SC_NO_CONTENT == 204;
initially javax.servlet.http.HttpServletResponse.SC_RESET_CONTENT == 205;
initially javax.servlet.http.HttpServletResponse.SC_PARTIAL_CONTENT == 206;
initially javax.servlet.http.HttpServletResponse.SC_MULTIPLE_CHOICES == 300;
initially javax.servlet.http.HttpServletResponse.SC_MOVED_PERMANENTLY == 301;
initially javax.servlet.http.HttpServletResponse.SC_MOVED_TEMPORARILY == 302;
initially javax.servlet.http.HttpServletResponse.SC_SEE_OTHER == 303;
initially javax.servlet.http.HttpServletResponse.SC_NOT_MODIFIED == 304;
initially javax.servlet.http.HttpServletResponse.SC_USE_PROXY == 305;
initially javax.servlet.http.HttpServletResponse.SC_TEMPORARY_REDIRECT == 307;
initially javax.servlet.http.HttpServletResponse.SC_BAD_REQUEST == 400;
initially javax.servlet.http.HttpServletResponse.SC_UNAUTHORIZED == 401;
initially javax.servlet.http.HttpServletResponse.SC_PAYMENT_REQUIRED == 402;
initially javax.servlet.http.HttpServletResponse.SC_FORBIDDEN == 403;
initially javax.servlet.http.HttpServletResponse.SC_NOT_FOUND == 404;
initially javax.servlet.http.HttpServletResponse.SC_METHOD_NOT_ALLOWED == 405;
initially javax.servlet.http.HttpServletResponse.SC_NOT_ACCEPTABLE == 406;
initially javax.servlet.http.HttpServletResponse.SC_PROXY_AUTHENTICATION_REQUIRED == 407;
initially javax.servlet.http.HttpServletResponse.SC_REQUEST_TIMEOUT == 408;
initially javax.servlet.http.HttpServletResponse.SC_CONFLICT == 409;
initially javax.servlet.http.HttpServletResponse.SC_GONE == 410;
initially javax.servlet.http.HttpServletResponse.SC_LENGTH_REQUIRED == 411;
initially javax.servlet.http.HttpServletResponse.SC_PRECONDITION_FAILED == 412;
initially javax.servlet.http.HttpServletResponse.SC_REQUEST_ENTITY_TOO_LARGE == 413;
initially javax.servlet.http.HttpServletResponse.SC_REQUEST_URI_TOO_LONG == 414;
initially javax.servlet.http.HttpServletResponse.SC_UNSUPPORTED_MEDIA_TYPE == 415;
initially javax.servlet.http.HttpServletResponse.SC_REQUESTED_RANGE_NOT_SATISFIABLE == 416;
initially javax.servlet.http.HttpServletResponse.SC_EXPECTATION_FAILED == 417;
initially javax.servlet.http.HttpServletResponse.SC_INTERNAL_SERVER_ERROR == 500;
initially javax.servlet.http.HttpServletResponse.SC_NOT_IMPLEMENTED == 501;
initially javax.servlet.http.HttpServletResponse.SC_BAD_GATEWAY == 502;
initially javax.servlet.http.HttpServletResponse.SC_SERVICE_UNAVAILABLE == 503;
initially javax.servlet.http.HttpServletResponse.SC_GATEWAY_TIMEOUT == 504;
initially javax.servlet.http.HttpServletResponse.SC_HTTP_VERSION_NOT_SUPPORTED == 505;

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
 
Field Summary
 
Fields inherited from interface javax.servlet.http.HttpServletResponse
SC_ACCEPTED, SC_BAD_GATEWAY, SC_BAD_REQUEST, SC_CONFLICT, SC_CONTINUE, SC_CREATED, SC_EXPECTATION_FAILED, SC_FORBIDDEN, SC_GATEWAY_TIMEOUT, SC_GONE, SC_HTTP_VERSION_NOT_SUPPORTED, SC_INTERNAL_SERVER_ERROR, SC_LENGTH_REQUIRED, SC_METHOD_NOT_ALLOWED, SC_MOVED_PERMANENTLY, SC_MOVED_TEMPORARILY, SC_MULTIPLE_CHOICES, SC_NO_CONTENT, SC_NON_AUTHORITATIVE_INFORMATION, SC_NOT_ACCEPTABLE, SC_NOT_FOUND, SC_NOT_IMPLEMENTED, SC_NOT_MODIFIED, SC_OK, SC_PARTIAL_CONTENT, SC_PAYMENT_REQUIRED, SC_PRECONDITION_FAILED, SC_PROXY_AUTHENTICATION_REQUIRED, SC_REQUEST_ENTITY_TOO_LARGE, SC_REQUEST_TIMEOUT, SC_REQUEST_URI_TOO_LONG, SC_REQUESTED_RANGE_NOT_SATISFIABLE, SC_RESET_CONTENT, SC_SEE_OTHER, SC_SERVICE_UNAVAILABLE, SC_SWITCHING_PROTOCOLS, SC_TEMPORARY_REDIRECT, SC_UNAUTHORIZED, SC_UNSUPPORTED_MEDIA_TYPE, SC_USE_PROXY
 
Constructor Summary
HttpServletResponseWrapper(HttpServletResponse response)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Method Summary
 void addCookie(Cookie cookie)
           
 void addDateHeader(String name, long date)
           
 void addHeader(String name, String value)
           
 void addIntHeader(String name, int value)
           
 boolean containsHeader(String name)
           
 String encodeRedirectURL(String url)
           
 String encodeRedirectUrl(String url)
           
 String encodeURL(String url)
           
 String encodeUrl(String url)
           
 void sendError(int sc)
           
 void sendError(int sc, String msg)
           
 void sendRedirect(String location)
           
 void setDateHeader(String name, long date)
           
 void setHeader(String name, String value)
           
 void setIntHeader(String name, int value)
           
 void setStatus(int sc)
           
 void setStatus(int sc, String sm)
           
 
Methods inherited from class javax.servlet.ServletResponseWrapper
flushBuffer, getBufferSize, getCharacterEncoding, getContentType, getLocale, getOutputStream, getResponse, getWriter, isCommitted, reset, resetBuffer, setBufferSize, setCharacterEncoding, setContentLength, setContentType, setLocale, setResponse
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface javax.servlet.ServletResponse
flushBuffer, getBufferSize, getCharacterEncoding, getContentType, getLocale, getOutputStream, getWriter, isCommitted, reset, resetBuffer, setBufferSize, setCharacterEncoding, setContentLength, setContentType, setLocale
 

Constructor Detail

HttpServletResponseWrapper

public HttpServletResponseWrapper(HttpServletResponse response)
Method Detail

addCookie

public void addCookie(Cookie cookie)
Specified by:
addCookie in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

containsHeader

public boolean containsHeader(String name)
Specified by:
containsHeader in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

encodeURL

public String encodeURL(String url)
Specified by:
encodeURL in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

encodeRedirectURL

public String encodeRedirectURL(String url)
Specified by:
encodeRedirectURL in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

encodeUrl

public String encodeUrl(String url)
Specified by:
encodeUrl in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

encodeRedirectUrl

public String encodeRedirectUrl(String url)
Specified by:
encodeRedirectUrl in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

sendError

public void sendError(int sc,
                      String msg)
               throws IOException
Specified by:
sendError in interface HttpServletResponse
Throws:
IOException
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

sendError

public void sendError(int sc)
               throws IOException
Specified by:
sendError in interface HttpServletResponse
Throws:
IOException
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

sendRedirect

public void sendRedirect(String location)
                  throws IOException
Specified by:
sendRedirect in interface HttpServletResponse
Throws:
IOException
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

setDateHeader

public void setDateHeader(String name,
                          long date)
Specified by:
setDateHeader in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

addDateHeader

public void addDateHeader(String name,
                          long date)
Specified by:
addDateHeader in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

setHeader

public void setHeader(String name,
                      String value)
Specified by:
setHeader in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

addHeader

public void addHeader(String name,
                      String value)
Specified by:
addHeader in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

setIntHeader

public void setIntHeader(String name,
                         int value)
Specified by:
setIntHeader in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

addIntHeader

public void addIntHeader(String name,
                         int value)
Specified by:
addIntHeader in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

setStatus

public void setStatus(int sc)
Specified by:
setStatus in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- None ---

setStatus

public void setStatus(int sc,
                      String sm)
Specified by:
setStatus in interface HttpServletResponse
Specifications inherited from overridden method in interface HttpServletResponse:
      --- 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.