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

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

スポンサード　リンク

数値型のヘッダ情報を取得するには、HttpServletRequest#getIntHeader()を使用する。

構文
javax.servlet.http.HttpServletRequest 　public int getIntHeader( String ヘッダー名 )
説明
getHeaderメソッドは、指定したヘッダー名に対応するＨＴＴＰヘッダ情報をint型の数値で返します。ヘッダー名は、ＨＴＴＰヘッダーの種類を参照。ヘッダー情報が無い場合は-1を返します。

　　
例１）　ＨＴＴＰヘッダー「Content-Length」を取得する。

public class SampleServlet extends HttpServlet {

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

　　　　response.setContentType("text/html;charset=Windows-31J");

　　　　PrintWriter out = response.getWriter();
　　　　out.println("<html><body>");
　　　　out.println("Content-Length=" + request.getDateHeader("Content-Length"));
　　　　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リファレンス　ＴＯＰへ

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