edu.rice.cs.drjava.ui
Class ConsoleController
java.lang.Object
edu.rice.cs.drjava.ui.AbstractConsoleController
edu.rice.cs.drjava.ui.ConsoleController
public class ConsoleController
- extends AbstractConsoleController
A Swing specific console controller class that includes both a Swing InteractionsDJDocument and a GUI agnostic
ConsoleDocument (wrapping the former).
- Version:
- $Id: ConsoleController.java 5175 2010-01-20 08:46:32Z mgricken $
| Fields inherited from class edu.rice.cs.drjava.ui.AbstractConsoleController |
_defaultStyle, _interactionsDJDocument, _pane, _systemErrStyle, _systemOutStyle, clearCurrentAction, copyAction, cutAction, gotoEndAction, gotoPromptPosAction, newLineAction, selectToEndAction, selectToPromptPosAction, switchToNextPaneAction, switchToPrevPaneAction |
| Methods inherited from class edu.rice.cs.drjava.ui.AbstractConsoleController |
_addDocumentStyles, _busy, _init, _setupView, getDocumentAdapter, getPane, moveToEnd, moveToPrompt, resetView, setNextPaneAction, setPrevPaneAction |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
_consoleDoc
protected volatile ConsoleDocument _consoleDoc
- GUI-neutral formulation of console document. In this case, is a wrapper around _swingConsoleDocument.
ConsoleController
public ConsoleController(ConsoleDocument consoleDoc,
InteractionsDJDocument swingDoc)
getConsoleDoc
public ConsoleDocument getConsoleDoc()
- Gets the ConsoleDocument.
- Specified by:
getConsoleDoc in class AbstractConsoleController
_setupModel
protected void _setupModel()
- Description copied from class:
AbstractConsoleController
- Sets up the model.
- Specified by:
_setupModel in class AbstractConsoleController