basicPluginFramework
Class JinnIde

java.lang.Object
  extended by console.Shell
      extended by basicPluginFramework.JinnIde

public final class JinnIde
extends console.Shell

JinnIde shell is integrated in jEdit through the Console plugin.

Version:
Clide
Author:
Wolfgang Chico Toepfer

Nested Class Summary
 
Nested classes/interfaces inherited from class console.Shell
console.Shell.CompletionInfo, console.Shell.ShellAction, console.Shell.SwitchAction, console.Shell.ToggleAction
 
Field Summary
 
Fields inherited from class console.Shell
SERVICE
 
Method Summary
 void execute(console.Console console, java.lang.String input, console.Output output, console.Output error, java.lang.String command)
           
 console.Output getCurrentOutput()
           
 IJinniEngine getEngine()
          gets the engine, which may be useful when having to call it to do sth.
static JinnIde getInstance()
          yields JinnIde's current instance and may be used for beanshell based script calls
static SpecificExecutionContext getStartServerExecutionContext()
           
static boolean isAllSolutionsEnabled()
          ui logic for the prolog check box in the menu
static boolean isTraceEnabled()
          ui logic for the trace check box in the menu
 void listJinniState()
          Display all the current clauses in the output text area.
 void printInfoMessage(console.Output output)
           
 void printPrompt(console.Console console, console.Output output)
          Prints a prompt to the specified console.
 void reconsultProject(java.lang.String projectInitFilePath)
           
 void reconsultProject(java.lang.String projectInitFilePath, console.Console activeConsole)
           
 void refreshDockable()
           
 void renewJinniObject(java.lang.String objectName)
           
 void renewLoq4J()
           
 void resetJinni()
          reset Jinni
 void restartJinni()
          halt Jinni which is a stronger kind of reset
 void stop(console.Console console)
          This is JinnIde's thread stopping feature
static void toggleAllSolutionsEnabled()
          ui logic for the prolog check box in the menu
static void toggleTraceEnabled()
          ui logic for the trace check box in the menu
 boolean waitFor(console.Console console)
          This might probably be one of the next features of JinnIde..
 
Methods inherited from class console.Shell
closeConsole, detach, endOfFile, execute, getCompletions, getName, getShell, getShellNames, openConsole, toString, waitUntilDone
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

getCurrentOutput

public console.Output getCurrentOutput()

getStartServerExecutionContext

public static SpecificExecutionContext getStartServerExecutionContext()

getInstance

public static JinnIde getInstance()
yields JinnIde's current instance and may be used for beanshell based script calls

Returns:
the current instance of JinnIde

getEngine

public IJinniEngine getEngine()
gets the engine, which may be useful when having to call it to do sth. not provided for by the given command collection

Returns:
current engine applied by the current instance of JinnIde

printPrompt

public void printPrompt(console.Console console,
                        console.Output output)
Prints a prompt to the specified console.

Overrides:
printPrompt in class console.Shell
Parameters:
console - The console instance
output - The output
Since:
Console 3.6

printInfoMessage

public void printInfoMessage(console.Output output)
Overrides:
printInfoMessage in class console.Shell

execute

public void execute(console.Console console,
                    java.lang.String input,
                    console.Output output,
                    console.Output error,
                    java.lang.String command)
Specified by:
execute in class console.Shell

refreshDockable

public void refreshDockable()

stop

public void stop(console.Console console)
This is JinnIde's thread stopping feature

Overrides:
stop in class console.Shell

waitFor

public boolean waitFor(console.Console console)
This might probably be one of the next features of JinnIde..

Overrides:
waitFor in class console.Shell

restartJinni

public void restartJinni()
                  throws JinniEngineException,
                         java.rmi.RemoteException
halt Jinni which is a stronger kind of reset

Throws:
JinniEngineException
java.rmi.RemoteException

resetJinni

public void resetJinni()
                throws JinniEngineException,
                       java.rmi.RemoteException
reset Jinni

Throws:
JinniEngineException
java.rmi.RemoteException

renewJinniObject

public void renewJinniObject(java.lang.String objectName)
                      throws JinnIdeGeneralExecutorException,
                             java.rmi.RemoteException,
                             JinniEngineException,
                             java.lang.InterruptedException
Throws:
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException

renewLoq4J

public void renewLoq4J()
                throws JinnIdeGeneralExecutorException,
                       java.rmi.RemoteException,
                       JinniEngineException,
                       java.lang.InterruptedException
Throws:
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException

reconsultProject

public void reconsultProject(java.lang.String projectInitFilePath)
                      throws JinnIdeGeneralExecutorException,
                             java.rmi.RemoteException,
                             JinniEngineException,
                             java.lang.InterruptedException
Throws:
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException

reconsultProject

public void reconsultProject(java.lang.String projectInitFilePath,
                             console.Console activeConsole)
                      throws JinnIdeGeneralExecutorException,
                             java.rmi.RemoteException,
                             JinniEngineException,
                             java.lang.InterruptedException
Throws:
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException

listJinniState

public void listJinniState()
Display all the current clauses in the output text area.


isTraceEnabled

public static boolean isTraceEnabled()
ui logic for the trace check box in the menu


toggleTraceEnabled

public static void toggleTraceEnabled()
ui logic for the trace check box in the menu


isAllSolutionsEnabled

public static boolean isAllSolutionsEnabled()
ui logic for the prolog check box in the menu


toggleAllSolutionsEnabled

public static void toggleAllSolutionsEnabled()
ui logic for the prolog check box in the menu