eflvala/statemachine.vala

   1 using GLib;
   2
   3 public class EflVala.ViewState
   4 {
   5     protected ViewStateMachine state_machine;
   6     protected Eina.Hash<string, ViewState> transition_map = null;
   7
   8     public ViewState(ViewStateMachine sm)
   9     {
  10         transition_map = Eina.Hash.string_superfast(null);
  11         this.state_machine = sm;
  12     }
  13
  14     public void transition_add(string transition, ViewState next)
  15     {
  16         transition_map.add(transition, next);
  17     }
  18
  19     public ViewState? transition_handle(string condition)
  20     {
  21         return transition_map.find(condition);
  22     }
  23
  24     public virtual void activated()
  25     {
  26     }
  27
  28     public virtual void deactivated()
  29     {
  30     }
  31
  32     public virtual weak Elm.Object? object_get()
  33     {
  34         return null;
  35     }
  36 }
  37
  38 public class EflVala.ViewStateMachine
  39 {
  40     private Elm.Pager pager;
  41     private ViewState current_state;
  42
  43     public ViewStateMachine(Elm.Win win)
  44     {
  45         current_state = null;
  46
  47         pager = new Elm.Pager(win);
  48         win.resize_object_add(pager);
  49         pager.show();
  50     }
  51
  52     public new void state_register(ViewState? state)
  53     {
  54         pager.content_push(state.object_get());
  55     }
  56
  57     public void current_state_set(ViewState state)
  58     {
  59         if(current_state != null)
  60             current_state.deactivated();
  61         current_state = state;
  62         current_state.activated();
  63     }
  64
  65     public void emit(string condition)
  66     {
  67         ViewState new_state = null;
  68
  69         if(current_state == null)
  70         {
  71             debug("no current state!");
  72             return;
  73         }
  74
  75         new_state = current_state.transition_handle(condition);
  76         if(new_state != null)
  77             current_state_set(new_state);
  78
  79         pager.content_promote(((ViewState)current_state).object_get());
  80     }
  81 }
  82
  83