public class ConsoleTab extends GrammarWindowTab implements Console
| Modifier and Type | Field and Description |
|---|---|
protected SimpleDateFormat |
dateFormat |
protected Map<Thread,Integer> |
modeByThread |
protected JPanel |
panel |
protected JTextArea |
textArea |
windowLEVEL_ERROR, LEVEL_NORMAL, LEVEL_WARNING, MODE_QUIET, MODE_VERBOSE| Constructor and Description |
|---|
ConsoleTab(GrammarWindow window) |
| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
void |
close() |
Container |
createTextArea() |
Container |
getContainer() |
int |
getMode() |
Component |
getTabComponent() |
String |
getTabName() |
void |
makeCurrent() |
void |
print(String s,
int level) |
void |
print(Throwable e) |
void |
println(String s) |
void |
println(String s,
int level) |
void |
println(Throwable e) |
void |
setMode(int mode) |
canExportToBitmap, canExportToDOT, canExportToEPS, editorActivated, getDOTString, getExportableGViewprotected JPanel panel
protected JTextArea textArea
protected SimpleDateFormat dateFormat
public ConsoleTab(GrammarWindow window)
public void close()
public int getMode()
public void makeCurrent()
public Container getContainer()
public Container createTextArea()
public void clear()
public String getTabName()
getTabName in class GrammarWindowTabpublic Component getTabComponent()
getTabComponent in class GrammarWindowTabCopyright © 2013. All rights reserved.