... sync
authorVolker Birk <vb@pep.foundation>
Thu, 23 Aug 2018 22:20:04 +0200
branchsync
changeset 2891adf0103397e4
parent 2890 93370e9026b1
child 2899 63b619aef131
...
sync/gen_statemachine.ysl2
     1.1 --- a/sync/gen_statemachine.ysl2	Thu Aug 23 20:40:37 2018 +0200
     1.2 +++ b/sync/gen_statemachine.ysl2	Thu Aug 23 22:20:04 2018 +0200
     1.3 @@ -503,10 +503,18 @@
     1.4          ||
     1.5          case «../@name»_PR_«yml:lcase(@name)»:
     1.6              switch (msg->choice.«yml:lcase(@name)».payload.present) {
     1.7 -                // these messages are going untested
     1.8 -        `` for "message[@security='unencrypted']" |>> case «../@name»__payload_PR_«yml:mixedCase(@name)»:
     1.9 -                    break;
    1.10 +        ||
    1.11 +        if "message[@security='unencrypted']" {
    1.12 +            |         // these messages are going untested
    1.13 +            for "message[@security='unencrypted']"
    1.14 +                |>> case «../@name»__payload_PR_«yml:mixedCase(@name)»:
    1.15 +            ||
    1.16 +                       break;
    1.17  
    1.18 +            ||
    1.19 +        }
    1.20 +        if "message[@security='untrusted']"
    1.21 +        ||
    1.22                  // these messages must arrive encrypted
    1.23          `` for "message[@security='untrusted']" |>> case «../@name»__payload_PR_«yml:mixedCase(@name)»:
    1.24                      if (rating < PEP_rating_reliable) {
    1.25 @@ -515,6 +523,9 @@
    1.26                      }
    1.27                      break;
    1.28  
    1.29 +        ||
    1.30 +        if "message[@security='trusted']"
    1.31 +        ||
    1.32                  // these messages must come through a trusted channel
    1.33          `` for "message[@security='trusted']" |>> case «ancestor::fsm/@name»__payload_PR_«yml:mixedCase(@name)»:
    1.34                      if (rating < PEP_rating_trusted) {