|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.rice.cs.drjava.ui.AbstractConsoleController
public abstract class AbstractConsoleController
Abstract class that hooks a Swing console/interactions document with its Swing pane. TODO: move interactions specific functionality to InteractionsController by creating ConsoleDJDocument class
Field Summary | |
---|---|
protected SimpleAttributeSet |
_defaultStyle
Style to use for default text. |
protected InteractionsDJDocument |
_interactionsDJDocument
Adapter for the Swing document used by the model. |
protected InteractionsPane |
_pane
Pane from the view. |
protected SimpleAttributeSet |
_systemErrStyle
Style to use for System.err. |
protected SimpleAttributeSet |
_systemOutStyle
Style to use for System.out. |
Constructor Summary | |
---|---|
protected |
AbstractConsoleController(InteractionsDJDocument doc,
InteractionsPane pane)
Initializes the Swing console document and Swing interactions pane. |
Method Summary | |
---|---|
protected void |
_addDocumentStyles()
Adds AttributeSets as named styles to the Swing console document. |
protected boolean |
_busy()
Determines if the associated console pane is currently computing. |
protected void |
_init()
Initialization method. |
protected abstract void |
_setupModel()
Sets up the model. |
protected void |
_setupView()
Sets up the view. |
protected void |
_updateStyles(AttributeSet newSet)
Updates all document styles with the attributes contained in newSet. |
abstract ConsoleDocument |
getConsoleDoc()
Gets the console document for this console. |
InteractionsDJDocument |
getDocumentAdapter()
Accessor method for the InteractionsDJDocument. |
InteractionsPane |
getPane()
Accessor method for the InteractionsPane. |
void |
resetView()
Clears and resets the view (other than features derived from the model. |
void |
setDefaultFont(Color c)
Sets the color for the document, updating all existing text. |
void |
setDefaultFont(Font f)
Sets the font for the document, updating all existing text. |
void |
setDefaultFont(Font f,
Color c)
Sets the font and color for the document, updating all existing text. |
void |
setNextPaneAction(Action a)
|
void |
setPrevPaneAction(Action a)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected final InteractionsDJDocument _interactionsDJDocument
protected final InteractionsPane _pane
protected final SimpleAttributeSet _defaultStyle
protected final SimpleAttributeSet _systemOutStyle
protected final SimpleAttributeSet _systemErrStyle
Constructor Detail |
---|
protected AbstractConsoleController(InteractionsDJDocument doc, InteractionsPane pane)
Method Detail |
---|
public abstract ConsoleDocument getConsoleDoc()
protected void _init()
protected void _addDocumentStyles()
public void setDefaultFont(Font f)
f
- New font to use.public void setDefaultFont(Color c)
c
- New color to use.public void setDefaultFont(Font f, Color c)
f
- New font to use.c
- New color to use.protected void _updateStyles(AttributeSet newSet)
newSet
- Style containing new attributes to use.protected abstract void _setupModel()
protected void _setupView()
public void resetView()
public InteractionsDJDocument getDocumentAdapter()
public InteractionsPane getPane()
protected boolean _busy()
public void setPrevPaneAction(Action a)
public void setNextPaneAction(Action a)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |