tests.jinnidoc
Class JinniDocOnJinniPrologServerTests

java.lang.Object
  tests.jinnidoc.JinniDocOnJinniPrologServerTests

public class JinniDocOnJinniPrologServerTests
extends java.lang.Object

Constructor Summary

JinniDocOnJinniPrologServerTests()

Method Summary

void	doQuery()
void	queryAnotherVM()
void	queryWithExternallyStartedUpVM()
void	testStartupWithExternallyStartedUpVM()
void	testStartupWithLatchedThread()
void	testStartupWithThread()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JinniDocOnJinniPrologServerTests

public JinniDocOnJinniPrologServerTests()

Method Detail

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()