public class MappedFile
extends java.lang.Object
implements java.io.Closeable
| Modifier and Type | Field and Description |
|---|---|
static int |
MAP_PV |
static int |
MAP_RO |
static int |
MAP_RW |
| Constructor and Description |
|---|
MappedFile(long size) |
MappedFile(java.lang.String name,
long size) |
MappedFile(java.lang.String name,
long size,
int mode) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
DataStream |
dataStream(java.nio.ByteOrder order) |
long |
getAddr() |
java.io.RandomAccessFile |
getFile() |
int |
getMode() |
long |
getSize() |
void |
makeReadonly() |
static long |
map(java.io.RandomAccessFile f,
int mode,
long start,
long size) |
void |
sync() |
static void |
unmap(long start,
long size) |
public static final int MAP_RO
public static final int MAP_RW
public static final int MAP_PV
public MappedFile(long size)
public MappedFile(java.lang.String name,
long size)
throws java.io.IOException
java.io.IOExceptionpublic MappedFile(java.lang.String name,
long size,
int mode)
throws java.io.IOException
java.io.IOExceptionpublic void sync()
throws java.io.IOException
java.io.IOExceptionpublic void makeReadonly()
throws java.io.IOException
java.io.IOExceptionpublic void close()
close in interface java.io.Closeableclose in interface java.lang.AutoCloseablepublic final java.io.RandomAccessFile getFile()
public final long getAddr()
public final long getSize()
public int getMode()
public DataStream dataStream(java.nio.ByteOrder order)
public static long map(java.io.RandomAccessFile f,
int mode,
long start,
long size)
throws java.io.IOException
java.io.IOExceptionpublic static void unmap(long start,
long size)