|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DLVInvocationException | |
---|---|
DLV | |
DLV.core |
Uses of DLVInvocationException in DLV |
---|
Methods in DLV that throw DLVInvocationException | |
---|---|
void |
DlvHandler.deFreeze()
This function deFreezes the current DLV process. |
void |
DlvHandler.freeze()
This function freezes the current DLV process. |
java.lang.String |
DlvHandler.getVersion()
This function asks the selected DLV implementation for version information. |
java.lang.String |
DlvHandler.getWarnings()
After a DLV invocation, this function returns the warning messages. |
boolean |
DlvHandler.hasMoreModels()
Tests If there are more Model object available. |
void |
DlvHandler.kill()
This function kills the current DLV process. |
Model |
DlvHandler.nextModel()
Returns The next Model object available with respect to the current cursor position. |
void |
DlvHandler.reset()
This function resets the current DlvHandler instance. |
void |
DlvHandler.run()
// *************************************** FUNZIONI DI INVOCAZIONE ********************************** /** This function starts DLV in MODEL_SYNCHRONOUS mode. |
void |
DlvHandler.run(byte method)
This function starts DLV in "method" mode. |
Uses of DLVInvocationException in DLV.core |
---|
Methods in DLV.core that throw DLVInvocationException | |
---|---|
void |
JavaPipedIOImpl.deFreeze(DlvIOHandler handler)
|
void |
AbstractIOImplementation.deFreeze(DlvIOHandler handler)
|
void |
JavaPipedIOImpl.freeze(DlvIOHandler handler)
|
void |
AbstractIOImplementation.freeze(DlvIOHandler handler)
|
java.lang.String |
JavaPipedIOImpl.getVersion()
|
java.lang.String |
AbstractIOImplementation.getVersion()
|
java.lang.String |
JavaPipedIOImpl.getWarnings()
|
java.lang.String |
AbstractIOImplementation.getWarnings()
|
void |
JavaPipedIOImpl.kill(DlvIOHandler handler)
|
void |
AbstractIOImplementation.kill(DlvIOHandler handler)
|
void |
DlvIOHandler.run(byte method)
|
void |
JavaPipedIOImpl.run(DlvIOHandler handler)
|
void |
AbstractIOImplementation.run(DlvIOHandler handler)
|
void |
JavaPipedIOImpl.setWarnings(java.lang.String warning)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |