Uses of Interface
edu.rice.cs.util.text.ConsoleDocumentInterface

Packages that use ConsoleDocumentInterface

edu.rice.cs.drjava.model.repl	Contains the adapter code for the interpreter, as well as the code for managing the history of interactions, the handling of exceptions thrown by the interpreter, etc.
edu.rice.cs.drjava.plugins.eclipse.util.text
edu.rice.cs.util.text

Uses of ConsoleDocumentInterface in edu.rice.cs.drjava.model.repl

Classes in edu.rice.cs.drjava.model.repl that implement ConsoleDocumentInterface

class	InteractionsDJDocument Represents a Swing-based InteractionsDocument.
class	InteractionsDocument A GUI toolkit-agnostic document that supports console-like interaction with a Java interpreter.

Fields in edu.rice.cs.drjava.model.repl declared as ConsoleDocumentInterface

protected ConsoleDocumentInterface

InteractionsModel._cDoc The embedded interactions document (a SwingDocument in native DrJava)

Constructors in edu.rice.cs.drjava.model.repl with parameters of type ConsoleDocumentInterface

DefaultInteractionsModel(DefaultGlobalModel model, MainJVM jvm, ConsoleDocumentInterface cDoc, File wd)
Creates a new InteractionsModel.

InteractionsDocument(ConsoleDocumentInterface document)
Reset the document on startUp.

InteractionsDocument(ConsoleDocumentInterface document, History history)
Creates and resets the interactions document on DrJava startUp.

InteractionsDocument(ConsoleDocumentInterface document, int maxHistorySize)
Reset the document on startUp.

InteractionsModel(ConsoleDocumentInterface cDoc, File wd, int historySize, int writeDelay)
Constructs an InteractionsModel.

RMIInteractionsModel(MainJVM jvm, ConsoleDocumentInterface cDoc, File wd, int historySize, int writeDelay)
Constructs an InteractionsModel which can communicate with another JVM.

Uses of ConsoleDocumentInterface in edu.rice.cs.drjava.plugins.eclipse.util.text

Classes in edu.rice.cs.drjava.plugins.eclipse.util.text that implement ConsoleDocumentInterface

class

SWTDocumentAdapter Provides a toolkit-independent way to interact with an SWT StyledText widget (from Eclipse).

Uses of ConsoleDocumentInterface in edu.rice.cs.util.text

Classes in edu.rice.cs.util.text that implement ConsoleDocumentInterface

class

ConsoleDocument A GUI-toolkit agnostic interface to a console document.

Fields in edu.rice.cs.util.text declared as ConsoleDocumentInterface

protected ConsoleDocumentInterface

ConsoleDocument._document The embedded document storing the text and _hasPrompt property for this console model.

Constructors in edu.rice.cs.util.text with parameters of type ConsoleDocumentInterface

ConsoleDocument(ConsoleDocumentInterface doc)
Creates a new ConsoleDocument with the given embedded ConsoleDocumentInterface (a SwingDocument in native DrJava).