src/java/org/tsho/dmc2/ui/manifolds/ManifoldsFrameSM.java

   1 /*
   2  * iDMC the interactive Dynamical Model Calculator simulates and performs
   3  * graphical and numerical analysis of systems of differential and
   4  * difference equations.
   5  *
   6  * Copyright (C) 2004 Marji Lines and Alfredo Medio.
   7  *
   8  * Written by Daniele Pizzoni <auouo@tin.it>.
   9  *
  10  *
  11  * The software program was developed within a research project financed
  12  * by the Italian Ministry of Universities, the Universities of Udine and
  13  * Ca'Foscari of Venice, the Friuli-Venezia Giulia Region.
  14  *
  15  * This program is free software; you can redistribute it and/or modify
  16  * it under the terms of the GNU General Public License as published by
  17  * the Free Software Foundation; either version 2 of the License, or any
  18  * later version.
  19  *
  20  * This program is distributed in the hope that it will be useful, but
  21  * WITHOUT ANY WARRANTY; without even the implied warranty of
  22  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  23  * General Public License for more details.
  24  */
  25 package org.tsho.dmc2.ui.manifolds;
  26
  27 import java.util.ArrayList;
  28
  29 import org.tsho.dmc2.managers.ManifoldsManager;
  30 import org.tsho.dmc2.sm.ComponentStateMachine;
  31 import org.tsho.dmc2.sm.Condition;
  32 import org.tsho.dmc2.sm.Input;
  33 import org.tsho.dmc2.sm.ManagerError;
  34 import org.tsho.dmc2.sm.ManagerInput;
  35 import org.tsho.dmc2.sm.State;
  36 import org.tsho.dmc2.sm.Transition;
  37 import org.tsho.dmc2.sm.UserActionInput;
  38
  39
  40 class ManifoldsFrameSM extends ComponentStateMachine {
  41
  42     private final ManifoldsSMItf frame;
  43
  44     /*
  45      * Components to be disabled while the painting thread
  46      * is running.
  47      */
  48     private final ArrayList disableOnRunItems;
  49
  50     ManifoldsFrameSM(final ManifoldsSMItf frame) {
  51         super("ManifoldsSM", ManifoldsState.init);
  52
  53         this.frame = frame;
  54         //sensibleItems = new ArrayList();
  55         disableOnRunItems = new ArrayList();
  56
  57         setUp(table);
  58     }
  59
  60     private final Condition renderStart = new Condition() {
  61         public boolean condition(final Input i) {
  62             return ((ManifoldsManager) frame.getManager()).doRendering(false);
  63 //            if (!((ManifoldsManager) frame.getManager()).doRendering(false)) {
  64 //                frame.showInvalidDataDialog(frame.getManager().getErrorMessage());
  65 //                return false;
  66 //            }
  67 //            return true;
  68         }
  69     };
  70
  71     private final Condition showErrorDialog = new Condition() {
  72         public boolean condition(final Input i) {
  73             frame.showInvalidDataDialog(((ManagerError) i).getMessage());
  74             return true;
  75         }
  76     };
  77
  78
  79     private final Transition init = new Transition() {
  80         public void transition(final Input i) {
  81             addNoRunItem(frame.getClearAction());
  82         }
  83     };
  84
  85     private final Transition stopOnly = new Transition() {
  86         public void transition(final Input i) {
  87             setSensibleItemsEnabled(false);
  88             setNoRunItemsEnabled(false);
  89
  90             frame.getStartAction().setEnabled(false);
  91             frame.getStopAction().setEnabled(true);
  92             frame.getClearAction().setEnabled(false);
  93         }
  94     };
  95
  96     private final Transition reset = new Transition() {
  97         public void transition(final Input i) {
  98             setSensibleItemsEnabled(true);
  99             setNoRunItemsEnabled(true);
 100
 101             frame.getStartAction().setEnabled(true);
 102             frame.getStopAction().setEnabled(false);
 103             frame.getClearAction().setEnabled(true);
 104         }
 105     };
 106
 107     private final Transition lock = new Transition() {
 108         public void transition(final Input i) {
 109             setNoRunItemsEnabled(true);
 110             //setComponentListEnabled(disableOnRunItems, true);
 111
 112             frame.getStartAction().setEnabled(false);
 113             frame.getStopAction().setEnabled(false);
 114             frame.getClearAction().setEnabled(true);
 115         }
 116     };
 117
 118     private final Transition managerClear = new Transition() {
 119         public void transition(final Input i) {
 120             frame.getManager().clear();
 121         }
 122     };
 123
 124     // note that we don't wait for thread to really finish...
 125     private final Transition cleanup = new Transition() {
 126         public void transition(final Input i) {
 127             frame.getManager().stopRendering();
 128         }
 129     };
 130
 131     private final Object[][][] table = new Object[][][]
 132     {
 133 // init
 134         {
 135             {ManifoldsState.init},
 136             {Input.go,                  null,         init,             ManifoldsState.ready},
 137             {Input.go,                  null,         null,             ManifoldsState.ready},
 138             {UserActionInput.close,    null,         cleanup,          ManifoldsState.fini} // fast user...
 139         },
 140 //
 141         {
 142             {ManifoldsState.ready},
 143
 144             {UserActionInput.start,    renderStart,  stopOnly,         ManifoldsState.running},
 145             {UserActionInput.start,    null,         null,             ManifoldsState.ready},
 146             {UserActionInput.clear,    null,         managerClear,     ManifoldsState.clearing},
 147             {UserActionInput.close,    null,         cleanup,          ManifoldsState.fini},
 148
 149             {ManagerInput.start,       null,            stopOnly,      ManifoldsState.running}, // user zoomed
 150             {ManagerInput.end,         null,            reset,         ManifoldsState.ready},
 151
 152             {ManagerError.class,       showErrorDialog, reset,         ManifoldsState.ready}
 153         },
 154         {
 155             {ManifoldsState.running},
 156
 157             {ManagerInput.start,   null,          null,            ManifoldsState.running},
 158             {ManagerInput.end,  null,          reset,            ManifoldsState.ready},
 159             {UserActionInput.close,    null,          cleanup,         ManifoldsState.fini},
 160
 161             {ManagerError.class,       showErrorDialog, reset,         ManifoldsState.ready}
 162         },
 163         {
 164             {ManifoldsState.clearing},
 165
 166             {ManagerInput.start,   null,          null,            ManifoldsState.clearing},
 167             {ManagerInput.end,  null,          reset,           ManifoldsState.ready},
 168             {UserActionInput.close,    null,          cleanup,         ManifoldsState.fini},
 169
 170             {ManagerError.class,       showErrorDialog, reset,         ManifoldsState.ready}
 171         },
 172 // finish
 173         {
 174             {ManifoldsState.fini}, // final state
 175             {ManagerInput.class,       null,            null,           ManifoldsState.fini},
 176             {UserActionInput.class,   null,            null,           ManifoldsState.fini}
 177         },
 178     };
 179 }
 180
 181
 182 final class ManifoldsState extends State {
 183     ManifoldsState(final String name) {
 184         super(name);
 185     }
 186
 187     public static final
 188             ManifoldsState init = new ManifoldsState("init"); // initial state
 189     public static final
 190             ManifoldsState ready = new ManifoldsState("ready");
 191     public static final
 192             ManifoldsState running = new ManifoldsState("running");
 193     public static final
 194             ManifoldsState clearing = new ManifoldsState("clearing");
 195     public static final
 196             ManifoldsState fini = new ManifoldsState("fini"); // final state
 197 }