javax.servlet
Interface ServletResponse

All Known Subinterfaces:

HttpServletResponse

All Known Implementing Classes:

HttpServletResponseWrapper, ServletResponseWrapper

public interface ServletResponse

JML's specification of ServletResponse.

Class Specifications

Specifications inherited from class Object

represents objectState <- org.jmlspecs.lang.JMLDataGroup.IT; public represents _getClass <- \typeof(this);

Method Summary
void	flushBuffer()
int	getBufferSize()
String	getCharacterEncoding()
String	getContentType()
Locale	getLocale()
ServletOutputStream	getOutputStream()
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)

 

Method Detail

getCharacterEncoding

public String getCharacterEncoding()

getContentType

public String getContentType()

getOutputStream

public ServletOutputStream getOutputStream()
                                             throws IOException

Throws:

IOException

Specifications:

ensures \result != null;

getWriter

public PrintWriter getWriter()
                               throws IOException

Throws:

IOException

Specifications:

ensures \result != null;

setCharacterEncoding

public void setCharacterEncoding(String charset)

setContentLength

public void setContentLength(int len)

setContentType

public void setContentType(String type)

setBufferSize

public void setBufferSize(int size)

getBufferSize

public int getBufferSize()

flushBuffer

public void flushBuffer()
                          throws IOException

Throws:

IOException

resetBuffer

public void resetBuffer()

isCommitted

public boolean isCommitted()

reset

public void reset()

setLocale

public void setLocale(Locale loc)

getLocale

public Locale getLocale()