|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectDLV.OutputDescriptorItem
DLV.ODIFilePredicate
public class ODIFilePredicate
This class allows to specify that the output storage device are one or more text files in datalog format.
MultipleModel generation is supported if you specify a filename and is not supported if you specify a RandomAccessLiteralFile.
If DLV outputs more than one model and you specified "file.dl" file name the following files will be built:
file.dl // containing the first model.
file.dl.1 // containing the second model.
...
file.dl.n // containing the (n+1)-th model.
Each text file is handled by a FilePredicate contained in the corresponding Model Object.
OutputDescriptor
,
OutputDescriptorItem
,
RandomAccessLiteralFile
,
RandomAccessCharacterFile
Constructor Summary | |
---|---|
ODIFilePredicate(RandomAccessLiteralFile rFile)
Builds an ODIFilePredicate given a RandomAccessLiteralFile. |
|
ODIFilePredicate(java.lang.String fileName)
Builds an ODIFilePredicate given a file name. |
|
ODIFilePredicate(java.lang.String fileName,
java.lang.String encoding)
Builds an ODIFilePredicate given a file name and a supported character encoding. |
|
ODIFilePredicate(java.lang.String fileName,
java.lang.String encoding,
int cacheSize)
Builds an ODIFilePredicate given a file name, a supported character encoding and the literal cache size. |
|
ODIFilePredicate(java.lang.String fileName,
java.lang.String encoding,
int cacheSize,
int lowLevelBufferSize)
Builds an ODIFilePredicate given a file name, a supported character encoding, the literal cache size, and the character buffer size. |
Method Summary | |
---|---|
Predicate |
buildPredicate(java.lang.String name,
int arity,
Model m,
int modelNumber)
|
void |
flushAndClean()
|
boolean |
multipleModelAllowed()
Returns true if this OutputDescriptorItem supports multiple model generation, false otherwise. |
Methods inherited from class DLV.OutputDescriptorItem |
---|
getReplace, setReplace |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ODIFilePredicate(java.lang.String fileName, java.lang.String encoding, int cacheSize, int lowLevelBufferSize)
fileName
- A valid pathname.encoding
- A supported character encoding.cacheSize
- the literal cache size.lowLevelBufferSize
- the character buffer size.RandomAccessLiteralFile
public ODIFilePredicate(java.lang.String fileName, java.lang.String encoding, int cacheSize)
fileName
- A valid pathname.encoding
- A supported character encoding.cacheSize
- the literal cache size.RandomAccessLiteralFile
public ODIFilePredicate(java.lang.String fileName, java.lang.String encoding)
fileName
- A valid pathname.encoding
- A supported character encoding.RandomAccessLiteralFile
public ODIFilePredicate(java.lang.String fileName)
fileName
- A valid pathname.public ODIFilePredicate(RandomAccessLiteralFile rFile)
rFile
- An open RandomAccessLiteralFile instance.Method Detail |
---|
public boolean multipleModelAllowed()
OutputDescriptorItem
multipleModelAllowed
in class OutputDescriptorItem
OutputDescriptorItem
public Predicate buildPredicate(java.lang.String name, int arity, Model m, int modelNumber)
buildPredicate
in class OutputDescriptorItem
public void flushAndClean()
flushAndClean
in class OutputDescriptorItem
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |