src/java/org/tsho/dmc2/ui/cycles/CyclesFrameSM.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.cycles;
  26
  27 import org.tsho.dmc2.managers.CyclesManager;
  28 import org.tsho.dmc2.sm.ComponentStateMachine;
  29 import org.tsho.dmc2.sm.Condition;
  30 import org.tsho.dmc2.sm.Input;
  31 import org.tsho.dmc2.sm.ManagerInput;
  32 import org.tsho.dmc2.sm.State;
  33 import org.tsho.dmc2.sm.Transition;
  34 import org.tsho.dmc2.sm.UserActionInput;
  35
  36 /*
  37  * The State Machine
  38  */
  39 final class CyclesFrameSM extends ComponentStateMachine {
  40
  41     private final CyclesSMItf frame;
  42
  43     CyclesFrameSM(final CyclesSMItf frame) {
  44         super("CyclesSM", CyclesState.init);
  45
  46         this.frame = frame;
  47
  48         setUp(table);
  49     }
  50
  51     private final Condition renderStart = new Condition() {
  52         public boolean condition(final Input i) {
  53             if (!((CyclesManager) frame.getManager()).doRendering()) {
  54                 frame.showInvalidDataDialog(frame.getManager().getErrorMessage());
  55                 return false;
  56             }
  57             return true;
  58         }
  59     };
  60
  61     private final Transition init = new Transition() {
  62         public void transition(final Input i) {
  63             frame.getStopAction().setEnabled(false);
  64         }
  65     };
  66
  67     private final Transition stopOnly = new Transition() {
  68         public void transition(final Input i) {
  69             setSensibleItemsEnabled(false);
  70
  71             frame.getStartAction().setEnabled(false);
  72             frame.getStopAction().setEnabled(true);
  73             frame.getClearAction().setEnabled(false);
  74         }
  75     };
  76
  77     private final Transition reset = new Transition() {
  78         public void transition(final Input i) {
  79             setSensibleItemsEnabled(true);
  80
  81             frame.getStartAction().setEnabled(true);
  82             frame.getStopAction().setEnabled(false);
  83             frame.getClearAction().setEnabled(true);
  84         }
  85     };
  86
  87     private final Transition managerClear = new Transition() {
  88         public void transition(final Input i) {
  89             frame.getManager().clear();
  90         }
  91     };
  92
  93     // note that we don't wait for thread to really finish...
  94     private final Transition cleanup = new Transition() {
  95         public void transition(final Input i) {
  96             frame.getManager().stopRendering();
  97         }
  98     };
  99
 100     private final Transition showErrorDialog = new Transition() {
 101         public void transition(final Input i) {
 102             frame.showInvalidDataDialog(((ManagerError) i).getMessage());
 103         }
 104     };
 105
 106
 107     private final Object[][][] table = new Object[][][]
 108     {
 109 // init
 110         {
 111             {CyclesState.init},
 112             {Input.go,                 null,         init,             CyclesState.ready},
 113             {Input.go,                 null,         null,             CyclesState.ready},
 114             {UserActionInput.close,    null,         cleanup,          CyclesState.fini} // fast user...
 115         },
 116 //
 117         {
 118             {CyclesState.ready},
 119
 120             {UserActionInput.start,    renderStart,  stopOnly,         CyclesState.running},
 121             {UserActionInput.start,    null,         null,             CyclesState.ready},
 122             {UserActionInput.clear,    null,         managerClear,     CyclesState.clearing},
 123             {UserActionInput.close,    null,         cleanup,          CyclesState.fini},
 124
 125             {ManagerInput.start,       null,         stopOnly,         CyclesState.running}, // user zoomed
 126             {ManagerInput.end,         null,         reset,            CyclesState.ready},
 127
 128             {ManagerError.class,       null,         showErrorDialog,  CyclesState.ready}
 129         },
 130         {
 131             {CyclesState.running},
 132
 133             {ManagerInput.start,       null,         null,             CyclesState.running},
 134             {ManagerInput.end,         null,         reset,            CyclesState.ready},
 135             {UserActionInput.close,    null,         cleanup,          CyclesState.fini}
 136         },
 137         {
 138             {CyclesState.clearing},
 139
 140             {ManagerInput.start,       null,         null,             CyclesState.clearing},
 141             {ManagerInput.end,         null,         reset,            CyclesState.ready},
 142             {UserActionInput.close,    null,         cleanup,          CyclesState.fini}
 143         },
 144 // finish
 145         {
 146             {CyclesState.fini}, // final state
 147             {ManagerInput.class,       null,          null,             CyclesState.fini},
 148             {UserActionInput.class,    null,          null,             CyclesState.fini}
 149         },
 150     };
 151 }
 152
 153
 154 final class CyclesState extends State {
 155     CyclesState(final String name) {
 156         super(name);
 157     }
 158
 159     public static final
 160             CyclesState init = new CyclesState("init"); // initial state
 161
 162     public static final
 163             CyclesState ready = new CyclesState("ready");
 164     public static final
 165             CyclesState running = new CyclesState("running");
 166     public static final
 167             CyclesState clearing = new CyclesState("clearing");
 168
 169
 170     public static final CyclesState fini = new CyclesState("fini"); // final state
 171 }
 172
 173 final class ManagerError extends Input {
 174     String message;
 175
 176     ManagerError(final String message) {
 177         super("ManagerError");
 178
 179         this.message = message;
 180     }
 181
 182     public String getMessage() {
 183         return message;
 184     }
 185 }
 186
 187
 188
 189