HttpServletResponseWrapper (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

javax.servlet.http
Class HttpServletResponseWrapper

java.lang.Object
  javax.servlet.ServletResponseWrapper
      javax.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