Merge pull request #7 from itoshkov/issue-6/preferences

Issue 6/preferences

Author: itoshkov

HackPackage/src/main/java/Hack/Controller/HackController.java

@@ -37,7 +37,7 @@
 
 /**
  * A Controller for HackSimulators. Executes scripts written in a special scripting language
- * that controlls the features of the simulators.
+ * that controls the features of the simulators.
  * Constructed with a GUI that enables the execution control of the script.
  */
 public class HackController
@@ -56,7 +56,7 @@ public class HackController
     /**
      * The speed function for fast forward mode.
      */
-    public static final int[] FASTFORWARD_SPEED_FUNCTION = {500, 1000, 2000, 4000, 15000};
+    private static final int[] FASTFORWARD_SPEED_FUNCTION = {500, 1000, 2000, 4000, 15000};
 
     // ANIMATION MODES:
 
@@ -127,6 +127,10 @@ public class HackController
     // A helper string with spaces
     private static final String SPACES = "                                        ";
     private static final String DIRECTORY = "directory";
+    private static final String SPEED = "speed";
+    private static final String ANIMATION_MODE = "animation_mode";
+    private static final String NUMERIC_FORMAT = "numeric_format";
+    private final Preferences preferences;
 
     // The controller's GUI
     protected ControllerGUI gui;
@@ -229,6 +233,7 @@ public class HackController
      * The script will be executed and the final result will be printed.
      */
     public HackController(HackSimulator simulator, String scriptFileName) {
+        this.preferences = Preferences.userNodeForPackage(simulator.getClass());
         File file = new File(scriptFileName);
         if (!file.exists())
             displayMessage(scriptFileName + " doesn't exist", true);
@@ -260,6 +265,7 @@ public HackController(HackSimulator simulator, String scriptFileName) {
     public HackController(ControllerGUI gui, HackSimulator simulator, String defaultScriptName)
      throws ScriptException, ControllerException {
 
+        this.preferences = Preferences.userNodeForPackage(simulator.getClass());
         this.gui = gui;
         this.simulator = simulator;
         singleStepTask = new SingleStepTask();
@@ -276,26 +282,27 @@ public HackController(ControllerGUI gui, HackSimulator simulator, String default
         for (int i = 0; i < NUMBER_OF_SPEED_UNITS; i++)
             delays[i] = (int)(MAX_MS - SPEED_FUNCTION[i] * (float)(MAX_MS - MIN_MS));
 
-        currentSpeedUnit = INITIAL_SPEED_UNIT;
-        animationMode = simulator.getInitialAnimationMode();
+        currentSpeedUnit = preferences.getInt(SPEED, INITIAL_SPEED_UNIT);
+        animationMode = preferences.getInt(ANIMATION_MODE, simulator.getInitialAnimationMode());
         simulator.setAnimationMode(animationMode);
-        simulator.setAnimationSpeed(INITIAL_SPEED_UNIT);
-        simulator.setNumericFormat(simulator.getInitialNumericFormat());
+        simulator.setAnimationSpeed(currentSpeedUnit);
+        final int numericFormat = preferences.getInt(NUMERIC_FORMAT, simulator.getInitialNumericFormat());
+        simulator.setNumericFormat(numericFormat);
         timer = new Timer(delays[currentSpeedUnit - 1], this);
 
         // adds the simulator component to the controller component
         gui.setSimulator(simulator.getGUI());
         gui.setTitle(simulator.getName() + getVersionString());
 
         // load and set working dir
-        File file = loadWorkingDir();
+        File file = new File(preferences.get(DIRECTORY, "."));
         simulator.setWorkingDir(file);
         gui.setWorkingDir(file);
 
         gui.addControllerListener(this);
         gui.setSpeed(currentSpeedUnit);
         gui.setAnimationMode(animationMode);
-        gui.setNumericFormat(simulator.getInitialNumericFormat());
+        gui.setNumericFormat(numericFormat);
         gui.setAdditionalDisplay(simulator.getInitialAdditionalDisplay());
         gui.setVariables(simulator.getVariables());
 
@@ -736,7 +743,7 @@ private void outputAndCompare(String line) throws ControllerException {
     }
 
     // loads the given script file and restarts the GUI.
-    protected void loadNewScript(File file, boolean displayMessage)
+    private void loadNewScript(File file, boolean displayMessage)
      throws ControllerException, ScriptException {
         currentScriptFile = file;
         script = new Script(file.getPath());
@@ -793,6 +800,8 @@ private void setSpeed(int newSpeedUnit) {
         currentSpeedUnit = newSpeedUnit;
         timer.setDelay(delays[currentSpeedUnit - 1]);
         simulator.setAnimationSpeed(newSpeedUnit);
+        preferences.putInt(SPEED, newSpeedUnit);
+        savePreferences();
     }
 
     // Sets the animation mode with the given one.
@@ -806,12 +815,16 @@ private void setAnimationMode(int newAnimationMode) {
 
         gui.setAnimationMode(newAnimationMode);
         animationMode = newAnimationMode;
+        preferences.putInt(ANIMATION_MODE, newAnimationMode);
+        savePreferences();
     }
 
     // Sets the numeric format with the given code.
     private void setNumericFormat(int formatCode) {
         simulator.setNumericFormat(formatCode);
         gui.setNumericFormat(formatCode);
+        preferences.putInt(NUMERIC_FORMAT, formatCode);
+        savePreferences();
     }
 
     // Sets the additional display with the given code.
@@ -865,15 +878,8 @@ private void displayMessage(String message, boolean error) {
         }
     }
 
-    // Returns the working dir that is saved in the data file, or "" if data file doesn't exist.
-    protected File loadWorkingDir() {
-        final Preferences preferences = Preferences.userNodeForPackage(simulator.getClass());
-        final String dir = preferences.get(DIRECTORY, ".");
-        return new File(dir);
-    }
-
     // Saves the given working dir into the data file and gui's.
-    protected void saveWorkingDir(File file) {
+    private void saveWorkingDir(File file) {
         final File parent = file.getParentFile();
 
         if (gui != null)
@@ -883,8 +889,11 @@ protected void saveWorkingDir(File file) {
 
         final File dir = file.isDirectory() ? file : parent;
 
-        final Preferences preferences = Preferences.userNodeForPackage(simulator.getClass());
         preferences.put(DIRECTORY, dir.toString());
+        savePreferences();
+    }
+
+    private void savePreferences() {
         try {
             preferences.sync();
         } catch (BackingStoreException ignored) {
@@ -1077,7 +1086,7 @@ protected void doUnknownAction(byte action, Object data) throws ControllerExcept
     }
 
     // Performs the single step task
-    class SingleStepTask implements Runnable {
+    private class SingleStepTask implements Runnable {
 
         public void run() {
             singleStep();
@@ -1100,7 +1109,7 @@ public void run() {
     }
 
     // Performs the fast forward task
-    class FastForwardTask implements Runnable {
+    private class FastForwardTask implements Runnable {
         public synchronized void run() {
             try {
                 System.runFinalization();
@@ -1132,7 +1141,7 @@ public synchronized void run() {
     }
 
     // Sets the animation mode
-    class SetAnimationModeTask implements Runnable {
+    private class SetAnimationModeTask implements Runnable {
 
         private int animationMode;
 
@@ -1146,7 +1155,7 @@ public void run() {
     }
 
     // Sets the numeric format
-    class SetNumericFormatTask implements Runnable {
+    private class SetNumericFormatTask implements Runnable {
 
         private int numericFormat;