tests.prologSkin
Class JinniPrologEngineConstructionTest

java.lang.Object
  tests.prologSkin.JinniPrologEngineConstructionTest

public class JinniPrologEngineConstructionTest
extends java.lang.Object

Constructor Summary

JinniPrologEngineConstructionTest()

Method Summary

void	test()
void	test2()

Methods inherited from class java.lang.Object

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

Constructor Detail

JinniPrologEngineConstructionTest

public JinniPrologEngineConstructionTest()

Method Detail

test

public void test()
          throws JinnIdeGeneralExecutorException,
                 java.rmi.RemoteException,
                 JinniEngineException,
                 java.lang.InterruptedException

Throws:

JinnIdeGeneralExecutorException

java.rmi.RemoteException

JinniEngineException

java.lang.InterruptedException

test2

public void test2()
           throws java.rmi.RemoteException,
                  JinniEngineException,
                  prolog.logic.PrologException,
                  JinnIdeGeneralExecutorException,
                  java.lang.InterruptedException

Throws:

java.rmi.RemoteException

JinniEngineException

prolog.logic.PrologException

JinnIdeGeneralExecutorException

java.lang.InterruptedException