public class RangeHeader
extends java.lang.Object
| 修飾子とタイプ | フィールドと説明 |
|---|---|
long |
end |
(package private) static long |
NAN |
long |
start |
long |
totalSize |
(package private) static long |
UNSPEC |
boolean |
valid |
| コンストラクタと説明 |
|---|
RangeHeader(java.lang.String value,
long totalSize) |
| 修飾子とタイプ | メソッドと説明 |
|---|---|
static RangeHeader |
getRangeHeader(WebRequestStack req,
long contentSize) |
static void |
writeResponseBody(java.io.InputStream is,
java.io.OutputStream os,
RangeHeader range) |
static long |
writeResponseHeader(WebRequestStack req,
RangeHeader range,
long contentSize) |
static final long UNSPEC
static final long NAN
public long start
public long end
public long totalSize
public boolean valid
public static RangeHeader getRangeHeader(WebRequestStack req, long contentSize)
public static long writeResponseHeader(WebRequestStack req, RangeHeader range, long contentSize)
public static void writeResponseBody(java.io.InputStream is,
java.io.OutputStream os,
RangeHeader range)
throws java.io.IOException
java.io.IOException