jinnIdeExecutors.base.context
Class StandardExecutionContext

java.lang.Object
  jinnIdeExecutors.base.context.StandardExecutionContext

public final class StandardExecutionContext
extends java.lang.Object

Nested Class Summary

static class

StandardExecutionContext.ExecutionResult

Method Summary

static IJinniEngine	createEngine(boolean isJinniServerEnabled, boolean isPrologMode, boolean isBgEnabled, java.lang.String libPath, java.lang.String initFile)
static console.Console	getConsole()
static IJinniEngine	getEngine() There is only one engine at the same time so we might also rename this method accordingly to something like getSingleEngine (assuming one day there would be a factory-like getNewEngine) but this name's simpler; everything is done here to ensure the returned engine is runnable but no guarantee is given and its state might therefore be otherwise..
static console.Output	getOutput()
static void	setConsole(console.Console console)
static void	setOutput(console.Output output)
static void	updateStandardProperties(console.Output output, console.Console console) Dates up the standard static state of an executor object.

Methods inherited from class java.lang.Object

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

Method Detail

getOutput

public static console.Output getOutput()

setOutput

public static void setOutput(console.Output output)

getEngine

public static IJinniEngine getEngine()
                              throws JinniEngineException,
                                     JinnIdeGeneralExecutorException,
                                     java.lang.InterruptedException

There is only one engine at the same time so we might also rename this method accordingly to something like getSingleEngine (assuming one day there would be a factory-like getNewEngine) but this name's simpler; everything is done here to ensure the returned engine is runnable but no guarantee is given and its state might therefore be otherwise..

Returns:

a JinniProlog engine, most probably in a runnable state

Throws:

JinnIdeGeneralExecutorException

java.lang.InterruptedException

JinniEngineException

createEngine

public static IJinniEngine createEngine(boolean isJinniServerEnabled,
                                        boolean isPrologMode,
                                        boolean isBgEnabled,
                                        java.lang.String libPath,
                                        java.lang.String initFile)
                                 throws JinnIdeGeneralExecutorException,
                                        java.rmi.RemoteException,
                                        JinniEngineException,
                                        java.lang.InterruptedException

Throws:

JinnIdeGeneralExecutorException

java.rmi.RemoteException

JinniEngineException

java.lang.InterruptedException

getConsole

public static console.Console getConsole()

setConsole

public static void setConsole(console.Console console)

updateStandardProperties

public static void updateStandardProperties(console.Output output,
                                            console.Console console)

Dates up the standard static state of an executor object.

Parameters:

output - the CLIDE output object

console - the CLIDE console object