DLV.core
Interface DlvIOHandler

All Known Implementing Classes:
DlvHandler

public interface DlvIOHandler


Method Summary
 void addModel(Model m)
           
 java.lang.String getEncoding()
           
 java.lang.String[] getInvocationParameters()
           
 byte getMethod()
           
 OutputDescriptor getOutputDescriptor()
           
 Program getProgram()
           
 void run(byte method)
           
 void signalDlvDeFreeze()
           
 void signalDlvEnd()
           
 void signalDlvFreeze()
           
 void signalDlvKill()
           
 void signalError(java.lang.Throwable t)
           
 

Method Detail

getInvocationParameters

java.lang.String[] getInvocationParameters()

getMethod

byte getMethod()

getProgram

Program getProgram()

getOutputDescriptor

OutputDescriptor getOutputDescriptor()

addModel

void addModel(Model m)

run

void run(byte method)
         throws DLVInvocationException
Throws:
DLVInvocationException

signalDlvEnd

void signalDlvEnd()

signalDlvKill

void signalDlvKill()

signalDlvFreeze

void signalDlvFreeze()

signalDlvDeFreeze

void signalDlvDeFreeze()

signalError

void signalError(java.lang.Throwable t)

getEncoding

java.lang.String getEncoding()