Servlet(サーブレット)リファレンス(逆引き)

Servlet(サーブレット)リファレンス
 
Web struts.wasureppoi.com
数値型のヘッダ情報を変更する:HttpServletResponse#setIntHeader()
スポンサード リンク

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

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

ヘッダー名は、HTTPヘッダーの種類を参照。
  
例1) HTTPヘッダー「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>");

  }
}



スポンサード リンク


HTTPヘッダ情報の種類
HTTPヘッダ情報を取得する:HttpServletRequest#getHeader()
配列形式のヘッダ情報を取得する:HttpServletRequest#getHeaders()
日付型のヘッダ情報を取得する:HttpServletRequest#getDateHeader()
数値型のヘッダ情報を取得する:HttpServletRequest#getIntHeader()
ヘッダ名を全て取得する:HttpServletRequest#getHeaderNames()
HTTPヘッダ情報を追加する:HttpServletResponse#addHeader()
HTTPヘッダ情報を変更する:HttpServletResponse#setHeader()
日付型のヘッダ情報を追加する:HttpServletResponse#addDateHeader()
日付型のヘッダ情報を変更する:HttpServletResponse#setDateHeader()
数値型のヘッダ情報を追加する:HttpServletResponse#addIntHeader()
数値型のヘッダ情報を変更する:HttpServletResponse#setIntHeader()
HTTPヘッダ情報の有無を確認する:HttpServletResponse#containsHeader()

Servletへ
忘れっぽいエンジニアのJakarta Strutsリファレンス TOPへ