|
||||||||||
| 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.RandomAccessLiteralFilepublic 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 OutputDescriptorItemOutputDescriptorItem
public Predicate buildPredicate(java.lang.String name,
int arity,
Model m,
int modelNumber)
buildPredicate in class OutputDescriptorItempublic void flushAndClean()
flushAndClean in class OutputDescriptorItem
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||