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
 

Fields in edu.rice.cs.drjava.model.repl declared as History
private  History HistoryTest._history
           
private  History InteractionsDocument._history
          Command-line history.
 

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