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, setModel
public 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 JTextComponentConsoleUI
public 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 ConsoleUI
close
in class JTextComponentConsoleUI