Servlet（サーブレット）リファレンス：javax.servlet.http.HttpServletResponse#setIntHeader()

数値型のヘッダ情報を変更する：HttpServletResponse#setIntHeader()

スポンサード　リンク

数値型のヘッダ情報を変更するには、HttpServletResponse#setIntHeader()を使用する。

構文
javax.servlet.http.HttpServletResponse 　public void setIntHeader( String ヘッダー名 , int 数値型ヘッダー値 )
説明
setIntHeaderメソッドは、ＨＴＴＰヘッダに同名のヘッダが存在する場合、指定したヘッダ名に対応する数値型のヘッダ値を上書きし、同名のヘッダが存在しない場合は、追加します。ヘッダー名は、ＨＴＴＰヘッダーの種類を参照。

　　
例１）　ＨＴＴＰヘッダー「Refresh」を変更する。

public class SampleServlet extends HttpServlet {

　　public void doGet(HttpServletRequest request,HttpServletResponse response)
　　　　　　　　　　　　　　throws ServletException,IOException {

　　　　response.setContentType("text/html;charset=Windows-31J");
　　　　response.setIntHeader("Refresh", 10);
　　　　PrintWriter out = response.getWriter();
　　　　out.println("<html><body>");
　　　　out.println("てすと");
　　　　out.println("</body></html>");

　　}
}

スポンサード　リンク

→ＨＴＴＰヘッダ情報の種類

→ＨＴＴＰヘッダ情報を取得する：HttpServletRequest#getHeader()

→配列形式のヘッダ情報を取得する：HttpServletRequest#getHeaders()

→日付型のヘッダ情報を取得する：HttpServletRequest#getDateHeader()

→数値型のヘッダ情報を取得する：HttpServletRequest#getIntHeader()

→ヘッダ名を全て取得する：HttpServletRequest#getHeaderNames()

→ＨＴＴＰヘッダ情報を追加する：HttpServletResponse#addHeader()

→ＨＴＴＰヘッダ情報を変更する：HttpServletResponse#setHeader()

→日付型のヘッダ情報を追加する：HttpServletResponse#addDateHeader()

→日付型のヘッダ情報を変更する：HttpServletResponse#setDateHeader()

→数値型のヘッダ情報を追加する：HttpServletResponse#addIntHeader()

→数値型のヘッダ情報を変更する：HttpServletResponse#setIntHeader()

→ＨＴＴＰヘッダ情報の有無を確認する：HttpServletResponse#containsHeader()

→Ｓｅｒｖｌｅｔへ

→忘れっぽいエンジニアのJakarta Strutsリファレンス　ＴＯＰへ

Ｓｅｒｖｌｅｔ（サーブレット）リファレンス(逆引き)