tests.jinnidoc
Class JinniDocOnJinniPrologServerTests
java.lang.Object
tests.jinnidoc.JinniDocOnJinniPrologServerTests
public class JinniDocOnJinniPrologServerTests
- extends java.lang.Object
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JinniDocOnJinniPrologServerTests
public JinniDocOnJinniPrologServerTests()
testStartupWithLatchedThread
public void testStartupWithLatchedThread()
throws JinnIdeGeneralExecutorException,
java.rmi.RemoteException,
JinniEngineException,
java.lang.InterruptedException
- Throws:
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException
testStartupWithThread
public void testStartupWithThread()
throws JinnIdeGeneralExecutorException,
java.rmi.RemoteException,
JinniEngineException,
java.lang.InterruptedException
- Throws:
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException
queryAnotherVM
public void queryAnotherVM()
throws JinnIdeGeneralExecutorException,
JinniEngineException,
java.rmi.RemoteException,
java.net.MalformedURLException,
java.rmi.NotBoundException,
java.lang.InterruptedException
- Throws:
JinnIdeGeneralExecutorException
JinniEngineException
java.rmi.RemoteException
java.net.MalformedURLException
java.rmi.NotBoundException
java.lang.InterruptedException
doQuery
public void doQuery()
throws JinnIdeGeneralExecutorException,
JinniEngineException,
java.rmi.RemoteException,
java.net.MalformedURLException,
java.rmi.NotBoundException,
java.lang.InterruptedException
- Throws:
JinnIdeGeneralExecutorException
JinniEngineException
java.rmi.RemoteException
java.net.MalformedURLException
java.rmi.NotBoundException
java.lang.InterruptedException
queryWithExternallyStartedUpVM
public void queryWithExternallyStartedUpVM()
throws java.rmi.RemoteException,
java.net.MalformedURLException,
JinnIdeGeneralExecutorException,
JinniEngineException,
java.rmi.NotBoundException,
java.lang.InterruptedException
- Throws:
java.rmi.RemoteException
java.net.MalformedURLException
JinnIdeGeneralExecutorException
JinniEngineException
java.rmi.NotBoundException
java.lang.InterruptedException
testStartupWithExternallyStartedUpVM
public void testStartupWithExternallyStartedUpVM()