|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object console.Shell basicPluginFramework.JinnIde
public final class JinnIde
JinnIde shell is integrated in jEdit through the Console plugin.
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 |
---|
public console.Output getCurrentOutput()
public static SpecificExecutionContext getStartServerExecutionContext()
public static JinnIde getInstance()
public IJinniEngine getEngine()
public void printPrompt(console.Console console, console.Output output)
printPrompt
in class console.Shell
console
- The console instanceoutput
- The outputpublic void printInfoMessage(console.Output output)
printInfoMessage
in class console.Shell
public void execute(console.Console console, java.lang.String input, console.Output output, console.Output error, java.lang.String command)
execute
in class console.Shell
public void refreshDockable()
public void stop(console.Console console)
stop
in class console.Shell
public boolean waitFor(console.Console console)
waitFor
in class console.Shell
public void restartJinni() throws JinniEngineException, java.rmi.RemoteException
JinniEngineException
java.rmi.RemoteException
public void resetJinni() throws JinniEngineException, java.rmi.RemoteException
JinniEngineException
java.rmi.RemoteException
public void renewJinniObject(java.lang.String objectName) throws JinnIdeGeneralExecutorException, java.rmi.RemoteException, JinniEngineException, java.lang.InterruptedException
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException
public void renewLoq4J() throws JinnIdeGeneralExecutorException, java.rmi.RemoteException, JinniEngineException, java.lang.InterruptedException
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException
public void reconsultProject(java.lang.String projectInitFilePath) throws JinnIdeGeneralExecutorException, java.rmi.RemoteException, JinniEngineException, java.lang.InterruptedException
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException
public void reconsultProject(java.lang.String projectInitFilePath, console.Console activeConsole) throws JinnIdeGeneralExecutorException, java.rmi.RemoteException, JinniEngineException, java.lang.InterruptedException
JinnIdeGeneralExecutorException
java.rmi.RemoteException
JinniEngineException
java.lang.InterruptedException
public void listJinniState()
public static boolean isTraceEnabled()
public static void toggleTraceEnabled()
public static boolean isAllSolutionsEnabled()
public static void toggleAllSolutionsEnabled()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |