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 4691 2008-12-02 23:33:27Z dlsmith $

Field Summary

protected ConsoleDocument

_consoleDoc GUI-neutral formulation of console document.

Fields inherited from class edu.rice.cs.drjava.ui.AbstractConsoleController

_defaultStyle, _interactionsDJDocument, _pane, _systemErrStyle, _systemOutStyle

Constructor Summary

ConsoleController(ConsoleDocument consoleDoc, InteractionsDJDocument swingDoc)

Method Summary

protected void	_setupModel() Sets up the model.
ConsoleDocument	getConsoleDoc() Gets the ConsoleDocument.

Methods inherited from class edu.rice.cs.drjava.ui.AbstractConsoleController

_addDocumentStyles, _busy, _init, _setupView, _updateStyles, getDocumentAdapter, getPane, resetView, setDefaultFont, setDefaultFont, setDefaultFont, setNextPaneAction, setPrevPaneAction

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_consoleDoc

protected volatile ConsoleDocument _consoleDoc

GUI-neutral formulation of console document. In this case, is a wrapper around _swingConsoleDocument.

Constructor Detail

ConsoleController

public ConsoleController(ConsoleDocument consoleDoc,
                         InteractionsDJDocument swingDoc)

Method Detail

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