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.
vb@563
     1
// FSM Y language 1.0
vb@563
     2
vb@563
     3
// Copyleft (c) 2016, p≡p foundation
vb@563
     4
vb@563
     5
// Written by Volker Birk
vb@563
     6
vb@563
     7
decl protocol @name;
vb@563
     8
decl fsm @name;
vb@563
     9
decl state @name;
vb@563
    10
decl event @name, on is event;
vb@563
    11
decl transition @target, go is transition;
vb@563
    12
decl action @name, do is action;
vb@951
    13
decl condition @name, if is condition;
Edouard@613
    14
decl interface @name;
vb@711
    15
decl tag @name (id);