sync/gen_statemachine.ysl2
changeset 627 ef1fdfde8ced
parent 626 64a89bd12469
child 654 0aa96447e38f
     1.1 --- a/sync/gen_statemachine.ysl2	Sun May 15 16:23:31 2016 +0200
     1.2 +++ b/sync/gen_statemachine.ysl2	Sun May 15 21:23:36 2016 +0200
     1.3 @@ -44,11 +44,12 @@
     1.4  
     1.5          // actions
     1.6  
     1.7 -        `` for "func:distinctName(//action)" | PEP_STATUS «@name»(const Identity partner);
     1.8 +        `` for "func:distinctName(//action)" | PEP_STATUS «@name»(PEP_SESSION session, const Identity partner);
     1.9  
    1.10          // state machine
    1.11  
    1.12          «@name»_state fsm_«@name»(
    1.13 +                PEP_SESSION session,
    1.14                  «@name»_state state,
    1.15                  «@name»_event event,
    1.16                  const Identity partner
    1.17 @@ -65,6 +66,7 @@
    1.18          // state machine for «@name»
    1.19  
    1.20          «@name»_state fsm_«@name»(
    1.21 +                PEP_SESSION session,
    1.22                  «@name»_state state,
    1.23                  «@name»_event event,
    1.24                  const Identity partner
    1.25 @@ -103,7 +105,7 @@
    1.26  
    1.27      template "action" {
    1.28          indent(0);
    1.29 -        > «@name»(
    1.30 +        > «@name»(session, 
    1.31          choose {
    1.32              when "parm" > «name(parm/*)»
    1.33              otherwise > NULL