|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectDLV.io.RandomAccessLiteralFile
public abstract class RandomAccessLiteralFile
This is an abstract class that implements a random access file of literals.
Constructor Summary | |
---|---|
RandomAccessLiteralFile()
|
Method Summary | |
---|---|
static RandomAccessLiteralFile |
buildLiteralFile(java.lang.String file,
java.lang.String encoding,
int cacheSize,
int lowLevelBufferSize)
Builds an instance of RandomAccessLiteralFile that works on a datalog text file. |
abstract void |
close()
Close the file. |
abstract void |
flush()
Flushes buffers. |
abstract java.lang.String |
getName()
Returns the name of the file. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public RandomAccessLiteralFile()
Method Detail |
---|
public static RandomAccessLiteralFile buildLiteralFile(java.lang.String file, java.lang.String encoding, int cacheSize, int lowLevelBufferSize) throws java.io.IOException
file
- a string containing the full pathname of the text file.encoding
- The name of a supported character encoding (RandomAccessCharacterFile
).the
- size of the literal cache size.the
- size of the lower level character buffer.
java.io.IOException
- If an I/O error occurs.FilePredicate
,
RandomAccessLiteralFile
public abstract void close() throws java.io.IOException
java.io.IOException
- If an I/O error occurs.public abstract void flush() throws java.io.IOException
java.io.IOException
- If an I/O error occurs.public abstract java.lang.String getName()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |