src/java/org/tsho/dmc2/ui/lyapunov/LyapunovFrameSM.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  * Extended by Alexei Grigoriev <alexei_grigoriev@libero.it>.
  10  *
  11  *
  12  *
  13  * The software program was developed within a research project financed
  14  * by the Italian Ministry of Universities, the Universities of Udine and
  15  * Ca'Foscari of Venice, the Friuli-Venezia Giulia Region.
  16  *
  17  * This program is free software; you can redistribute it and/or modify
  18  * it under the terms of the GNU General Public License as published by
  19  * the Free Software Foundation; either version 2 of the License, or any
  20  * later version.
  21  *
  22  * This program is distributed in the hope that it will be useful, but
  23  * WITHOUT ANY WARRANTY; without even the implied warranty of
  24  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  25  * General Public License for more details.
  26  */
  27 package org.tsho.dmc2.ui.lyapunov;
  28
  29 import org.tsho.dmc2.managers.LyapunovManager;
  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 import org.tsho.dmc2.core.chart.LyapunovRenderer;
  39
  40 /*
  41  * The State Machine
  42  */
  43 final class LyapunovFrameSM extends ComponentStateMachine {
  44
  45     private final LyapunovSMItf frame;
  46
  47     LyapunovFrameSM(final LyapunovSMItf frame) {
  48         super("LyapunovSM", LyapunovState.init);
  49
  50         this.frame = frame;
  51
  52         setUp(table);
  53
  54         //? 21.7.2004 changed to false (from true)
  55         debug = false;
  56     }
  57
  58     private final Condition renderStart = new Condition() {
  59         public boolean condition(final Input i) {
  60             return ((LyapunovManager) frame.getManager()).doRendering();
  61         }
  62     };
  63
  64     private final Condition renderRedraw = new Condition() {
  65         public boolean condition(final Input i) {
  66             LyapunovManager manager=(LyapunovManager) frame.getManager();
  67             LyapunovRenderer renderer = manager.getRenderer();
  68
  69             //to decomment after renderer is OK
  70             //renderer.setHoldLegend=true;
  71             //renderer.setRedrawExistingChart=true;
  72             renderer.setPass(renderer.getPass()+1);
  73             boolean b=true;
  74             if (renderer.getPass()==1)
  75                 b=manager.doRendering();
  76             else
  77                 renderer.setPass(0);
  78
  79             return b;
  80         }
  81     };
  82
  83     private final Condition showErrorDialog = new Condition() {
  84         public boolean condition(final Input i) {
  85             frame.showInvalidDataDialog(((ManagerError) i).getMessage());
  86             return true;
  87         }
  88     };
  89
  90     private final Condition notAreaChart = new Condition() {
  91         public boolean condition(final Input i) {
  92             try{
  93                 LyapunovManager manager=(LyapunovManager) frame.getManager();
  94                 if (manager.getType()== LyapunovControlForm2.TYPE_PAR_SPACE)
  95                     return false;
  96                 else
  97                     return true;
  98             }
  99             catch(Exception e){
 100                 return true;//needed if the Lyapunov plot component is being closed while rendering
 101             }
 102         }
 103     };
 104
 105     private final Transition init = new Transition() {
 106         public void transition(final Input i) {
 107             frame.getStopAction().setEnabled(false);
 108         }
 109     };
 110
 111     private final Transition stopOnly = new Transition() {
 112         public void transition(final Input i) {
 113             setSensibleItemsEnabled(false);
 114
 115             frame.getStartAction().setEnabled(false);
 116             frame.getStopAction().setEnabled(true);
 117             frame.getClearAction().setEnabled(false);
 118         }
 119     };
 120
 121     private final Transition reset = new Transition() {
 122         public void transition(final Input i) {
 123             try{
 124                 LyapunovManager manager=(LyapunovManager) frame.getManager();
 125                 LyapunovRenderer renderer = manager.getRenderer();
 126
 127                 if (manager.getType()!=LyapunovControlForm2.TYPE_PAR_SPACE || renderer.getPass()==0){
 128                     setSensibleItemsEnabled(true);
 129
 130                     frame.getStartAction().setEnabled(true);
 131                     frame.getStopAction().setEnabled(false);
 132                     frame.getClearAction().setEnabled(true);
 133                 }
 134             }
 135             catch(Exception e){
 136                 //exception can be thrown while closing the Lyapunov plot component while rendering
 137             }
 138         }
 139     };
 140
 141     private final Transition managerClear = new Transition() {
 142         public void transition(final Input i) {
 143             frame.getManager().clear();
 144         }
 145     };
 146
 147     // note that we don't wait for thread to really finish...
 148     private final Transition cleanup = new Transition() {
 149         public void transition(final Input i) {
 150             frame.getManager().stopRendering();
 151         }
 152     };
 153
 154
 155
 156     private final Object[][][] table = new Object[][][] {
 157         // init
 158         {
 159             {LyapunovState.init},
 160             {Input.go,                 null,         init,          LyapunovState.ready},
 161             {Input.go,                 null,         null,          LyapunovState.ready},
 162             {UserActionInput.close,    null,         cleanup,       LyapunovState.fini} // fast user...
 163         },
 164         //
 165         {
 166             {LyapunovState.ready},
 167
 168             {UserActionInput.start,    renderStart,  stopOnly,         LyapunovState.running},
 169             {UserActionInput.start,    null,         null,             LyapunovState.ready},
 170             {UserActionInput.clear,    null,         managerClear,     LyapunovState.clearing},
 171             {UserActionInput.close,    null,         cleanup,          LyapunovState.fini},
 172
 173             {ManagerInput.start,   null,         stopOnly,         LyapunovState.running}, // user zoomed
 174             {ManagerInput.end,  null,         reset,            LyapunovState.ready},
 175
 176             {ManagerError.class,        showErrorDialog,         reset,  LyapunovState.ready}
 177         }, {
 178             {LyapunovState.running},
 179
 180             {ManagerInput.start,   null,                 null,             LyapunovState.running},
 181             {ManagerInput.end,     notAreaChart,         reset,            LyapunovState.ready},
 182             {ManagerInput.end,     renderRedraw,         reset,            LyapunovState.ready},
 183             {ManagerInput.end,     null,                 reset,            LyapunovState.ready},
 184             {UserActionInput.close,    null,         cleanup,          LyapunovState.fini},
 185
 186             {ManagerError.class,       showErrorDialog, reset,  LyapunovState.ready}
 187         }, {
 188             {LyapunovState.clearing},
 189
 190             {ManagerInput.start,   null,         null,             LyapunovState.clearing},
 191             {ManagerInput.end,  null,         reset,            LyapunovState.ready},
 192             {UserActionInput.close,    null,         cleanup,          LyapunovState.fini},
 193
 194             {ManagerError.class,       showErrorDialog, reset,  LyapunovState.ready}
 195         },
 196         // finish
 197         {
 198             {LyapunovState.fini}, // final state
 199             {ManagerInput.class,       null,          null,             LyapunovState.fini},
 200             {UserActionInput.class,   null,          null,             LyapunovState.fini}
 201         },
 202     };
 203 }
 204
 205
 206 final class LyapunovState extends State {
 207     LyapunovState(final String name) {
 208         super(name);
 209     }
 210
 211     public static final
 212     LyapunovState init = new LyapunovState("init"); // initial state
 213
 214     public static final
 215     LyapunovState ready = new LyapunovState("ready");
 216     public static final
 217     LyapunovState running = new LyapunovState("running");
 218     public static final
 219     LyapunovState clearing = new LyapunovState("clearing");
 220
 221     public static final LyapunovState fini = new LyapunovState("fini"); // final state
 222 }
 223
 224
 225