|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface Plugin
The shell will call on an interpretor with this interface.
| Method Summary | |
|---|---|
void |
console(java.io.DataInputStream stdin,
java.io.PrintStream stdout,
java.io.PrintStream stderr)
The interpreter handles I/O on this interface as if on the command line, until this method throws an exception. |
boolean |
exception(java.lang.Exception exc,
java.io.PrintStream stdout,
java.io.PrintStream stderr)
Called with an exception from the "console" method. |
java.lang.String |
userVersion()
String displayed in the UI, under the console, with the interpreter's name and version. |
| Method Detail |
|---|
java.lang.String userVersion()
void console(java.io.DataInputStream stdin,
java.io.PrintStream stdout,
java.io.PrintStream stderr)
throws java.io.IOException
stdin - GUI console input.stdout - GUI console output.stderr - GUI console output.
java.io.IOException
boolean exception(java.lang.Exception exc,
java.io.PrintStream stdout,
java.io.PrintStream stderr)
exc - Exception thrown by the console.stdout - GUI console output.stderr - GUI console output.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||