public class PageOutputStream
extends java.lang.Object
| Constructor and Description |
|---|
PageOutputStream(PageStore store,
int trunkPage,
BitField exclude,
int logKey,
boolean atEnd)
Create a new page output stream.
|
| Modifier and Type | Method and Description |
|---|---|
void |
close()
Close the stream.
|
void |
flush()
Write all data.
|
void |
write(byte[] b,
int off,
int len)
Write the data.
|
public PageOutputStream(PageStore store, int trunkPage, BitField exclude, int logKey, boolean atEnd)
store - the page storetrunkPage - the first trunk page (already allocated)exclude - the pages not to uselogKey - the log key of the first trunk pageatEnd - whether only pages at the end of the file should be used