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

All Superinterfaces:
ServletResponse
All Known Implementing Classes:
HttpServletResponseWrapper
public interface HttpServletResponse
extends ServletResponse

JML's specification of HttpServletResponse.

Class Specifications
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;

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

Field Summary
static int SC_ACCEPTED
           
static int SC_BAD_GATEWAY
           
static int SC_BAD_REQUEST
           
static int SC_CONFLICT
           
static int SC_CONTINUE
           
static int SC_CREATED
           
static int SC_EXPECTATION_FAILED
           
static int SC_FORBIDDEN
           
static int SC_GATEWAY_TIMEOUT
           
static int SC_GONE
           
static int SC_HTTP_VERSION_NOT_SUPPORTED
           
static int SC_INTERNAL_SERVER_ERROR
           
static int SC_LENGTH_REQUIRED
           
static int SC_METHOD_NOT_ALLOWED
           
static int SC_MOVED_PERMANENTLY
           
static int SC_MOVED_TEMPORARILY
           
static int SC_MULTIPLE_CHOICES
           
static int SC_NO_CONTENT
           
static int SC_NON_AUTHORITATIVE_INFORMATION
           
static int SC_NOT_ACCEPTABLE
           
static int SC_NOT_FOUND
           
static int SC_NOT_IMPLEMENTED
           
static int SC_NOT_MODIFIED
           
static int SC_OK
           
static int SC_PARTIAL_CONTENT
           
static int SC_PAYMENT_REQUIRED
           
static int SC_PRECONDITION_FAILED
           
static int SC_PROXY_AUTHENTICATION_REQUIRED
           
static int SC_REQUEST_ENTITY_TOO_LARGE
           
static int SC_REQUEST_TIMEOUT
           
static int SC_REQUEST_URI_TOO_LONG
           
static int SC_REQUESTED_RANGE_NOT_SATISFIABLE
           
static int SC_RESET_CONTENT
           
static int SC_SEE_OTHER
           
static int SC_SERVICE_UNAVAILABLE
           
static int SC_SWITCHING_PROTOCOLS
           
static int SC_TEMPORARY_REDIRECT
           
static int SC_UNAUTHORIZED
           
static int SC_UNSUPPORTED_MEDIA_TYPE
           
static int SC_USE_PROXY
           
 
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)
          Deprecated.  
 String encodeURL(String url)
           
 String encodeUrl(String url)
          Deprecated.  
 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)
          Deprecated.  
 
Methods inherited from interface javax.servlet.ServletResponse
flushBuffer, getBufferSize, getCharacterEncoding, getContentType, getLocale, getOutputStream, getWriter, isCommitted, reset, resetBuffer, setBufferSize, setCharacterEncoding, setContentLength, setContentType, setLocale
 

Field Detail

SC_CONTINUE

public static final int SC_CONTINUE

SC_SWITCHING_PROTOCOLS

public static final int SC_SWITCHING_PROTOCOLS

SC_OK

public static final int SC_OK

SC_CREATED

public static final int SC_CREATED

SC_ACCEPTED

public static final int SC_ACCEPTED

SC_NON_AUTHORITATIVE_INFORMATION

public static final int SC_NON_AUTHORITATIVE_INFORMATION

SC_NO_CONTENT

public static final int SC_NO_CONTENT

SC_RESET_CONTENT

public static final int SC_RESET_CONTENT

SC_PARTIAL_CONTENT

public static final int SC_PARTIAL_CONTENT

SC_MULTIPLE_CHOICES

public static final int SC_MULTIPLE_CHOICES

SC_MOVED_PERMANENTLY

public static final int SC_MOVED_PERMANENTLY

SC_MOVED_TEMPORARILY

public static final int SC_MOVED_TEMPORARILY

SC_SEE_OTHER

public static final int SC_SEE_OTHER

SC_NOT_MODIFIED

public static final int SC_NOT_MODIFIED

SC_USE_PROXY

public static final int SC_USE_PROXY

SC_TEMPORARY_REDIRECT

public static final int SC_TEMPORARY_REDIRECT

SC_BAD_REQUEST

public static final int SC_BAD_REQUEST

SC_UNAUTHORIZED

public static final int SC_UNAUTHORIZED

SC_PAYMENT_REQUIRED

public static final int SC_PAYMENT_REQUIRED

SC_FORBIDDEN

public static final int SC_FORBIDDEN

SC_NOT_FOUND

public static final int SC_NOT_FOUND

SC_METHOD_NOT_ALLOWED

public static final int SC_METHOD_NOT_ALLOWED

SC_NOT_ACCEPTABLE

public static final int SC_NOT_ACCEPTABLE

SC_PROXY_AUTHENTICATION_REQUIRED

public static final int SC_PROXY_AUTHENTICATION_REQUIRED

SC_REQUEST_TIMEOUT

public static final int SC_REQUEST_TIMEOUT

SC_CONFLICT

public static final int SC_CONFLICT

SC_GONE

public static final int SC_GONE

SC_LENGTH_REQUIRED

public static final int SC_LENGTH_REQUIRED

SC_PRECONDITION_FAILED

public static final int SC_PRECONDITION_FAILED

SC_REQUEST_ENTITY_TOO_LARGE

public static final int SC_REQUEST_ENTITY_TOO_LARGE

SC_REQUEST_URI_TOO_LONG

public static final int SC_REQUEST_URI_TOO_LONG

SC_UNSUPPORTED_MEDIA_TYPE

public static final int SC_UNSUPPORTED_MEDIA_TYPE

SC_REQUESTED_RANGE_NOT_SATISFIABLE

public static final int SC_REQUESTED_RANGE_NOT_SATISFIABLE

SC_EXPECTATION_FAILED

public static final int SC_EXPECTATION_FAILED

SC_INTERNAL_SERVER_ERROR

public static final int SC_INTERNAL_SERVER_ERROR

SC_NOT_IMPLEMENTED

public static final int SC_NOT_IMPLEMENTED

SC_BAD_GATEWAY

public static final int SC_BAD_GATEWAY

SC_SERVICE_UNAVAILABLE

public static final int SC_SERVICE_UNAVAILABLE

SC_GATEWAY_TIMEOUT

public static final int SC_GATEWAY_TIMEOUT

SC_HTTP_VERSION_NOT_SUPPORTED

public static final int SC_HTTP_VERSION_NOT_SUPPORTED
Method Detail

addCookie

public void addCookie(Cookie cookie)

containsHeader

public boolean containsHeader(String name)

encodeURL

public String encodeURL(String url)

encodeRedirectURL

public String encodeRedirectURL(String url)

encodeUrl

public String encodeUrl(String url)
Deprecated.  

encodeRedirectUrl

public String encodeRedirectUrl(String url)
Deprecated.  

sendError

public void sendError(int sc,
                      String msg)
                        throws IOException
Throws:
IOException

sendError

public void sendError(int sc)
                        throws IOException
Throws:
IOException

sendRedirect

public void sendRedirect(String location)
                           throws IOException
Throws:
IOException

setDateHeader

public void setDateHeader(String name,
                          long date)

addDateHeader

public void addDateHeader(String name,
                          long date)

setHeader

public void setHeader(String name,
                      String value)

addHeader

public void addHeader(String name,
                      String value)

setIntHeader

public void setIntHeader(String name,
                         int value)

addIntHeader

public void addIntHeader(String name,
                         int value)

setStatus

public void setStatus(int sc)

setStatus

public void setStatus(int sc,
                      String sm)
Deprecated.  

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