sync/fsm.yml2
author Edouard Tisserant <edouard@pep-project.org>
Mon, 08 May 2017 22:09:00 +0200
changeset 1763 8428975706d9
parent 1709 dcebe0692d63
child 2287 026ab4dae779
permissions -rw-r--r--
Merged
     1 // This file is under GNU General Public License 3.0
     2 // see LICENSE.txt
     3 
     4 // FSM Y language 1.0
     5 
     6 // Copyleft (c) 2016, p≡p foundation
     7 
     8 // Written by Volker Birk
     9 
    10 decl protocol @name;
    11 decl fsm @name;
    12 decl state @name (timeout=0);
    13 decl event @name, on is event;
    14 decl transition @target, go is transition;
    15 decl action @name, do is action;
    16 decl condition @name, if is condition;
    17 decl alternative, else is alternative;
    18 decl interface @name;
    19 decl tag @name (id);