Uses of Class
edu.rice.cs.drjava.model.repl.History

Packages that use History

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.

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

Methods in edu.rice.cs.drjava.model.repl that return History

protected History

InteractionsDocument.getHistory()

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

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