sync/fsm.yml2
author Krista Grothoff <krista@pep-project.org>
Mon, 13 Feb 2017 22:13:48 +0100
branchenigmail-color-tests
changeset 1582 7dd855780eef
parent 1513 e7f7e42385b5
child 1709 dcebe0692d63
permissions -rw-r--r--
closing branch
     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 interface @name;
    18 decl tag @name (id);