// This file is under GNU General Public License 3.0

 // see LICENSE.txt

 // FSM Y language 1.2

 // Copyleft (c) 2016, 2017, p≡p foundation

 // Written by Volker Birk

 decl version(major, minor);

 // a protocol family has a name and an ID

 decl protocol @name (id, threshold=10);

 // each protocol in a family has a finite state machine

 decl fsm @name (id, threshold=10);

 // a state has a name and a timeout; after the timeout the state machine will

 // be reset

 decl state @name (timeout=on);

 // events have names

 decl event @name, on is event;

 // external events can have IDs

 decl external @name (id);

 // a transistion moves the statemachine to another state

 decl transition @target, go is transition;

 // an action is executed; if an action name starts with 'send' then it is

 // sending a message

 decl action @name, do is action;

 // send network messages

 decl send @name;

 // a condition is for different cases

 decl condition @name, if is condition;

 decl else;

 // some events have messages on the line signalling the event to the

 // communication partner

 decl message @name (id, type=anycast, security=trusted);

 // messages can have transmitted fields…

 decl field @type @name;

 // … or automatically calculated fields…

 decl auto < field >;

 // … or list of fields

 decl list < field >;