sync/fsm.yml2
author Krista Grothoff <krista@pep-project.org>
Tue, 13 Dec 2016 14:54:00 +0100
branchENGINE-152
changeset 1483 65bf8eef6d70
parent 951 dec407deb10e
child 1445 5d233bcdde76
permissions -rw-r--r--
ENGINE-152 ENGINE-153 ENGINE-74 ENGINE-118: commits held in ENGINE-152 until Patrick gives the OK. REQUIRES UPDATE TO LIBETPAN.
     1 // FSM Y language 1.0
     2 
     3 // Copyleft (c) 2016, p≡p foundation
     4 
     5 // Written by Volker Birk
     6 
     7 decl protocol @name;
     8 decl fsm @name;
     9 decl state @name;
    10 decl event @name, on is event;
    11 decl transition @target, go is transition;
    12 decl action @name, do is action;
    13 decl condition @name, if is condition;
    14 decl interface @name;
    15 decl tag @name (id);