|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface StreamHeaderGenerator
Generates stream headers encoding the length of the stream.
| Field Summary | |
|---|---|
static byte[] |
DERBY_EOF_MARKER
The Derby-specific end-of-stream marker. |
| Method Summary | |
|---|---|
boolean |
expectsCharCount()
Tells if the header encodes a character or byte count. |
int |
generateInto(byte[] buf,
int offset,
long valueLength)
Generates the header for the specified length and writes it into the provided buffer, starting at the specified offset. |
int |
generateInto(java.io.ObjectOutput out,
long valueLength)
Generates the header for the specified length and writes it into the destination stream. |
int |
getMaxHeaderLength()
Returns the maximum length of the header. |
int |
writeEOF(byte[] buffer,
int offset,
long valueLength)
Writes a Derby-specific end-of-stream marker to the buffer for a stream of the specified length, if required. |
int |
writeEOF(java.io.ObjectOutput out,
long valueLength)
Writes a Derby-specific end-of-stream marker to the destination stream for the specified length, if required. |
| Field Detail |
|---|
static final byte[] DERBY_EOF_MARKER
| Method Detail |
|---|
boolean expectsCharCount()
true if the character count is encoded into the header,
false if the byte count is encoded into the header.
int generateInto(byte[] buf,
int offset,
long valueLength)
buf - the buffer to write intooffset - starting offset in the buffervalueLength - the length of the stream, can be in either bytes or
characters depending on the header format
int generateInto(java.io.ObjectOutput out,
long valueLength)
throws java.io.IOException
out - the destination streamvalueLength - the length of the stream, can be in either bytes or
characters depending on the header format
java.io.IOException - if writing to the destination stream fails
int writeEOF(byte[] buffer,
int offset,
long valueLength)
buffer - the buffer to write intooffset - starting offset in the buffervalueLength - the length of the stream, can be in either bytes or
characters depending on the header format
int writeEOF(java.io.ObjectOutput out,
long valueLength)
throws java.io.IOException
out - the destination streamvalueLength - the length of the stream, can be in either bytes or
characters depending on the header format
java.io.IOException - if writing to the destination stream failsint getMaxHeaderLength()
|
Built on Wed 2013-06-12 15:21:56+0000, from revision ??? | ||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||