How To Use DrJava Interactions History (.hist) Files

Overview

• History files are easy to use!
• They can spare you from typing (or retyping) statements in to the interactions pane.
• They are human-readable files that contain code to be run in the interactions pane.
• They can be edited with any editor (Notepad, emacs, pico, etc.).

If you are given a .hist file:

• Download it.
• To execute the code one statement at a time:
• Choose Tools -> Load Interactions History as Script
• In the Interactions Pane, hit Next and Execute repeatedly.
• That's it!
• You can skip a statement (Next, Next), repeat it (Prev, Execute), or edit it (after Next, before Execute).
• You can intersperse new statments with the scripted ones (by simply typing the new ones in to the interactions pane).
• To execute all the script's statements in one shot:
• Choose Tools -> Execute Interactions History

How to create your own .hist file:

• Choose Tools -> Save Interactions History as Script
• You will be given the option to edit the statements before saving them.
• A handy option is Tools -> Clear Interactions History . Do this if you will eventually save interactions but you want to start with a clean slate (not save anything you've done so far).