public class PnutsConsoleUI extends JTextComponentConsoleUI
| Constructor and Description |
|---|
PnutsConsoleUI() |
PnutsConsoleUI(Console console) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
protected PnutsConsole |
createConsole() |
PnutsConsole |
createConsole(Context context,
java.lang.String inputlog) |
PnutsConsole |
createConsole(java.lang.String[] modules,
Context context,
java.lang.ClassLoader cl,
java.lang.String inputlog,
boolean greeting,
java.lang.Runnable terminationCallback,
int priority) |
void |
entered(java.lang.String command) |
javax.swing.JComponent |
getComponent() |
javax.swing.JFrame |
getFrame() |
javax.swing.JTextArea |
getTextArea() |
java.lang.String |
getTitle() |
void |
setTitle(java.lang.String title) |
append, createTextComponent, getJTextComponent, getLength, getMarkPosition, getModel, insert, setCursorPosition, setJTextComponent, setMarkPosition, setModelpublic PnutsConsoleUI()
public PnutsConsoleUI(Console console)
public PnutsConsole createConsole(Context context, java.lang.String inputlog)
protected PnutsConsole createConsole()
public PnutsConsole createConsole(java.lang.String[] modules, Context context, java.lang.ClassLoader cl, java.lang.String inputlog, boolean greeting, java.lang.Runnable terminationCallback, int priority)
public void entered(java.lang.String command)
entered in class JTextComponentConsoleUIpublic javax.swing.JTextArea getTextArea()
public javax.swing.JComponent getComponent()
public void setTitle(java.lang.String title)
public java.lang.String getTitle()
public javax.swing.JFrame getFrame()
public void close()
close in interface ConsoleUIclose in class JTextComponentConsoleUI