|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectDLV.OutputDescriptorItem
DLV.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(DLV.io.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 |
clone, equals, finalize, 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(DLV.io.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 |